Guest83516 has quit [Remote host closed the connection]
oscar_toro has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
koderok has joined #ocaml
koderok has quit [Client Quit]
arquebus has joined #ocaml
boogie has quit [Remote host closed the connection]
arquebus has quit [Quit: Konversation terminated!]
MercurialAlchemi has joined #ocaml
WraithM has quit [Quit: leaving]
WraithM has joined #ocaml
samrat has joined #ocaml
sheijk has joined #ocaml
lifeng has quit [Quit: Ex-Chat]
sheijk has quit [Ping timeout: 260 seconds]
paolooo has joined #ocaml
paolooo has left #ocaml [#ocaml]
cesar_ has joined #ocaml
cesar_ is now known as Guest91356
<flux>
I just kickstarted an opam-installation by first using the system compiler, then switching to opam one with opam switch
<flux>
twas nice, no tar xzvf was hurt in the process ;)
hhugo has joined #ocaml
WraithM has quit [Ping timeout: 246 seconds]
Guest91356 has quit [Remote host closed the connection]
tac_ has quit [Ping timeout: 272 seconds]
oscar_toro has quit [Quit: oscar_toro]
englishm has quit [Remote host closed the connection]
sharady has joined #ocaml
englishm has joined #ocaml
BitPuffin has joined #ocaml
sheijk has joined #ocaml
sheijk has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
avsm has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
ygrek has joined #ocaml
AltGr has joined #ocaml
cago has joined #ocaml
oscar_toro has joined #ocaml
avsm has quit [Quit: Leaving.]
_0xAX has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<kaustuv>
def`: in the modular-implicits branch, is there a way to get some feedback on which implicit arguments were inferred? It's enough if this were a toplevel-only feature, such as #show_implicits
<flux>
surely it should work (in the future) with the type query mechanisms editors use :)
<kaustuv>
that would be even better
<Drup>
kaustuv: you can also pass the implicit argument explicitely
<kaustuv>
Yes, but that rather defeats the purpose of "implicit"
<kaustuv>
Also, in the toplevel it would be useful if there were a way to say "stop using this module as an implicit"
mal`` has joined #ocaml
sheijk has joined #ocaml
Simn has joined #ocaml
sheijk has quit [Ping timeout: 240 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest4295
<whitequark>
there's no way to unopen a module either
<whitequark>
(which should maybe added too)
Guest4295 has quit [Ping timeout: 260 seconds]
<kaustuv>
After playing with it a bit more, I wonder if it wouldn't make more sense to separate the definition of a module with the declaration that it be used to infer implicit arguments
<adrien>
whitequark: let open Module in :P
<whitequark>
adrien: that has different semantics.
<Drup>
kaustuv: it is separated
<adrien>
yeah but similar usecases
<kaustuv>
Drup: the only way I can see to separate them right now feels unnatural to me: http://pastebin.com/YTXVgSZ2
<kaustuv>
Maybe I missed something
ebzzry has quit [Ping timeout: 245 seconds]
_0xAX has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
<kaustuv>
By the way, I should say (in case it isn't obvious) that I am very glad that you're doing this. I've wanted MixML-y things in OCaml for such a long time.
<kaustuv>
And Merlin has basically changed my life.
<kaustuv>
So, thanks a bunch!
ontologiae_ has joined #ocaml
<companion_cube>
same thing here, basically
<def`>
\o/
<whitequark>
indeed
paolooo has joined #ocaml
oscar_toro has quit [Remote host closed the connection]
eizodo has joined #ocaml
zpe has joined #ocaml
chambart has joined #ocaml
rand000 has joined #ocaml
* avsm
lifts def` onto his shoulders and runs around irc cheering
<Drup>
=)
* companion_cube
runs around irc too, but counterclockwise
* adrien_oww
wonders why people from #ocaml are trying to reproduce the LHC on IRC
lpw25 has joined #ocaml
* companion_cube
turns into a rare boson
chambart has quit [Read error: Connection reset by peer]
chambart has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest44410
tane has quit [Quit: Verlassend]
sheijk has joined #ocaml
Guest44410 has quit [Ping timeout: 264 seconds]
<kaustuv>
What ever happened to the ephemerons proposal?
<Drup>
it got merged in 4.02
<Drup>
iirc
<adrien>
yeah, I think I've seen something about it too
<adrien>
but that sounds too good to be true
<adrien>
:P
<adrien>
I mean, what are maintainers good for if they don't bluntly reject proposals
BitPuffin has quit [Read error: Connection reset by peer]
BitPuffin has joined #ocaml
sheijk has quit [Ping timeout: 246 seconds]
Sizur has quit [Read error: Connection reset by peer]
CaptainRant has joined #ocaml
_andre has joined #ocaml
AltGr has left #ocaml [#ocaml]
jonludlam has joined #ocaml
rwmjones_afk is now known as rwmjones
SHODAN has quit [Remote host closed the connection]
Kakadu has quit [Quit: Page closed]
eizodo has quit [Ping timeout: 246 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest68691
AltGr has joined #ocaml
Guest68691 has quit [Ping timeout: 264 seconds]
rand000 has quit [Quit: leaving]
avsm has quit [Quit: Leaving.]
rand000 has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
englishm has quit [Ping timeout: 276 seconds]
lpw25 has quit [Remote host closed the connection]
lpw25 has joined #ocaml
paolooo has quit [Ping timeout: 246 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
fold has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
tty57 has joined #ocaml
yacks has quit [Read error: Connection reset by peer]
sheijk has joined #ocaml
fraggle_ has joined #ocaml
fold has quit [Ping timeout: 276 seconds]
huza has joined #ocaml
siddharthv is now known as siddharthv_away
dsheets has joined #ocaml
fdsdff has joined #ocaml
msaegesser has quit [Ping timeout: 255 seconds]
msaegesser has joined #ocaml
mads- has left #ocaml [#ocaml]
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Submarine has quit [Quit: Leaving]
samrat has joined #ocaml
tty57 has joined #ocaml
fdsdff has quit [Remote host closed the connection]
lpw25 has quit [Remote host closed the connection]
darkf has quit [Quit: Leaving]
ontologiae_ has quit [Ping timeout: 240 seconds]
ontologiae_ has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest13494
jc1 has joined #ocaml
charpi has joined #ocaml
Guest13494 has quit [Ping timeout: 246 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
toolslive has joined #ocaml
samrat has joined #ocaml
englishm has joined #ocaml
bytbox has quit [Remote host closed the connection]
<charpi>
Hi
<charpi>
Does anybody know cohttp ?
englishm has quit [Remote host closed the connection]
yacks has joined #ocaml
englishm has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
<johnelse>
charpi: if you hang around long enough then the author (avsm) will probably show up :)
<charpi>
cool
<charpi>
just have a question regarding the build of cohttp
<Drup>
but you can still ask your question :)
<charpi>
Some context: I'm quite new to ocaml and I'm developing with a Mac.
<charpi>
Is the build suppose to work on Mac ?
<Drup>
it should
<Drup>
do you use opam ?
NoNNaN has joined #ocaml
<charpi>
yes
arj has joined #ocaml
<charpi>
apparently there is a problem resolving conduit.lwt-unix
<johnelse>
I've noticed some weirdness with optional dependencies if you install a load of libraries at once - it may be better to install lwt, then install conduit in a separate "opam install"
eizodo has joined #ocaml
<charpi>
I will try, thanks. However I have a file called lwt_unix_conduit.cmx in my opam subdirectory
shinnya has joined #ocaml
englishm has quit [Quit: Leaving...]
rand000 has quit [Ping timeout: 268 seconds]
mort___ has joined #ocaml
tane has joined #ocaml
ontologiae_ has quit [Ping timeout: 276 seconds]
rand000 has joined #ocaml
arj has left #ocaml [#ocaml]
englishm has joined #ocaml
fraggle-boate has joined #ocaml
thomasga has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
cago has quit [Quit: cago]
sagotch has quit [Remote host closed the connection]
<dmbaturin>
If I define "let (|>) f g = g f" in say 3.12, will it be the same to |> operator in 4.x?
ontologiae_ has quit [Ping timeout: 260 seconds]
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
chambart has quit [Ping timeout: 260 seconds]
boogie has joined #ocaml
<chris______>
I beileve that is how it is defined. Have you tried it in a interactive top level?
ygrek_ has quit [Ping timeout: 245 seconds]
<chris______>
should give you a function with type ‘a -> (‘a -> ‘b) -> ‘b
avsm has quit [Ping timeout: 272 seconds]
<dmbaturin>
chris______: Yeah, it has expected type signature and works fine, I'm just wondering if the built-in one doesn't have any implementation details not replicated by that definition.
<companion_cube>
chris______: I suggest ocamlbuild
<chris______>
Like something implemented in c? Yeah, I don’t know. AFAIK it should effectively be the same though
<chris______>
thank you companion_cube
charpi has joined #ocaml
CaptainRant has quit [Quit: WeeChat 0.4.3]
morphles has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
WraithM has joined #ocaml
hhugo has quit [Quit: Leaving.]
bytbox has joined #ocaml
rgrinberg has joined #ocaml
avsm has joined #ocaml
jwatzman|work has joined #ocaml
<whitequark>
dmbaturin: the builtin one is defined like
<Drup>
tac_: euler project ? roseta ? 99 problems in X ?
<tac_>
Yeah. Those sound like the kind of thing I might be interested in.
ollehar has quit [Quit: ollehar]
<Drup>
for 99 problems, you can look at ocaml.org and eventually do pull request to give answers that are not yet done, that would be pedagogic *and* helpful :)
<tac_>
neat
bytbox has quit [Ping timeout: 252 seconds]
ygrek_ has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest63000
rgrinberg has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
Guest63000 has quit [Ping timeout: 245 seconds]
sheijk has joined #ocaml
rgrinberg has joined #ocaml
zpe has joined #ocaml
lpw25 has quit [Remote host closed the connection]
sheijk has quit [Ping timeout: 272 seconds]
zpe has quit [Ping timeout: 245 seconds]
MercurialAlchemi has quit [Ping timeout: 245 seconds]
sheijk has joined #ocaml
MercurialAlchemi has joined #ocaml
bytbox has joined #ocaml
samrat has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
bytbox has quit [Remote host closed the connection]
Plazma_ is now known as Plazma
jwatzman|work has quit [Quit: jwatzman|work]
claudiuc_ has joined #ocaml
claudiuc has quit [Ping timeout: 272 seconds]
_andre has quit [Quit: leaving]
topher_b has quit [Quit: topher_b]
oriba has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
cesar_ has joined #ocaml
cesar_ is now known as Guest11610
philtom has quit [Ping timeout: 268 seconds]
omqal has joined #ocaml
claudiuc_ has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
Guest11610 has quit [Ping timeout: 255 seconds]
<tac_>
do people here typically use utop over the default ocaml interpreter?
<tac_>
It seems obnoxiously noisy to me
<Drup>
you can reduce the noise
<Drup>
look at utop's home page
<def`>
#utop_prompt_simple;;
zorun has joined #ocaml
<tac_>
thanks
axiles has quit [Remote host closed the connection]
<tac_>
is there a way to automatically start utop with certain directives?
<tac_>
It would be nice to link to core and change the prompt to simple at the start of every run of utop
Arsenik has joined #ocaml
<Drup>
tac_: add them to .ocamlinit
Arsenik has quit [Ping timeout: 260 seconds]
<tac_>
thanks
<ggole>
Note that non-utop toplevels will barf a bit if you add #utop_prompt_simple;;
<tac_>
bahh
<ggole>
You can probably work around that if you care enough
<tac_>
in due time, I'm sure
<tac_>
strings are mutable, right?
<ggole>
Unless you use -safe-string, yes.
zorun has left #ocaml [#ocaml]
<tac_>
are they unicode-y strings? Or are they more like byte arrays?
<Drup>
the later
<ggole>
They're actually used as byte arrays in places, sigh
<toolslive>
there used to be no real viable alternative for IO.
<Drup>
tac_: there are multiple libraries for utf8 strings
claudiuc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
<tac_>
toolslive: what do you mean by that?
claudiuc has joined #ocaml
<toolslive>
well, the channels provided by the standard lib are only suitable for toy io problems.
<toolslive>
as soon as you outgrow them, you tend to use file descriptors and read data into strings (or these days called Bytes.t)
<companion_cube>
or even lwt :)
<tac_>
lwt?
<toolslive>
yes. but Lwt also reads stuff into strings ....
<companion_cube>
tac_: opam info lwt
<companion_cube>
toolslive: indeed
<tac_>
is .t a naming convention when you have a module which primarily acts on a single type
<tac_>
?
<companion_cube>
it's just not exactly the same channels
<companion_cube>
tac_: yes
<toolslive>
also strings are simple interfaces so they play well with the FFI.
<tac_>
oo the info command is kind of nice
<tac_>
btw, this is probably more of a linux-y question but what library do you typically use to get colors in the output of commands?
<toolslive>
if you need more control over concurrency + IO then Lwt or Async are quite nice.
<toolslive>
hm, you can do it with a simple print....
<tac_>
also, does utop support tab-complete?
<tac_>
I mean, it doesn't, because tab doesn't do anything... but it looks like it wants to support some kind of auto-completion because of the box at the bottom with suggestions :)
<Drup>
tac_: alt arrows to browse suggestions, alt + arrow down to complete
toolslive has quit [Quit: Leaving]
<tac_>
thanks Drup
<companion_cube>
tab completion in utop is weird
<Drup>
for the colors, there are two libraries, ANSITerminal which is small and just do simple things, and lambda-term, which is the fully featured library to do complex terminal UIs
<Drup>
there is also a binding to curses, but curses is so shitty you don't want to use it
<tac_>
it seems colors in terminal apps are the latest cool thing to do
<tac_>
I love them to death in git
<tac_>
and Idris, too, has a pretty nice coloring mechanism in its REPL
<Drup>
latest cool thing ?
<Drup>
I don't feel like it's new or something
<tac_>
Maybe it's just that the applications I've personally come across recently put it to better-than-usual use
<tac_>
is there a way to print out an expressions type in utop without evaluation?
<Drup>
no
MercurialAlchemi has quit [Ping timeout: 255 seconds]
<tac_>
sad
<tac_>
oh well
jwatzman|work has joined #ocaml
<tac_>
tuples don't require parens? hmm
charpi has joined #ocaml
charpi has quit [Remote host closed the connection]
<ggole>
Wrap it in a function and look at the return type, maybe
Submarine has quit [Quit: Leaving]
<tac_>
Is it required in Ocaml to order your top-level decls so that each is defined before it's referenced?
<tac_>
And if not, is it possible to forward-declare top-level names?
sheijk has quit [Ping timeout: 276 seconds]
<companion_cube>
you need to order them
<companion_cube>
there is no declaring things ahead
<ggole>
You can use 'and' if you need mutual recursion between things
<tac_>
Haskell spoils me.
<tac_>
:)
bytbox has joined #ocaml
fold has joined #ocaml
Kakadu has joined #ocaml
ggole has quit []
englishm has quit [Read error: Connection reset by peer]
englishm has joined #ocaml
ousado_ has joined #ocaml
srcerer has quit [Ping timeout: 268 seconds]
jzelinskie has quit [Ping timeout: 268 seconds]
Sim_n has joined #ocaml
keen________ has quit [Ping timeout: 240 seconds]
lopex has quit [Ping timeout: 268 seconds]
zapu has quit [Ping timeout: 268 seconds]
srcerer_ has joined #ocaml
jzelinskie has joined #ocaml
chris2 has quit [Ping timeout: 268 seconds]
zapu has joined #ocaml
Leonidas has quit [Ping timeout: 268 seconds]
Leonidas has joined #ocaml
ousado has quit [Remote host closed the connection]
Guest43929 has joined #ocaml
xaimus has quit [Ping timeout: 276 seconds]
chris2 has joined #ocaml
xaimus has joined #ocaml
thizanne has quit [Ping timeout: 268 seconds]
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
tane has quit [Excess Flood]
tane has joined #ocaml
Simn has quit [Ping timeout: 268 seconds]
ggherdov has quit [Ping timeout: 268 seconds]
adrien has quit [Ping timeout: 268 seconds]
adrien has joined #ocaml
kandu_ has joined #ocaml
charpi has joined #ocaml
thizanne has joined #ocaml
kandu has quit [Ping timeout: 276 seconds]
<tac_>
are the fields in a record type ordered?
<tac_>
I see an example in the RWO book where they do pattern-matching.. but they use the same names as the fields in the variables they bind to
nifty_ has quit [Ping timeout: 268 seconds]
<Drup>
no, they are not
<companion_cube>
tac_: {x; y} is short for {x=x; y=y; }
nifty_ has joined #ocaml
<tac_>
ah
<tac_>
so if I wanted to pattern match on two objects of the same record type, I would need that extended syntax
<companion_cube>
yes
<tac_>
in x=x there, which is the field name and which is the binding variable :)
<companion_cube>
well you can still write match a,b with {x}, {y} -> ...
<companion_cube>
but not if you get fields from both :)
charpi has quit [Ping timeout: 245 seconds]
<tac_>
and unit is the type name, () is the canonical inhabitant?
<Drup>
yes
tane has quit [Quit: Verlassend]
ggherdov has joined #ocaml
sheijk has joined #ocaml
<tac_>
Where do you usually go for docs? I'm looking at List.iter and I'd like to know what it does. Where would I go to look that kind of thing up :)
charpi has quit [Remote host closed the connection]
charpi has joined #ocaml
thomasga has joined #ocaml
testcocoon has quit [Ping timeout: 260 seconds]
j0sh_ has joined #ocaml
jerith_ has joined #ocaml
sivoais_ has joined #ocaml
Guest71500 has quit [Ping timeout: 276 seconds]
Khady has joined #ocaml
Khady has joined #ocaml
tautologico has joined #ocaml
Valda has joined #ocaml
strmpnk has quit [Ping timeout: 240 seconds]
pollux__ has joined #ocaml
emmanueloga_ has joined #ocaml
misv has joined #ocaml
pollux has quit [Ping timeout: 260 seconds]
pollux__ is now known as pollux
ggherdov has quit [*.net *.split]
boogie has quit [*.net *.split]
msaegesser has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
Valdo has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
_tca has quit [*.net *.split]
sivoais has quit [*.net *.split]
toroidalcode_ has quit [*.net *.split]
tov_ has quit [*.net *.split]
SethTisue_______ has quit [*.net *.split]
wormphle1m has quit [*.net *.split]
__marius_____ has quit [*.net *.split]
msch has quit [*.net *.split]
rfv has quit [*.net *.split]
strmpnk has joined #ocaml
Valda is now known as Valdo
SethTisue_______ has joined #ocaml
testcocoon has joined #ocaml
sivoais_ is now known as sivoais
bcuccioli has joined #ocaml
sivoais has quit [Changing host]
sivoais has joined #ocaml
rfv has joined #ocaml
msaegesser has joined #ocaml
emmanueloga_ is now known as emmanueloga
toroidalcode has joined #ocaml
__marius_____ has joined #ocaml
hcarty_ has joined #ocaml
fold has quit [Ping timeout: 246 seconds]
inr has quit [*.net *.split]
averell has quit [*.net *.split]
majoh has quit [*.net *.split]
mcclurmc_ has joined #ocaml
msch has joined #ocaml
charpi` has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
jpdeplaix has quit [Ping timeout: 255 seconds]
hcarty_ has quit [Ping timeout: 255 seconds]
Khady has quit [Ping timeout: 255 seconds]
jerith_ has quit [Ping timeout: 255 seconds]
thizanne has quit [Ping timeout: 255 seconds]
ontologiae_ has quit [Ping timeout: 255 seconds]
bjorkintosh has quit [Ping timeout: 255 seconds]
spacebat has quit [Ping timeout: 255 seconds]
mcclurmc has quit [Ping timeout: 255 seconds]
Ptishell has quit [Ping timeout: 255 seconds]
jpdeplaix has joined #ocaml
ontologiae_ has joined #ocaml
toroidalcode has quit [Ping timeout: 255 seconds]
charpi has quit [Ping timeout: 255 seconds]
WraithM has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
binarybi1me has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
_tca has joined #ocaml
boogie has joined #ocaml
doctorm has quit [*.net *.split]
thizanne has joined #ocaml
mfp has quit [*.net *.split]
n0v has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
toroidalcode has joined #ocaml
Derander_ has joined #ocaml
omqal has quit [*.net *.split]
milosn_ has quit [*.net *.split]
jerith has quit [*.net *.split]
Khady_ has quit [*.net *.split]
brendan has quit [*.net *.split]
misv_ has quit [*.net *.split]
binarybitme has quit [*.net *.split]
j0sh has quit [*.net *.split]
gargawel has quit [*.net *.split]
alex-abreu has quit [*.net *.split]
ohama has quit [*.net *.split]
rks`_ has quit [*.net *.split]
bcucciol1 has quit [*.net *.split]
hcarty has quit [*.net *.split]
NoNNaN has quit [*.net *.split]
def`_ has joined #ocaml
adrien_ has joined #ocaml
msaegess1r has joined #ocaml
charpi` has quit [Ping timeout: 245 seconds]
oriba has quit [Quit: oriba]
bcuccioli has quit [*.net *.split]
msaegesser has quit [*.net *.split]
SethTisue_______ has quit [*.net *.split]
thomasga has quit [*.net *.split]
j0sh_ has quit [*.net *.split]
nifty_ has quit [*.net *.split]
kandu_ has quit [*.net *.split]
adrien has quit [*.net *.split]
lopex has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
srcerer_ has quit [*.net *.split]
jwatzman|work has quit [*.net *.split]
claudiuc has quit [*.net *.split]
def` has quit [*.net *.split]
fraggle-boate has quit [*.net *.split]
samebchase has quit [*.net *.split]
malo has quit [*.net *.split]
cdidd has quit [*.net *.split]
Derander has quit [*.net *.split]
olasd has quit [*.net *.split]
rwmjones has quit [*.net *.split]
thomasga has joined #ocaml
ontologiae has joined #ocaml
nicoo_ has joined #ocaml
bcucciol1 has joined #ocaml
_5kg has quit [Ping timeout: 246 seconds]
alinab has quit [Ping timeout: 246 seconds]
thizanne has quit [Ping timeout: 246 seconds]
kerneis has quit [Ping timeout: 246 seconds]
tg has quit [Ping timeout: 246 seconds]
Mandus has quit [Ping timeout: 246 seconds]
thizanne has joined #ocaml
EClaesson has quit [Ping timeout: 246 seconds]
bjorkintosh has joined #ocaml
spacebat has joined #ocaml
Ptishell has joined #ocaml
gasche__ has joined #ocaml
Intensity has quit [Ping timeout: 246 seconds]
mk270 has quit [Ping timeout: 246 seconds]
EClaesson has joined #ocaml
boogie has quit [*.net *.split]
Khady has joined #ocaml
Khady has joined #ocaml
Khady has quit [Changing host]
nifty_ has joined #ocaml
mcclurmc has joined #ocaml
jzelinskie has joined #ocaml
teiresias has quit [Ping timeout: 246 seconds]
Snark has quit [Ping timeout: 246 seconds]
Mandus has joined #ocaml
srcerer has joined #ocaml
libertas has quit [Ping timeout: 246 seconds]
WanderingGlitch has quit [Ping timeout: 246 seconds]
sh1ken has quit [Ping timeout: 246 seconds]
ohama has joined #ocaml
boogie has joined #ocaml
msaegesser has joined #ocaml
ddosia has quit [Ping timeout: 246 seconds]
claudiuc has joined #ocaml
alex-abreu has joined #ocaml
bcucciol1 has quit [Ping timeout: 246 seconds]
adrien_ has quit [Ping timeout: 246 seconds]
mk270 has joined #ocaml
mcclurmc_ has quit [Ping timeout: 246 seconds]
rs0 has quit [Ping timeout: 246 seconds]
SethTisue_______ has joined #ocaml
rks` has joined #ocaml
ontologiae_ has quit [Ping timeout: 276 seconds]
bernardofpc has quit [Ping timeout: 276 seconds]
gasche has quit [Ping timeout: 276 seconds]
msaegess1r has quit [Ping timeout: 276 seconds]
jpdeplaix has quit [Ping timeout: 276 seconds]
johnelse has quit [Ping timeout: 276 seconds]
nicoo has quit [Ping timeout: 276 seconds]
nickmeha1ry has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
jpdeplaix has joined #ocaml
gargawel has joined #ocaml
<tac_>
In regards to let vs letrec, there's a passage in the RWO book that goes
<tac_>
"... and for reasons that don't apply to a pure language like Haskell, these have to be marked explicitly by the programmer."
<tac_>
What does this reference, exactly? How does purity help let vs letrec?
<tac_>
(It also mentions type inference in the same paragraph)
WanderingGlitch has joined #ocaml
nickmeharry has joined #ocaml
bernardofpc has joined #ocaml
majoh has joined #ocaml
ggherdov_ has joined #ocaml
rs0 has joined #ocaml
<sheijk>
tac_: they might mean lazyness, which makes a difference for circular data structures
alinab has joined #ocaml
<tac_>
hmm
<sheijk>
requiring let rec makes circular data structures illegal by default. so i guess in ocaml it's a design decision to make it harder to shoot yourself in the foot
nicoo_ is now known as nicoo
_5kg has joined #ocaml
<tac_>
that much I can appreciate
<tac_>
(I really wish haskell made the distinction)
<tac_>
but I'm just curious why it might be a forced design decision, as the book makes it sound