#ocaml on 2021-03-22 — irc logs at freenode.irclog.whitequark.org

2020-09-11 13:16 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:07 Haudegen has quit [Ping timeout: 256 seconds]

00:25 zebrag has quit [Quit: Konversation terminated!]

00:25 zebrag has joined #ocaml

00:27 tane has quit [Quit: Leaving]

00:33 Tuplanolla has quit [Quit: Leaving.]

00:40 <d_bot_> <xShadow> Hey guys, I need some extra help and I’m looking for a tutor. I read #rules and I understand I shouldn’t PM any individual person, but do you guys know someone who offers this service?

01:20 vicfred has quit [Quit: Leaving]

01:21 tizoc has quit [Quit: Coyote finally caught me]

01:25 zebrag has quit [Quit: Konversation terminated!]

01:25 zebrag has joined #ocaml

01:26 vicfred has joined #ocaml

01:34 xandkar has quit [Ping timeout: 240 seconds]

01:40 nfc has joined #ocaml

01:42 mfp has quit [Ping timeout: 240 seconds]

01:43 tizoc has joined #ocaml

01:44 rock64 has quit [Ping timeout: 256 seconds]

01:45 rock64 has joined #ocaml

01:49 bjorkintosh has joined #ocaml

01:52 cantstanya has quit [Ping timeout: 268 seconds]

01:54 cantstanya has joined #ocaml

02:42 rock64 has quit [Ping timeout: 264 seconds]

02:44 rock64 has joined #ocaml

03:12 elusive has quit [Ping timeout: 260 seconds]

04:14 haesbaert has quit [Quit: Lost terminal]

04:21 waleee-cl has quit [Quit: Connection closed for inactivity]

04:25 zebrag has quit [Quit: Konversation terminated!]

04:25 zebrag has joined #ocaml

05:10 zebrag has quit [Quit: Konversation terminated!]

05:44 narimiran has joined #ocaml

07:01 decentpenguin has quit [Read error: Connection reset by peer]

07:03 decentpenguin has joined #ocaml

07:18 wonko7 has joined #ocaml

07:19 snowpanda has quit [Quit: Leaving...]

07:27 Haudegen has joined #ocaml

07:31 benc has joined #ocaml

07:49 shawnw has joined #ocaml

07:49 hosewiejacke has joined #ocaml

07:54 lisq has quit [Remote host closed the connection]

07:56 lisq has joined #ocaml

08:23 borne has joined #ocaml

08:26 nicoo has quit [Remote host closed the connection]

08:27 nicoo has joined #ocaml

09:21 bartholin has joined #ocaml

09:57 _whitelogger_ has quit [Remote host closed the connection]

09:57 _whitelogger_ has joined #ocaml

09:59 osa1 has quit [Ping timeout: 240 seconds]

09:59 osa1_ has joined #ocaml

10:05 hosewiejacke has quit [Ping timeout: 276 seconds]

10:19 osa1_ is now known as osa1

10:20 xandkar has joined #ocaml

10:22 hosewiejacke has joined #ocaml

10:24 mfp has joined #ocaml

10:30 tane has joined #ocaml

11:03 henistein has joined #ocaml

11:20 dhil has joined #ocaml

11:23 benc has quit [Remote host closed the connection]

11:24 benc has joined #ocaml

11:35 Haudegen has quit [Quit: Bin weg.]

12:09 danielsou has joined #ocaml

12:12 <danielsou> Hello. Which book do you guys recommend to someone who never touched a functional programming language and want to learn it by learning OCaml? xD

12:14 <hosewiejacke> Ocaml from the Very Beginning

12:22 danielsou has quit [Quit: Connection closed]

12:31 <d_bot_> <rw> https://www.cs.cornell.edu/courses/cs3110/2021sp/textbook/

12:31 <d_bot_> <rw> I also like this Cornell textbook

12:32 hosewiejacke has quit [Ping timeout: 240 seconds]

12:35 hosewiejacke has joined #ocaml

12:41 motherfsck has joined #ocaml

12:55 Haudegen has joined #ocaml

12:59 <d_bot_> <TheBloodlessMan> These are also quite good https://www.cl.cam.ac.uk/teaching/1920/FoundsCS/focs-201920-v1.1.pdf

13:06 raver has quit [Ping timeout: 240 seconds]

13:16 narimiran has quit [Quit: leaving]

13:17 narimiran has joined #ocaml

13:19 shawnw has quit [Ping timeout: 265 seconds]

13:36 henistein has quit [Quit: Connection closed]

13:47 jlr has joined #ocaml

13:54 motherfsck has quit [Quit: quit]

14:00 lisq has quit [Quit: lisq]

14:00 lisq has joined #ocaml

14:25 zebrag has joined #ocaml

14:31 mxns has joined #ocaml

14:39 vicfred has quit [Quit: Leaving]

14:41 vicfred has joined #ocaml

14:45 haesbaert has joined #ocaml

14:47 Fardale1 is now known as Fardale

15:17 <sim642> I hoped that `opam upgrade --locked` would upgrade all my switch dependencies to the versions specified by the lock file, but apparently it just wants to upgrade everything to the newest version available. How do I actually get what I need?

15:30 zebrag has quit [Ping timeout: 256 seconds]

15:31 zebrag has joined #ocaml

15:36 hosewiejacke has quit [Read error: Connection reset by peer]

15:36 hosewiejacke2 has joined #ocaml

15:46 mxns has quit [Ping timeout: 256 seconds]

15:50 cantstanya has quit [Ping timeout: 268 seconds]

15:51 noonien has quit [Ping timeout: 276 seconds]

15:53 cantstanya has joined #ocaml

16:11 mxns has joined #ocaml

16:15 vicfred has quit [Quit: Leaving]

16:15 elusive has joined #ocaml

16:16 vicfred has joined #ocaml

16:23 benc has quit []

16:33 noonien has joined #ocaml

16:38 cantstanya has quit [Remote host closed the connection]

16:39 cantstanya has joined #ocaml

16:40 Haudegen has quit [Quit: Bin weg.]

16:46 waleee-cl has joined #ocaml

16:48 Tuplanolla has joined #ocaml

17:00 hosewiejacke2 has quit [Ping timeout: 240 seconds]

17:14 elusive has quit [Quit: Leaving]

17:25 zebrag has quit [Quit: Konversation terminated!]

17:25 zebrag has joined #ocaml

17:45 hosewiejacke has joined #ocaml

18:01 bartholin has quit [Quit: Leaving]

18:10 mxns has quit [Ping timeout: 256 seconds]

18:13 mxns has joined #ocaml

18:19 mxns has quit [Ping timeout: 244 seconds]

18:32 vicfred has quit [Quit: Leaving]

18:33 Haudegen has joined #ocaml

18:40 mxns has joined #ocaml

18:44 mxns has quit [Ping timeout: 240 seconds]

18:50 mxns has joined #ocaml

18:58 mxns has quit [Ping timeout: 260 seconds]

19:03 mxns has joined #ocaml

19:26 jlr has quit [Remote host closed the connection]

20:09 hosewiejacke has quit [Ping timeout: 245 seconds]

20:25 zebrag has quit [Quit: Konversation terminated!]

20:26 zebrag has joined #ocaml

20:47 wonko7 has quit [Ping timeout: 245 seconds]

20:56 narimiran has quit [Ping timeout: 264 seconds]

21:02 wonko7 has joined #ocaml

21:06 henistein has joined #ocaml

21:08 nullcone has quit [Quit: Connection closed for inactivity]

21:25 zebrag has quit [Quit: Konversation terminated!]

21:25 zebrag has joined #ocaml

21:33 hosewiejacke has joined #ocaml

21:34 hosewiejacke has quit [Client Quit]

21:42 borne has quit [Ping timeout: 265 seconds]

21:47 borne has joined #ocaml

21:49 wonko7 has quit [Ping timeout: 256 seconds]

21:53 dan64- has joined #ocaml

21:56 dan64 has quit [Ping timeout: 240 seconds]

21:58 wonko7 has joined #ocaml

22:03 wonko7 has quit [Ping timeout: 245 seconds]

22:08 oriba has joined #ocaml

22:09 mxns has quit [Ping timeout: 240 seconds]

22:12 mxns has joined #ocaml

22:16 mxns has quit [Ping timeout: 244 seconds]

22:22 brj has joined #ocaml

22:25 Serpent7776 has quit [Quit: leaving]

22:26 <brj> hello, does OCaml have ad-hoc polymorphism? I have a type for which I'd like to define +

22:27 <brj> in Haskell, I would've just had it an instance of Num but I'm unsure of what to do in OCaml (or if it is possible at all)

22:28 <brj> had=made*

22:28 henistein has quit [Quit: Connection closed]

22:32 <companion_cube> there is no ad-hoc polymorphism

22:33 <brj> ah :/

22:33 <brj> thanks anyway!

22:34 <companion_cube> you can define `+` locally and use scoping

22:35 <companion_cube> for example zarith (GMP bindings) defines (+), (-), etc.

22:35 <companion_cube> so you can do Z.(a + b) and the + is locally overriden

22:36 mxns has joined #ocaml

22:41 mxns has quit [Ping timeout: 272 seconds]

22:48 mxns has joined #ocaml

22:55 mxns has quit [Ping timeout: 264 seconds]

22:58 borne has quit [Ping timeout: 272 seconds]

23:07 mxns has joined #ocaml

23:12 mxns has quit [Ping timeout: 256 seconds]

23:31 Tuplanolla has quit [Quit: Leaving.]

23:37 tane has quit [Quit: Leaving]

23:37 vicfred has joined #ocaml