11:32 <ShalokShalom> hi there

11:32 <ShalokShalom> where does esy save my files?

11:32 <ShalokShalom> I hope not in /usr/bin or so?

13:06 <narimiran> another begninner's question: in the toplevel REPL i can do `let ht = Hashtbl.create 44;;`, but when i try to do the same (minus ;;) in a file that i want to compile, i get "Error: The type of this expression, ('_weak1, '_weak2) Hashtbl.t, contains type variables that cannot be generalized Command exited with code 2."

13:06 <narimiran> how to create and use hash tables in compiled files? what am i doing wrong?

13:07 <ggole> You can't have weak type variables that cross files because of soundness problems. The solution is to give the table a concrete type.

13:07 <narimiran> so, `let ht: <something> = ....`?

13:08 <ggole> Yep

13:09 <ggole> Or in the module signature you can give a concrete type (or leave that binding out entirely)

13:11 <narimiran> i tried `let ht : (string, string) = Hashtbl.create 44` but it still isn't correct. what is the correct syntax?

13:13 <hannes> narimiran: according to https://caml.inria.fr/pub/docs/manual-ocaml/libref/Hashtbl.html#VALcreate it is ('a, 'b) Hashtbl.t -- you'll need to write "let ht : (string, string) Hashtbl.t = ..."

13:14 <ggole> Yeah. You can #show Hashtbl.create in the toplevel to get an idea of the type to write, btw.

13:14 <narimiran> hannes: thank you!! i have been reading that, but didn't realize what to do with that `t`

13:15 <narimiran> ggole: nice, i didn't know about `#show`

13:15 <hannes> narimiran: the "('a, 'b) t" is the tye expression -- a type parametrised by 'a and 'b (where 'a is the key, 'b is the value).

13:17 <narimiran> hannes: yeah, i understood `('a, 'b)` part, but `t` was confusing to me

13:19 <narimiran> generally, what would you recommend as the best learning material? i'm combining everything i can find, but probably i'm missing something

13:47 <octarin> Real World OCaml is probably the most complete introductory material you could find, imho

13:49 <narimiran> octarin: thanks! is it still up-to-date? (e.g. i see lots of examples in various places having `open Core.Std`, but it seems that `open Core` is the current way of doing things? anything else that might be outdated?)

14:07 <octarin> narimiran: it is true they make an extensive use of the Core module from Jane Street. Their reason is that it supports a lot of functions that are not in the standard OCaml environment. However, it still contains a lot of useful functions and modules, so you can do without Core anyway.

14:08 <octarin> The sole difference with Core are the functions that are loaded. But the teaching of RealWorld OCaml about language stuff such as modules, functors, exceptions etc is still up to date and not Core dependant.

14:09 <narimiran> great, thanks!

16:42 <oni-on-ion> narimiran, there is dev.realworldocaml version newest

16:45 <narimiran> oni-on-ion: oh! nice, thank you! (i immediately went to check if/how did they replace Core.Std :))

16:45 <oni-on-ion> yw =)