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
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]