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
al-damiri has quit [Quit: Connection closed for inactivity]
francisl has joined #ocaml
shw has quit [Ping timeout: 252 seconds]
shw has joined #ocaml
mfp has quit [Ping timeout: 250 seconds]
thomas_scrace has joined #ocaml
lobo has quit [Ping timeout: 244 seconds]
thomas_scrace has quit [Ping timeout: 252 seconds]
lobo has joined #ocaml
caltelt has quit [Ping timeout: 246 seconds]
phvse has joined #ocaml
silver has quit [Read error: Connection reset by peer]
caltelt has joined #ocaml
francisl has quit [Quit: francisl]
coventry has quit [Ping timeout: 272 seconds]
yaewa has joined #ocaml
moei has quit [Ping timeout: 252 seconds]
pierpal has joined #ocaml
maarhart has joined #ocaml
neatonk1 has joined #ocaml
randomA has joined #ocaml
<randomA> Hello friends
neatonk has quit [Ping timeout: 272 seconds]
maarhart has quit [Client Quit]
thomas_scrace has joined #ocaml
<discord> <struktured> hi randomA, welcome
<randomA> i wish to make an interpreter
<randomA> what does it mean to have unit after a type declaration?
thomas_scrace has quit [Ping timeout: 244 seconds]
<randomA> Because i thought a type declaration purpose was to define a type. Why would it also be of type unit?
jbrown has quit [Ping timeout: 244 seconds]
tormen_ has joined #ocaml
<discord> <struktured> randomA: its useful sometimes to alias types, right? just like you might write type hash = string for instance. Also you can define modules signatures with abstract types (just defined as type t) and then in an implementing module you can make the type more specific, which is often useful
tormen has quit [Ping timeout: 252 seconds]
<randomA> ok, i did module Store = Map.Make( struct type t = var.... type store = int Store.t
<randomA> so my main type is called store
<discord> <struktured> sure, that's a reasonable idiom
<randomA> honestly, i don't think i know what i'm doing
<randomA> should I use find_opt or find?
<randomA> oh, i need my Store to be unique
<randomA> nvm i can just use update
<discord> <struktured> find_opt is usually preferred to avoid exceptions, unless you are certain it should be there accoridng to some invariant
angerman14 has joined #ocaml
<randomA> so it is let get_var store x = match Store.find x sigma...
angerman14 has quit [Remote host closed the connection]
<discord> <struktured> randomA: I would be use find_opt, also you defined a variable store on the lhs and another on called sigma on the right. you can post a gist later once you develop it more and the channel can review it easier
<randomA> ok i think this is what i did
francisl has joined #ocaml
francisl has quit [Quit: francisl]
francisl has joined #ocaml
FreeBirdLjj has joined #ocaml
phvse has quit [Quit: Konversation terminated!]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
francisl has quit [Quit: francisl]
neatonk1 has quit [Quit: neatonk1]
FreeBirdLjj has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
yaewa has quit [Quit: Leaving...]
FreeBirdLjj has quit [Remote host closed the connection]
moei has joined #ocaml
FreeBirdLjj has joined #ocaml
yurug has joined #ocaml
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 272 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
<randomA> this interpreter is AIDS
caltelt has quit [Ping timeout: 252 seconds]
yurug has quit [Ping timeout: 252 seconds]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 272 seconds]
kakadu has joined #ocaml
yurug has joined #ocaml
malina has joined #ocaml
thomas_scrace has joined #ocaml
znz_jp13 has joined #ocaml
thomas_scrace has quit [Ping timeout: 252 seconds]
znz_jp13 has quit [Remote host closed the connection]
malina has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
TheLemonMan has joined #ocaml
jnavila has joined #ocaml
Guest8490 is now known as awal
FreeBirdLjj has joined #ocaml
lopex has quit [Quit: Connection closed for inactivity]
orbifx has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 245 seconds]
mfp has joined #ocaml
orbifx has quit [Read error: Connection reset by peer]
orbifx has joined #ocaml
benaux has quit []
yurug has joined #ocaml
benaux has joined #ocaml
silver has joined #ocaml
orbifx has quit [Ping timeout: 252 seconds]
jnavila has joined #ocaml
yurug has quit [Ping timeout: 252 seconds]
yurug has joined #ocaml
yurug has quit [Ping timeout: 252 seconds]
TheRuralJuror has joined #ocaml
TheRuralJuror has quit [Remote host closed the connection]
Haudegen has joined #ocaml
_whitelogger has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
benaux has quit [Remote host closed the connection]
lopex has joined #ocaml
phvse has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
TheLemonMan has quit [Ping timeout: 252 seconds]
qlp has joined #ocaml
qlp has quit [Killed (Unit193 (Spam is not permitted on freenode.))]
ia0 has quit [Quit: reboot]
TheLemonMan has joined #ocaml
Haudegen has quit [Remote host closed the connection]
pierpal has joined #ocaml
benaux has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
benaux has quit [Ping timeout: 252 seconds]
ia0 has joined #ocaml
JimmyRcom has joined #ocaml
JimmyRcom has quit [Ping timeout: 250 seconds]
pierpal has joined #ocaml
thomas_scrace has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
thomas_scrace has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
Haudegen has joined #ocaml
benaux has joined #ocaml
benaux has quit [Ping timeout: 272 seconds]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
kalio has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
thomas_scrace has joined #ocaml
orbifx has joined #ocaml
Jesin has quit [Quit: Leaving]
thomas_scrace has quit [Ping timeout: 244 seconds]
Jesin has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
ohama has quit [Ping timeout: 244 seconds]
ohama has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
FreeBirdLjj has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kakadu has joined #ocaml
troydm has joined #ocaml
benaux has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #ocaml
randomA has quit [Ping timeout: 252 seconds]
randomA has joined #ocaml
randomA has quit [Client Quit]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 272 seconds]
pierpal has quit [Read error: Connection reset by peer]
benaux has quit [Remote host closed the connection]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
Fare has joined #ocaml
Tashtari4 has joined #ocaml
Tashtari4 has quit [Remote host closed the connection]
zv has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
jack5638 has quit [Ping timeout: 240 seconds]
phvse has quit [Remote host closed the connection]
jack5638 has joined #ocaml
benaux has joined #ocaml
benaux has quit [Read error: Connection reset by peer]
benaux has joined #ocaml
groovy2shoes has quit [Quit: moritura te salutat]
GreyFaceNoSpace has joined #ocaml
zv has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
thomas_scrace has joined #ocaml
jao has joined #ocaml
thomas_scrace has quit [Ping timeout: 246 seconds]
schrsi has joined #ocaml
jnavila has quit [Remote host closed the connection]
Taggnostr2 has joined #ocaml
Taggnostr2 has quit [Remote host closed the connection]
neatonk has joined #ocaml
schrsi has quit [Quit: WeeChat 1.6]
silver_ has joined #ocaml
silver has quit [Ping timeout: 272 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
zv has quit [Ping timeout: 272 seconds]
neatonk has quit [Ping timeout: 245 seconds]
kakadu has quit [Remote host closed the connection]
Red_Devil has joined #ocaml
Red_Devil has quit [Remote host closed the connection]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
phvse has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 272 seconds]
pierpal has joined #ocaml
Fare has quit [Ping timeout: 246 seconds]
tumdedum22 has joined #ocaml
tumdedum22 has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 252 seconds]
d_s19 has joined #ocaml
d_s19 has quit [Remote host closed the connection]