00:01
struk|desk has quit [Remote host closed the connection]
00:03
struk|desk has joined #ocaml
00:22
lobo has quit [Quit: leaving]
00:27
jacquev6 has quit [Quit: jacquev6]
00:33
madroach has quit [Ping timeout: 240 seconds]
00:33
struk|desk is now known as struk|desk|away
00:35
madroach has joined #ocaml
00:45
ely-se has quit [Quit: Leaving...]
00:46
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
00:55
Anarchos has joined #ocaml
00:56
NingaLeaf has joined #ocaml
00:59
<
Anarchos >
What is the best unit tests/code coverage framework for ocaml ?
00:59
ohama has quit [Ping timeout: 246 seconds]
01:00
Stalkr_ has joined #ocaml
01:00
<
nullcatxxx_ >
for code coverage
01:01
ohama has joined #ocaml
01:08
<
Anarchos >
nullcatxxx_ thanks
01:10
<
Anarchos >
nullcatxxx_ do you use it ?
01:10
<
nullcatxxx_ >
no, actually... sorry
01:12
Anarchos has quit [Quit: gone to bed.]
01:18
circ-user-CVoNq has joined #ocaml
01:21
<
circ-user-CVoNq >
I'm teaching myself programming on
www.hackerrank.com , mainly focused on Python. However, I'm also interested in learning Functional Programming. To two languages, on the list, that seem most interesting are Haskell and Ocmal.
01:22
<
circ-user-CVoNq >
what are some of the pros and cons of Ocmal vs Haskell as a first functional languaga?
01:22
nicoo has quit [Remote host closed the connection]
01:23
nicoo has joined #ocaml
01:23
circ-user-CVoNq is now known as i_am_mahasamoot
01:31
<
dmbaturin >
i_am_mahasamoot: Specifically for the first language, you can write ocaml as if it was python if you feel like it, with mutable variables, loops and all. It's not what more experienced people do most of the time, but for a beginner it's nice to know there's easy way out when you can't come up with a purely functional solution.
01:32
<
i_am_mahasamoot >
less of a learning curve then
01:33
sh0t has quit [Ping timeout: 250 seconds]
01:34
<
dmbaturin >
Well, not less, but it can be more gradual.
01:35
<
i_am_mahasamoot >
thanks for the link
01:35
<
dmbaturin >
Also, ML doesn't limit side effects. If you want a debug print, you can have it.
01:36
<
i_am_mahasamoot >
no debug printing in haskell?
01:36
<
dmbaturin >
Yes, the 0install author's series is very nice.
01:38
<
dmbaturin >
i_am_mahasamoot: Well, there is. But you don't talk about it in a polite company. ;)
01:38
<
dmbaturin >
Inserting a debug print in an otherwise pure function can only be done through breaking the effect limiting model.
01:39
Stalkr_ has quit [Read error: Connection reset by peer]
01:39
psy_ has quit [Ping timeout: 260 seconds]
01:40
<
i_am_mahasamoot >
that's interesting
01:43
psy_ has joined #ocaml
01:46
struk|desk|away is now known as struk|desk
01:54
<
dmbaturin >
i_am_mahasamoot: It's a good idea to learn both though. If you like FP, you likely will end up learning both anyway, because they both show up in blog posts and papers a lot. Chances are you'll also learn some Scheme. ;)
01:55
<
i_am_mahasamoot >
dmbaturin: yeah, that's a good thought
01:55
<
dmbaturin >
OCaml and Haskell are not very distant relatives, and many techniques are applicable in both.
01:55
<
i_am_mahasamoot >
They say to be a true scottsmen you need to know about five languages
01:56
<
dmbaturin >
Well, not as distant as any of them and python anyway.
02:01
<
i_am_mahasamoot >
I don't suppose you can write apps for Chrome or Android in either
02:01
<
dmbaturin >
Chrome? I think not. Android? I think there are NDK bindings for both.
02:01
<
i_am_mahasamoot >
Really?
02:02
<
i_am_mahasamoot >
Of course on my Chromebook I've got Ubuntu in a chroot
02:03
Algebr`` has quit [Remote host closed the connection]
02:03
Algebr`` has joined #ocaml
02:04
<
dmbaturin >
I think there are iOS cross-compilers for both too. I never tried though.
02:05
<
i_am_mahasamoot >
dmbaturin: thanks for the links that's very interesting.
02:07
<
Drup >
yeah, there is opam-android too
02:08
<
Drup >
so it should work okay
02:08
<
Drup >
(and you can do mobile Html app just fine too)
02:09
<
please_help >
what rule of thumb should be used to decide whether to use a polymorphic or non-polymorphic variant?
02:10
<
Drup >
always use non poly unless you don't have the choice :D
02:12
<
dmbaturin >
please_help: If you want unlimited variants and don't mind runtime errors when an unsupported variant is passed, use polymorphic.
02:12
<
dmbaturin >
i_am_mahasamoot: I'm not sure what Chrome apps are, but if they are in JS, there's an OCaml to JS compiler. It can even compile OCaml itself, that's how
http://try.ocamlpro.com works.
02:14
<
Mirry >
dmbaturin, I was wondering, can you write react (the fb library) apps using ocaml_to_js?
02:14
<
i_am_mahasamoot >
dmbaturin: that's really Kool. Yeah, I think you need to compile to js which is what google does with dart
02:14
<
dmbaturin >
i_am_mahasamoot: Said polymorphic variant are a fallback to dynamic typing essentially. You can write OCaml literally as if it was python (though it's a good practice to limit its use to cases when it's absolutely necessary).
02:15
<
Drup >
Mirry: I don't think anyone did it yet, but no reason that's not possible
02:15
<
Mirry >
I'll give it a try when I'm more comfortable with OCaml then
02:16
<
dmbaturin >
Mirry: There are no theoretical obstacles, but I don't know how much impendance matching it will need in practice. :)
02:17
<
Drup >
that's the problem yes
02:17
<
Mirry >
I'd be pretty damn cool to be able to write a full stack web app using only OCaml
02:17
<
Drup >
some js libraries are pretty much impossible to type, which makes them annoying to use in OCaml
02:17
<
Drup >
React should be fine. Not sure how much you actually need it in ocaml though
02:21
<
Mirry >
Is it anything like yesod?
02:21
<
Drup >
I just linked it
02:31
<
Algebr`` >
Mirry: Its possible, I started to wrap React with js_of_ocaml but stopped
02:32
<
Mirry >
why did you?
02:32
<
Algebr`` >
stop or start?
02:33
<
Algebr`` >
and plus I don't know React itself, which is a substantial learning process as well...not a front end dev so little gain for me there.
02:34
<
Mirry >
Looks like you did a tremendous work!
02:36
<
Algebr`` >
yes, spent a lot of time on it.
02:38
<
Algebr`` >
and along the way got 2 patches in on the js_of_ocaml itself so that was nice
02:39
<
Mirry >
very nice indeed
02:49
Guest19627 has quit [Quit: Guest19627]
02:49
tnguyen has joined #ocaml
02:50
tnguyen is now known as Guest4885
03:07
ygrek has quit [Ping timeout: 260 seconds]
03:15
FreeBirdLjj has joined #ocaml
03:20
i_am_mahasamoot has quit [Remote host closed the connection]
03:26
<
Algebr`` >
Drup: I can't seem to get Tyxml_js to come up in ocp-browser
03:32
lolisa has joined #ocaml
03:39
<
Drup >
Algebr``: you are sure you have it ?
03:39
<
Drup >
you need jsoo, tyxml and react
03:45
<
Algebr`` >
I see, can I specifiy this with opam, like opam install js_of_ocaml with all extras
03:48
<
Drup >
not really, just add the 3 as dependency
03:49
<
Algebr`` >
still doesn't come up
03:51
<
Drup >
oh, yes, sorry
03:51
<
Drup >
you need tyxml and reactiveData
04:05
<
nullcatxxx_ >
Drup : are you still awake? got a question
04:05
ygrek has joined #ocaml
04:06
<
nullcatxxx_ >
say ``type t = C of char * char``
04:06
<
nullcatxxx_ >
we have a function ``let f = fun c1 c2 -> C (c1, c2)``
04:07
<
nullcatxxx_ >
is it possible to use MetaOCaml to generate a function ``let r = fun g c1 c2 -> g (C (c1, c2))``
04:08
groovy2shoes has joined #ocaml
04:08
<
Drup >
what would be the problem ?
04:08
<
Drup >
(you do know you know metaocaml better than I do ?)
04:08
<
nullcatxxx_ >
is it possible to ...?
04:09
<
nullcatxxx_ >
apparently I constantly hit the limit of my knowledge about it
04:09
<
nullcatxxx_ >
well, you know MetaOCaml. so ...
04:09
<
nullcatxxx_ >
and I believe i can't get an answer on SO...
04:10
<
Drup >
but, hum, why doesn't it just work ?
04:10
<
Drup >
what happens when you just try that ?
04:10
<
nullcatxxx_ >
i don't get it... why it should just work...
04:11
<
nullcatxxx_ >
oh i forgot to mention...
04:11
<
nullcatxxx_ >
f can have any shape
04:12
<
nullcatxxx_ >
let f = fun ... -> ...
04:12
<
nullcatxxx_ >
the output should be let r = fun g ... -> g ...
04:13
<
Drup >
ok, maybe I'm tired, but I don't understand a single thing of what you are saying.
04:13
<
nullcatxxx_ >
that's fine... good night..
04:14
<
Drup >
I don't understand what is the problem, I don't even understand why there is a f function, since it's not used in r
04:14
<
nullcatxxx_ >
never mind...
04:39
br01 has joined #ocaml
04:40
FreeBirdLjj has quit [Remote host closed the connection]
04:42
<
br01 >
hello there, what are the possible reasons that lead a code runnig under ocaml 4.01 does not work under ocaml 4.02?
04:46
<
Algebr`` >
like not compiling? or what
04:47
<
Algebr`` >
I would say the easiest way to find out is the look at the compiler changelog between those versions
04:55
govg has quit [Ping timeout: 264 seconds]
04:56
govg has joined #ocaml
05:03
mac10688 has quit [Ping timeout: 260 seconds]
05:14
Sorella has quit [Quit: Connection closed for inactivity]
05:26
FreeBirdLjj has joined #ocaml
05:28
xyh has joined #ocaml
05:44
darkf has joined #ocaml
05:48
pierpa has quit [Ping timeout: 245 seconds]
05:57
<
br01 >
Algebr`` yeah exactly not compiling anymore
05:57
<
br01 >
I am trying to find out
06:05
govg has quit [Ping timeout: 245 seconds]
06:08
ril has joined #ocaml
06:21
KiChjang has joined #ocaml
06:21
<
KiChjang >
can anyone tell me whether there are statements in OCaml?
06:22
<
KiChjang >
i.e. does OCaml treat everything as an expression?
06:25
govg has joined #ocaml
06:32
blub has quit [Quit: bye]
06:36
<
Algebr`` >
pretty sure that's the case
06:37
<
Algebr`` >
stuff like open is a compiler directive.
06:37
<
Algebr`` >
KiChjang: the for loop and while loop evaluate to unit
06:37
psy_ has quit [Ping timeout: 272 seconds]
06:40
br01 has quit [Ping timeout: 250 seconds]
06:45
luzie is now known as tei
06:47
br01 has joined #ocaml
07:01
ril is now known as ril[away]
07:03
ril[away] is now known as ril
07:04
ygrek has quit [Ping timeout: 250 seconds]
07:07
KiChjang has quit [Quit: Leaving]
07:21
ril is now known as ril[away]
07:22
br01 has quit [Ping timeout: 250 seconds]
07:24
JacobEdelman has quit [Quit: Connection closed for inactivity]
07:33
ril[away] is now known as ril
07:39
darkf_ has joined #ocaml
07:41
darkf has quit [Disconnected by services]
07:41
darkf_ is now known as darkf
07:42
slash^ has joined #ocaml
07:47
Mirry has quit [Ping timeout: 245 seconds]
07:53
MercurialAlchemi has joined #ocaml
08:00
groovy2shoes has quit [Quit: Leaving]
08:04
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
08:15
FreeBirdLjj has quit [Remote host closed the connection]
08:16
FreeBirdLjj has joined #ocaml
08:17
huza has joined #ocaml
08:22
mort___ has joined #ocaml
08:29
struk|desk is now known as struk|desk|away
08:37
MercurialAlchemi has quit [Ping timeout: 250 seconds]
08:41
tmtwd has joined #ocaml
08:51
FreeBirdLjj has quit [Remote host closed the connection]
08:52
cody` has quit [Quit: Connection closed for inactivity]
08:53
FreeBirdLjj has joined #ocaml
09:07
jacquev6 has joined #ocaml
09:13
d0nn1e has quit [Ping timeout: 265 seconds]
09:15
d0nn1e has joined #ocaml
09:22
kakadu has joined #ocaml
09:41
huza has quit [Ping timeout: 265 seconds]
09:48
cyraxjoe has joined #ocaml
09:49
cyraxjoe_ has quit [Ping timeout: 260 seconds]
09:56
kakadu has quit [Remote host closed the connection]
09:56
FreeBird_ has joined #ocaml
09:56
kakadu has joined #ocaml
10:00
FreeBirdLjj has quit [Ping timeout: 264 seconds]
10:00
tane has joined #ocaml
10:02
larhat1 has quit [Read error: Connection reset by peer]
10:02
larhat1 has joined #ocaml
10:04
tei is now known as luzie
10:14
kakadu has quit [Remote host closed the connection]
10:14
kakadu has joined #ocaml
10:16
FreeBird_ has quit [Remote host closed the connection]
10:17
FreeBirdLjj has joined #ocaml
10:18
Algebr`` has quit [Remote host closed the connection]
10:22
tmtwd has quit [Ping timeout: 272 seconds]
10:26
Haudegen has quit [Ping timeout: 250 seconds]
10:26
cody` has joined #ocaml
10:26
jacquev6 has quit [Quit: jacquev6]
10:32
xyh has quit [Remote host closed the connection]
10:35
tmtwd has joined #ocaml
10:43
Haudegen has joined #ocaml
10:55
luzie has quit [Remote host closed the connection]
10:55
luzie has joined #ocaml
11:27
sh0t has joined #ocaml
11:32
xyh has joined #ocaml
11:49
MercurialAlchemi has joined #ocaml
11:50
zpe has joined #ocaml
11:55
kushal has joined #ocaml
12:15
sbrouf has joined #ocaml
12:19
govg has quit [Quit: leaving]
13:00
Sorella has joined #ocaml
13:05
xyh is now known as yhxhn
13:05
yhxhn is now known as xyh
13:30
mac10688 has joined #ocaml
13:32
cody` has quit [Quit: Connection closed for inactivity]
13:34
nicoo has quit [Remote host closed the connection]
13:34
nicoo has joined #ocaml
13:39
eikke has quit [Ping timeout: 245 seconds]
13:40
eikke has joined #ocaml
13:47
eikke has quit [Ping timeout: 245 seconds]
13:48
eikke has joined #ocaml
14:01
JacobEdelman has joined #ocaml
14:09
lobo has joined #ocaml
14:19
demonimin has joined #ocaml
14:22
psy_ has joined #ocaml
14:23
jacquev6 has joined #ocaml
14:24
jacquev6 has quit [Client Quit]
14:24
nicoo has quit [Remote host closed the connection]
14:24
mfp_ is now known as mfp
14:25
FreeBirdLjj has quit [Remote host closed the connection]
14:26
FreeBirdLjj has joined #ocaml
14:26
<
mfp >
any cmxs/Dynlink experts around?
14:26
<
mfp >
getting this error when trying to Dynlink nocrypto.cmxs: error loading shared library: /home/mfp/.opam/4.02.3+fp/lib/nocrypto/nocrypto.cmxs: undefined symbol: ml_z_of_int32
14:26
<
mfp >
also happens if I load zarith.cmxs before
14:28
nicoo has joined #ocaml
14:35
jacquev6 has joined #ocaml
14:35
zpe has quit [Remote host closed the connection]
14:36
zpe has joined #ocaml
14:36
zpe has quit [Remote host closed the connection]
14:37
FreeBirdLjj has quit [Ping timeout: 272 seconds]
14:41
psy__ has joined #ocaml
14:41
psy_ has quit [Ping timeout: 240 seconds]
14:42
Recurseur has joined #ocaml
14:42
psy__ has quit [Max SendQ exceeded]
14:42
psy__ has joined #ocaml
14:51
monod has joined #ocaml
15:06
<
sh0t >
no/join #name.com
15:07
sh0t has left #ocaml ["Leaving"]
15:31
br01 has joined #ocaml
15:32
jacquev6 has quit [Quit: jacquev6]
15:32
struk|desk|away is now known as struk|desk
15:38
jacquev6 has joined #ocaml
15:41
jacquev6 has quit [Client Quit]
15:42
monod has quit [Quit: Sto andando via]
15:48
jacquev6 has joined #ocaml
15:58
jacquev6 has quit [Quit: jacquev6]
15:58
jacquev6 has joined #ocaml
16:01
<
mfp >
FTR: zarith.cmxs was essentially empty since it was generated without -linkall
16:02
jacquev6 has quit [Client Quit]
16:04
Recurseur has quit [Quit: Page closed]
16:07
zpe has joined #ocaml
16:11
ncthom91 has joined #ocaml
16:12
malc_ has joined #ocaml
16:14
ncthom91 has quit [Client Quit]
16:17
ollehar has joined #ocaml
16:36
sh0t has joined #ocaml
16:50
struk|desk is now known as struk|desk|away
17:25
br01 has quit [Ping timeout: 260 seconds]
17:26
kushal has quit [Quit: Leaving]
17:48
br01 has joined #ocaml
17:50
mort___ has quit [Quit: Leaving.]
18:00
sbrouf has quit [Quit: Quitte]
18:11
ygrek has joined #ocaml
18:18
zpe has quit [Remote host closed the connection]
18:18
zpe has joined #ocaml
18:36
ollehar has quit [Quit: ollehar]
18:39
lolisa has quit [Quit: meow]
18:44
ollehar has joined #ocaml
18:50
jgjl has joined #ocaml
18:51
ollehar has quit [Remote host closed the connection]
19:02
nullcatxxx_ has joined #ocaml
19:03
xyh has quit [Remote host closed the connection]
19:12
pierpa has joined #ocaml
19:15
pierpa` has joined #ocaml
19:24
pierpa has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
19:24
pierpa has joined #ocaml
19:26
mort___ has joined #ocaml
19:27
pierpa has quit [Client Quit]
19:31
sbrouf has joined #ocaml
19:32
ygrek has quit [Ping timeout: 240 seconds]
19:44
Stalkr_ has joined #ocaml
19:46
Mirry has joined #ocaml
19:51
darkf has quit [Quit: Leaving]
19:56
ely-se has joined #ocaml
20:03
pierpa` is now known as pierpa
20:15
tmtwd has quit [Ping timeout: 240 seconds]
20:20
mort___ has left #ocaml [#ocaml]
20:31
ril has joined #ocaml
20:32
slash^ has quit [Read error: Connection reset by peer]
20:38
zpe has quit [Remote host closed the connection]
20:39
jacquev6 has joined #ocaml
20:39
zpe has joined #ocaml
20:43
jacquev6 has quit [Client Quit]
20:45
sbrouf has quit [Ping timeout: 260 seconds]
20:54
jacquev6 has joined #ocaml
20:54
zpe has quit [Remote host closed the connection]
20:55
psy__ has quit [Ping timeout: 240 seconds]
21:01
BitPuffin|osx has joined #ocaml
21:01
jacquev6 has quit [Quit: jacquev6]
21:07
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
21:11
Haudegen has quit [Ping timeout: 255 seconds]
21:31
jacquev6 has joined #ocaml
21:33
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
21:37
MercurialAlchemi has quit [Ping timeout: 260 seconds]
21:38
Haudegen has joined #ocaml
21:43
Stalkr_ has quit [Quit: Leaving...]
21:46
pierpa has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
21:51
mort___ has joined #ocaml
21:52
mort___ has quit [Client Quit]
22:11
jacquev6 has quit [Quit: jacquev6]
22:11
ril has joined #ocaml
22:12
pierpa has joined #ocaml
22:15
jacquev6 has joined #ocaml
22:24
d0nn1e has quit [Ping timeout: 240 seconds]
22:27
ncthom91 has joined #ocaml
22:27
d0nn1e has joined #ocaml
22:30
ncthom91 has quit [Client Quit]
22:34
malc_ has quit [Quit: leaving]
22:35
ncthom91 has joined #ocaml
22:39
ncthom91 has quit [Client Quit]
22:50
jacquev6 has quit [Quit: jacquev6]
22:51
jacquev6 has joined #ocaml
22:53
sbrouf has joined #ocaml
22:53
tane has quit [Quit: Verlassend]
23:09
jacquev6 has quit [Quit: jacquev6]
23:13
ncthom91 has joined #ocaml
23:16
Simn has quit [Read error: Connection reset by peer]
23:24
damason has quit [Ping timeout: 240 seconds]
23:27
ely-se has quit [Quit: Leaving...]
23:28
sh0t has quit [Remote host closed the connection]
23:45
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
23:59
lobo has quit [Quit: leaving]