#ocaml on 2018-09-15 — irc logs at freenode.irclog.whitequark.org

2018-08-02 09:43 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

00:11 al-damiri has quit [Quit: Connection closed for inactivity]

00:26 francisl has joined #ocaml

00:41 shw has quit [Ping timeout: 252 seconds]

00:41 shw has joined #ocaml

00:43 mfp has quit [Ping timeout: 250 seconds]

00:49 thomas_scrace has joined #ocaml

00:52 lobo has quit [Ping timeout: 244 seconds]

00:54 thomas_scrace has quit [Ping timeout: 252 seconds]

01:11 lobo has joined #ocaml

01:30 caltelt has quit [Ping timeout: 246 seconds]

01:31 phvse has joined #ocaml

01:38 silver has quit [Read error: Connection reset by peer]

01:39 caltelt has joined #ocaml

02:03 francisl has quit [Quit: francisl]

02:14 coventry has quit [Ping timeout: 272 seconds]

02:39 yaewa has joined #ocaml

02:40 moei has quit [Ping timeout: 252 seconds]

02:41 pierpal has joined #ocaml

02:44 maarhart has joined #ocaml

02:44 neatonk1 has joined #ocaml

02:46 randomA has joined #ocaml

02:46 <randomA> Hello friends

02:47 neatonk has quit [Ping timeout: 272 seconds]

02:47 maarhart has quit [Client Quit]

02:49 thomas_scrace has joined #ocaml

02:50 <discord> <struktured> hi randomA, welcome

02:52 <randomA> i wish to make an interpreter

02:54 <randomA> what does it mean to have unit after a type declaration?

02:54 thomas_scrace has quit [Ping timeout: 244 seconds]

02:54 <randomA> Because i thought a type declaration purpose was to define a type. Why would it also be of type unit?

02:54 jbrown has quit [Ping timeout: 244 seconds]

02:59 tormen_ has joined #ocaml

03:01 <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

03:02 tormen has quit [Ping timeout: 252 seconds]

03:03 <randomA> ok, i did module Store = Map.Make( struct type t = var.... type store = int Store.t

03:03 <randomA> so my main type is called store

03:06 <discord> <struktured> sure, that's a reasonable idiom

03:07 <randomA> honestly, i don't think i know what i'm doing

03:07 <randomA> should I use find_opt or find?

03:07 <randomA> oh, i need my Store to be unique

03:09 <randomA> nvm i can just use update

03:09 <discord> <struktured> find_opt is usually preferred to avoid exceptions, unless you are certain it should be there accoridng to some invariant

03:09 angerman14 has joined #ocaml

03:10 <randomA> so it is let get_var store x = match Store.find x sigma...

03:14 angerman14 has quit [Remote host closed the connection]

03:17 <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

03:18 <randomA> ok i think this is what i did

03:22 francisl has joined #ocaml

03:40 francisl has quit [Quit: francisl]

03:43 francisl has joined #ocaml

03:45 FreeBirdLjj has joined #ocaml

03:52 phvse has quit [Quit: Konversation terminated!]

04:02 FreeBirdLjj has quit [Remote host closed the connection]

04:03 FreeBirdLjj has joined #ocaml

04:06 francisl has quit [Quit: francisl]

04:06 neatonk1 has quit [Quit: neatonk1]

04:08 FreeBirdLjj has quit [Ping timeout: 272 seconds]

04:09 FreeBirdLjj has joined #ocaml

04:23 yaewa has quit [Quit: Leaving...]

04:28 FreeBirdLjj has quit [Remote host closed the connection]

04:31 moei has joined #ocaml

04:35 FreeBirdLjj has joined #ocaml

04:49 yurug has joined #ocaml

04:50 thomas_scrace has joined #ocaml

04:55 thomas_scrace has quit [Ping timeout: 272 seconds]

04:56 FreeBirdLjj has quit [Remote host closed the connection]

04:56 FreeBirdLjj has joined #ocaml

05:01 FreeBirdLjj has quit [Ping timeout: 252 seconds]

05:09 <randomA> this interpreter is AIDS

05:14 caltelt has quit [Ping timeout: 252 seconds]

05:59 yurug has quit [Ping timeout: 252 seconds]

06:18 thomas_scrace has joined #ocaml

06:22 thomas_scrace has quit [Ping timeout: 272 seconds]

06:31 kakadu has joined #ocaml

06:38 yurug has joined #ocaml

06:57 malina has joined #ocaml

07:02 thomas_scrace has joined #ocaml

07:05 znz_jp13 has joined #ocaml

07:07 thomas_scrace has quit [Ping timeout: 252 seconds]

07:08 znz_jp13 has quit [Remote host closed the connection]

07:14 malina has quit [Remote host closed the connection]

07:27 _whitelogger has joined #ocaml

07:41 TheLemonMan has joined #ocaml

08:00 jnavila has joined #ocaml

08:01 Guest8490 is now known as awal

08:14 FreeBirdLjj has joined #ocaml

08:20 lopex has quit [Quit: Connection closed for inactivity]

08:29 orbifx has joined #ocaml

08:33 jnavila has quit [Ping timeout: 246 seconds]

08:34 thomas_scrace has joined #ocaml

08:38 thomas_scrace has quit [Ping timeout: 245 seconds]

08:42 mfp has joined #ocaml

09:20 orbifx has quit [Read error: Connection reset by peer]

09:20 orbifx has joined #ocaml

09:22 benaux has quit []

09:25 yurug has joined #ocaml

09:28 benaux has joined #ocaml

09:45 silver has joined #ocaml

10:05 orbifx has quit [Ping timeout: 252 seconds]

10:13 jnavila has joined #ocaml

10:24 yurug has quit [Ping timeout: 252 seconds]

10:26 yurug has joined #ocaml

10:33 yurug has quit [Ping timeout: 252 seconds]

10:50 TheRuralJuror has joined #ocaml

11:12 TheRuralJuror has quit [Remote host closed the connection]

11:13 Haudegen has joined #ocaml

11:30 _whitelogger has joined #ocaml

11:47 FreeBirdLjj has quit [Remote host closed the connection]

11:53 pierpal has quit [Quit: Poof]

11:54 pierpal has joined #ocaml

12:00 benaux has quit [Remote host closed the connection]

12:02 lopex has joined #ocaml

12:29 phvse has joined #ocaml

12:57 pierpal has quit [Read error: Connection reset by peer]

13:28 TheLemonMan has quit [Ping timeout: 252 seconds]

13:39 qlp has joined #ocaml

13:43 qlp has quit [Killed (Unit193 (Spam is not permitted on freenode.))]

13:46 ia0 has quit [Quit: reboot]

13:54 TheLemonMan has joined #ocaml

13:57 Haudegen has quit [Remote host closed the connection]

13:59 pierpal has joined #ocaml

14:00 benaux has joined #ocaml

14:03 pierpal has quit [Ping timeout: 245 seconds]

14:05 benaux has quit [Ping timeout: 252 seconds]

14:05 ia0 has joined #ocaml

14:15 JimmyRcom has joined #ocaml

14:21 JimmyRcom has quit [Ping timeout: 250 seconds]

14:27 pierpal has joined #ocaml

14:29 thomas_scrace has joined #ocaml

14:46 Haudegen has joined #ocaml

15:19 Haudegen has quit [Ping timeout: 272 seconds]

15:20 FreeBirdLjj has joined #ocaml

15:21 pierpal has quit [Quit: Poof]

15:21 pierpal has joined #ocaml

15:48 thomas_scrace has quit [Ping timeout: 252 seconds]

15:48 FreeBirdLjj has quit [Remote host closed the connection]

15:54 Haudegen has joined #ocaml

16:02 benaux has joined #ocaml

16:06 benaux has quit [Ping timeout: 272 seconds]

16:07 thomas_scrace has joined #ocaml

16:11 thomas_scrace has quit [Ping timeout: 240 seconds]

16:19 FreeBirdLjj has joined #ocaml

16:22 kalio has joined #ocaml

16:27 FreeBirdLjj has quit [Remote host closed the connection]

16:27 FreeBirdLjj has joined #ocaml

16:52 pierpal has quit [Quit: Poof]

16:53 pierpal has joined #ocaml

17:30 thomas_scrace has joined #ocaml

17:30 orbifx has joined #ocaml

17:32 Jesin has quit [Quit: Leaving]

17:34 thomas_scrace has quit [Ping timeout: 244 seconds]

17:39 Jesin has joined #ocaml

17:48 jnavila has quit [Ping timeout: 240 seconds]

17:49 pierpal has quit [Read error: Connection reset by peer]

17:49 pierpal has joined #ocaml

17:52 ohama has quit [Ping timeout: 244 seconds]

17:54 ohama has joined #ocaml

17:57 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]

17:57 FreeBirdLjj has quit [Remote host closed the connection]

17:58 kakadu has quit [Remote host closed the connection]

17:58 FreeBirdLjj has joined #ocaml

17:58 kakadu has joined #ocaml

17:58 troydm has joined #ocaml

18:02 benaux has joined #ocaml

18:02 FreeBirdLjj has quit [Ping timeout: 264 seconds]

18:09 Haudegen has quit [Remote host closed the connection]

18:38 Haudegen has joined #ocaml

18:38 randomA has quit [Ping timeout: 252 seconds]

18:41 randomA has joined #ocaml

18:41 randomA has quit [Client Quit]

18:44 thomas_scrace has joined #ocaml

18:49 thomas_scrace has quit [Ping timeout: 272 seconds]

19:01 pierpal has quit [Read error: Connection reset by peer]

19:02 benaux has quit [Remote host closed the connection]

19:04 pierpal has joined #ocaml

19:07 pierpal has quit [Read error: Connection reset by peer]

19:17 jnavila has joined #ocaml

19:27 Fare has joined #ocaml

19:27 Tashtari4 has joined #ocaml

19:30 Tashtari4 has quit [Remote host closed the connection]

19:37 zv has quit [Ping timeout: 252 seconds]

19:54 jbrown has joined #ocaml

20:20 jack5638 has quit [Ping timeout: 240 seconds]

20:22 phvse has quit [Remote host closed the connection]

20:26 jack5638 has joined #ocaml

20:30 benaux has joined #ocaml

20:30 benaux has quit [Read error: Connection reset by peer]

20:30 benaux has joined #ocaml

20:33 groovy2shoes has quit [Quit: moritura te salutat]

20:37 GreyFaceNoSpace has joined #ocaml

20:43 zv has joined #ocaml

20:44 orbifx has quit [Ping timeout: 240 seconds]

20:45 thomas_scrace has joined #ocaml

20:45 jao has joined #ocaml

20:49 thomas_scrace has quit [Ping timeout: 246 seconds]

20:53 schrsi has joined #ocaml

20:55 jnavila has quit [Remote host closed the connection]

21:03 Taggnostr2 has joined #ocaml

21:04 Taggnostr2 has quit [Remote host closed the connection]

21:10 neatonk has joined #ocaml

21:33 schrsi has quit [Quit: WeeChat 1.6]

21:38 silver_ has joined #ocaml

21:41 silver has quit [Ping timeout: 272 seconds]

21:55 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

21:55 zv has quit [Ping timeout: 272 seconds]

21:59 neatonk has quit [Ping timeout: 245 seconds]

22:03 kakadu has quit [Remote host closed the connection]

22:07 Red_Devil has joined #ocaml

22:07 Red_Devil has quit [Remote host closed the connection]

22:10 pierpal has joined #ocaml

22:16 pierpal has quit [Ping timeout: 246 seconds]

22:28 phvse has joined #ocaml

22:31 jao has quit [Ping timeout: 252 seconds]

22:45 thomas_scrace has joined #ocaml

22:50 thomas_scrace has quit [Ping timeout: 272 seconds]

22:53 pierpal has joined #ocaml

22:54 Fare has quit [Ping timeout: 246 seconds]

23:06 tumdedum22 has joined #ocaml

23:08 tumdedum22 has quit [Remote host closed the connection]

23:25 pierpal has quit [Ping timeout: 252 seconds]

23:44 d_s19 has joined #ocaml

23:45 d_s19 has quit [Remote host closed the connection]