adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
mfp has quit [Ping timeout: 256 seconds]
CcxWrk has quit [Quit: ZNC 1.7.1 - https://znc.in]
CcxWrk has joined #ocaml
Haudegen has quit [Remote host closed the connection]
neatonk has joined #ocaml
quipa_ has joined #ocaml
quipa has quit [Ping timeout: 240 seconds]
silver has quit [Read error: Connection reset by peer]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 244 seconds]
quipa_ has quit [Ping timeout: 272 seconds]
pierpa has quit [Quit: Page closed]
shw has left #ocaml [#ocaml]
neatonk has quit [Ping timeout: 244 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ben_ has joined #ocaml
zolk3ri has quit [Quit: leaving]
ben_ has quit [Ping timeout: 244 seconds]
Fare has quit [Ping timeout: 256 seconds]
jao has quit [Ping timeout: 240 seconds]
Fare has joined #ocaml
caltelt has joined #ocaml
Maxdamantus has quit [Remote host closed the connection]
Maxdamantus has joined #ocaml
neatonk has joined #ocaml
Chloe has joined #ocaml
Chloe has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Fare has quit [Ping timeout: 244 seconds]
roygbiv has quit [Quit: ™]
_whitelogger has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
xaimus has quit [Ping timeout: 240 seconds]
neatonk has quit [Ping timeout: 240 seconds]
caltelt has quit [Ping timeout: 248 seconds]
MrHands27 has joined #ocaml
MrHands27 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
moolc has joined #ocaml
FreeBirdLjj has joined #ocaml
igitoor has quit [Remote host closed the connection]
kvda has joined #ocaml
xaimus has joined #ocaml
ben has joined #ocaml
igitoor has joined #ocaml
ben has quit [Ping timeout: 256 seconds]
igitoor has quit [Changing host]
igitoor has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ygrek has quit [Ping timeout: 256 seconds]
Nick`1 has joined #ocaml
Nick`1 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
kakadu has joined #ocaml
sophiag has quit [Ping timeout: 265 seconds]
kvda has joined #ocaml
TheLemonMan has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
mcintosh1 has joined #ocaml
quiz961 has joined #ocaml
quiz961 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
mcintosh1 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
stevoo5 has joined #ocaml
stevoo5 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Pidgeotto7 has joined #ocaml
Pidgeotto7 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
moolc has quit [Remote host closed the connection]
Croepha16 has joined #ocaml
Croepha16 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
mfp has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zolk3ri has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 260 seconds]
information16 has joined #ocaml
information16 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
silver has joined #ocaml
Maxdamantus has quit [Ping timeout: 244 seconds]
Maxdamantus has joined #ocaml
Maxdamantus has quit [Ping timeout: 248 seconds]
Maxdamantus has joined #ocaml
<reynir> ocaml-manual doens't install in opam2 sandbox
dystopia_ has joined #ocaml
dystopia_ has quit [Killed (Sigyn (Spam is off topic on freenode.))]
tarptaeya has joined #ocaml
Maxdaman1us has joined #ocaml
Maxdamantus has quit [Ping timeout: 240 seconds]
ben has joined #ocaml
ben has quit [Ping timeout: 248 seconds]
tarptaeya has quit [Ping timeout: 260 seconds]
jao has joined #ocaml
Maxdaman1us has quit [Ping timeout: 240 seconds]
Maxdamantus has joined #ocaml
Haudegen has joined #ocaml
dtornabene has joined #ocaml
Maxdamantus has quit [Ping timeout: 268 seconds]
Maxdamantus has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
<lobo> reynir: are you using 4.07.0? i think the packages has a version constraint < 4.07.0
<lobo> s/packages/package/
kakadu_ has quit [Ping timeout: 260 seconds]
mengu has joined #ocaml
Guest97489 has joined #ocaml
Guest97489 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
dtornabene has quit [Quit: Leaving]
DanPin7 has joined #ocaml
DanPin7 has quit [Ping timeout: 268 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
coldpresent has joined #ocaml
ben has joined #ocaml
<coldpresent> hey all, i'm following a tutorial https://blog.baturin.org/introduction-to-ocaml.html, but the example program used to explain local scoping (just before the "Arithmetic" section) doesn't compile
<coldpresent> the Syntax Error is at line 4, characters 28-30, i'm on Linux, ocaml 4.07.0
ben has quit [Ping timeout: 256 seconds]
<def`> it looks correct
<def`> ah, I see.
<coldpresent> it seems to have a problem with the `in` keyword
<def`> add ;; after the second line (ending with "hello ")
<coldpresent> hmm and i thought ;; was optional
<coldpresent> thank you so much!
<octachron> you can use "let () = expr" rather than ";; expr" if you prefer
<def`> coldpresent: yes, the example is a bit weird, but it is just to illustrate the local scope
<def`> in usual code, there would be no reason to write code that way
<coldpresent> octachron: i'm not sure i understand. is ;; supposed to prevent ocaml's confusion on which `let` the `in` should belong to?
<octachron> it is more a question of deciding between a new definition "let definition = 1" which adds the name definition to the local scope or a new expression that just computes an expression: (let one = 1 in one + 2)
<coldpresent> right, thanks!
quipa has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
TheLemonMan has quit [Ping timeout: 244 seconds]
danielhuman has joined #ocaml
danielhuman has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<discord> <Perry> Yah, the issue is, OCaml has a wonderfully minimal syntax, but it's so minimal that a lot of things don't parse quite as you would expect them to. I think if one were starting all over again some delimiters wouldn't be the worst idea. I kind of like the way Ruby does this, with a few strategic "end" keywords.
<discord> <Perry> But I've gotten used to it fast over the last year.
jnavila has joined #ocaml
<reynir> lobo: I'm using 4.05.0+flambda. It's because the build field of the opam file is ["cp" "-R" "." ocaml-manual:doc] -- and ocaml-manual:doc is read-only in the sandbox (I think)
<steenuil> let ... in wouldn't work as well if you had to use "end"
<def`> steenuil: but using val in structures do distinguish top level bindings would help
<steenuil> I don't know, I really don't like SML's syntax
<steenuil> I think what would help is add delimiters to if and match blocks
<discord> <rizo> steenuil: something in particular you don’t like in SML’s syntax?
<companion_cube> the `let` is awful
<steenuil> I really don't like having to end a let block with "end", it forces you to bind some things in awkward spots if you don't want to explode your indentation
<steenuil> I think SML does this because of how the exception catching syntax works
<coldpresent> wow, discord integration, that's the first i've seen
<steenuil> the coding style in the SML compilers I've seen is awful, and I think SML's syntax encourages that style
aegray_ has quit [Ping timeout: 260 seconds]
<companion_cube> they seem to define fewer types, from the little I saw in Isabelle
<companion_cube> lots of tuples of lists, this kind of stuff
<discord> <rgrinberg> You see a ton of that stuff in ocamlc as well 😃
<discord> <rgrinberg> Inline records are still really underused
Haudegen has quit [Ping timeout: 256 seconds]
<companion_cube> ok but they're pretty recent
jnavila has quit [Ping timeout: 240 seconds]
<companion_cube> just defining normal sum types and normal records is more than you find in old codebases
<coldpresent> if function application is right-associative, why does `print_endline "hello " ^ "world"` not compile?
<companion_cube> it's left associative :)
<companion_cube> also `f a` binds more tightly than any infix operator
jnavila has joined #ocaml
<coldpresent> oh right, type signatures are the ones that are right associative
<coldpresent> is this phrasing confusing, or is it just me? https://pastebin.com/7mUnpPCD
<companion_cube> a bit weird
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
ajwioeg has joined #ocaml
ajwioeg has quit [Remote host closed the connection]
<reynir> Is there a library for building ocamldoc strings?
and has joined #ocaml
and has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Haudegen has joined #ocaml
mengu has quit [Read error: Connection reset by peer]
mengu has joined #ocaml
tarptaeya has joined #ocaml
Fare has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
<coldpresent> which tutorial is best for ocaml beginners?
aubian has left #ocaml [#ocaml]
johnelse has joined #ocaml
coldpresent has quit [Quit: WeeChat 2.2]
jbrown has joined #ocaml
coldpresent has joined #ocaml
coldpresent has quit [Client Quit]
<discord> <Perry> https://dev.realworldocaml.org/ isn't bad, but warning: it uses a non-standard standard library, which means you may have to unlearn a few things.
IntPtr29 has joined #ocaml
IntPtr29 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Haudegen has quit [Ping timeout: 272 seconds]
menace has joined #ocaml
gareppa has joined #ocaml
Fare has quit [Ping timeout: 240 seconds]
gareppa has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
cobreadmonster has joined #ocaml
ben_ has joined #ocaml
ben_ has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
Fare has joined #ocaml
caltelt has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
shakalaka has joined #ocaml
caente has joined #ocaml
jao has joined #ocaml
orbifx has joined #ocaml
<orbifx> hello all
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Maxdamantus has quit [Ping timeout: 240 seconds]
<reynir> hello orbifx
FreeBirdLjj has quit [Ping timeout: 248 seconds]
menace has left #ocaml [#ocaml]
<orbifx> how goes it reynir?
Maxdamantus has joined #ocaml
wuschel has joined #ocaml
jack5638 has quit [Ping timeout: 248 seconds]
<reynir> orbifx: good! On vacation now \o/
Maxdamantus has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
Maxdamantus has joined #ocaml
<orbifx> reynir: nice, enjoy :D
kakadu has joined #ocaml
wuschel has quit [Quit: Page closed]
<reynir> Thanks! :)
<reynir> (tomorrow I return home, then 2 days of work then back on another vacation heh)
Maxdamantus has quit [Ping timeout: 248 seconds]
<orbifx> reynir: it's the way to do it
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
mengu has joined #ocaml
tane has quit [Quit: Leaving]
Maxdamantus has joined #ocaml
<orbifx> Does anyone play red alert here?
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 260 seconds]
mengu_ has joined #ocaml
pierpa has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
ben_ has joined #ocaml
ben_ has quit [Ping timeout: 268 seconds]
orbifx has quit [Ping timeout: 272 seconds]
kakadu_ has quit [Read error: Connection reset by peer]
quipa has quit [Quit: Leaving]
kakadu_ has joined #ocaml
mengu has joined #ocaml
mengu_ has quit [Ping timeout: 272 seconds]
tarptaeya has quit [Quit: Konversation terminated!]
mengu has quit [Ping timeout: 244 seconds]
BuildTheRobots13 has joined #ocaml
BuildTheRobots13 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
roygbiv has joined #ocaml
roygbiv has quit [Client Quit]
theaspiringhacke has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
kakadu_ has quit [Remote host closed the connection]
orbifx has joined #ocaml
<orbifx> anyone know if opam can calculate the total dependencies space for a package?
neatonk has joined #ocaml
<reynir> before or after installing?
<reynir> (I don't think it can in either case, but 'after' should be easier)
neatonk has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
cobreadmonster has quit [Quit: Connection closed for inactivity]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
Maxdamantus has quit [Read error: Connection reset by peer]
<orbifx> reynir: preferably before, but I guess after could work too
mengu has quit [Ping timeout: 240 seconds]
orbifx1 has joined #ocaml
orbifx has quit [Ping timeout: 268 seconds]
orbifx1 has quit [Quit: Quit]
ben_ has joined #ocaml
ben_ has quit [Ping timeout: 268 seconds]
Haudegen has quit [Remote host closed the connection]