#ocaml on 2020-06-29 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:05 kleisli_ has quit [Remote host closed the connection]

00:06 kleisli_ has joined #ocaml

00:35 mfp has quit [Ping timeout: 246 seconds]

00:38 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

00:42 superherointj has quit [Quit: Leaving]

00:56 rock64 has quit [Ping timeout: 246 seconds]

00:58 rock64 has joined #ocaml

01:09 _whitelogger has joined #ocaml

01:18 snowpanda has joined #ocaml

01:19 <snowpanda> let f p1 ... pn = e1 in e2 (* function as part of let expression *) - What does this do?

01:19 <snowpanda> or rather, what are the semantics of that?

01:38 <companion_cube> well it defines `f`, a function, in the scope of `e2`

01:38 <companion_cube> when `e2` is evaluated the function is removed from the scope

01:41 <vicfred> how do I pass two arguments to printf? printf "%c %c" (s.[i],t[i]) doesnt work

01:44 <vicfred> printf "%c%c" s.[i] t.[i]

01:44 <vicfred> worked

01:46 <companion_cube> yep

01:47 <vicfred> https://atcoder.jp/contests/abc148/submissions/14831805 here how do I print an \n? putting printf "\n" returned an error which I dont understand

01:48 <companion_cube> printf …; printf "\n" should definitely work?

01:49 <vicfred> I am learning ocaml live on twitch if someone want to watch

01:51 <snowpanda> companion_cube: I'm reading https://www.cs.cornell.edu/courses/cs3110/2020sp/textbook/data/pattern_matching_functions.html and trying to understand what it's saying

01:52 <snowpanda> Is that saying that a function's argument can be a pattern?

01:52 <snowpanda> but then when I try let f x::xs = xs, I get a syntax error

01:54 <companion_cube> `let f (x::xs) = …`

01:55 <companion_cube> but it's not too great since `f` will fail on `[]`

01:56 <snowpanda> companion_cube: Oh I see. But that page is saying that function arguments can be patterns, it's just that for a function arg that's a pattern, it has to be wrapped in parens

01:56 <snowpanda> is that right?

01:58 <companion_cube> yep

01:58 <companion_cube> if you write `let f (x,y) = …` it actually uses a tuple pattern

02:01 <snowpanda> companion_cube: I see, thanks

03:02 stux|RC has quit [Quit: Aloha!]

03:35 stux|RC has joined #ocaml

03:35 waleee-cl has quit [Quit: Connection closed for inactivity]

04:22 mbuf has joined #ocaml

04:27 jmagnusj has joined #ocaml

04:30 jmagnusj has quit [Client Quit]

04:41 bartholin has quit [Quit: Leaving]

05:14 malc_ has joined #ocaml

05:48 malc_ has quit [Quit: ERC (IRC client for Emacs 28.0.50)]

05:52 reynir has joined #ocaml

05:54 narimiran has joined #ocaml

05:59 osa1 has joined #ocaml

06:17 vicfred has quit [Quit: Leaving]

06:22 vikfret has joined #ocaml

06:31 ggole has joined #ocaml

06:44 vbmithr has joined #ocaml

07:20 chripell has joined #ocaml

07:26 dborisog has joined #ocaml

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

07:30 Haudegen has joined #ocaml

07:31 Anarchos has joined #ocaml

08:23 olle has joined #ocaml

08:42 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

08:51 jnavila has joined #ocaml

09:21 mfp has joined #ocaml

10:58 Anarchos has joined #ocaml

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

12:17 malc_ has joined #ocaml

12:28 Anarchos has quit [Remote host closed the connection]

12:58 jnavila has quit [Ping timeout: 272 seconds]

13:15 kleisli_ has quit [Ping timeout: 260 seconds]

13:22 Anarchos has joined #ocaml

13:24 Anarchos has quit [Client Quit]

13:34 Haudegen has joined #ocaml

13:37 dckc has quit [Ping timeout: 240 seconds]

13:37 dckc has joined #ocaml

13:46 labor[m] has quit [Quit: killed]

13:46 lnxw37d4 has quit [Quit: killed]

13:46 dash has quit [Quit: killed]

13:46 prsafont[m] has quit [Quit: killed]

13:46 jimt[m] has quit [Quit: killed]

13:46 bglm[m] has quit [Quit: killed]

13:46 peddie has quit [Quit: killed]

13:46 khady[m] has quit [Quit: killed]

13:46 camlriot42 has quit [Quit: killed]

13:46 sepp2k has quit [Quit: killed]

13:46 damienkrine[m] has quit [Quit: killed]

13:46 foocraft[m] has quit [Quit: killed]

13:46 lubegasimon[m] has quit [Quit: killed]

13:46 Manis[m] has quit [Quit: killed]

13:46 aspiwack[m] has quit [Quit: killed]

13:46 cgenie[m] has quit [Quit: killed]

13:46 aecepoglu[m] has quit [Quit: killed]

13:46 flux1 has quit [Quit: killed]

13:52 kleisli_ has joined #ocaml

13:56 muskan has joined #ocaml

14:04 muskan has quit [Ping timeout: 245 seconds]

14:05 aspiwack[m] has joined #ocaml

14:15 <olle> no topics today?

14:15 <olle> summer holiday?

14:19 dash has joined #ocaml

14:19 labor[m] has joined #ocaml

14:19 prsafont[m] has joined #ocaml

14:19 lnxw37d4 has joined #ocaml

14:19 bglm[m] has joined #ocaml

14:19 flux has joined #ocaml

14:19 jimt[m] has joined #ocaml

14:19 khady[m] has joined #ocaml

14:19 camlriot42 has joined #ocaml

14:19 peddie has joined #ocaml

14:19 sepp2k has joined #ocaml

14:19 damienkrine[m] has joined #ocaml

14:19 aecepoglu[m] has joined #ocaml

14:19 lubegasimon[m] has joined #ocaml

14:19 cgenie[m] has joined #ocaml

14:19 foocraft[m] has joined #ocaml

14:19 Manis[m] has joined #ocaml

14:36 waleee-cl has joined #ocaml

15:20 khady[m] has quit [Quit: Idle for 30+ days]

15:24 osa1 has quit [Quit: osa1]

15:25 kleisli_ has quit [Ping timeout: 260 seconds]

15:29 <dmbaturin> olle: Myself I'm a bit too busy coding. :)

16:07 <olle> ah

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

16:20 osa1 has joined #ocaml

16:34 infinity0 has joined #ocaml

16:35 sagax has quit [Ping timeout: 260 seconds]

16:39 muskan has joined #ocaml

17:03 olle has quit [Ping timeout: 240 seconds]

17:15 Haudegen has joined #ocaml

17:36 nicoo has quit [Ping timeout: 240 seconds]

17:49 nicoo has joined #ocaml

18:05 Retropikzel has joined #ocaml

18:14 chripell has quit [Ping timeout: 240 seconds]

18:22 <mbuf> Is there a CLI tool to read S-exp from a file?

18:23 <mbuf> Similar to what jq does for JSON files.

18:27 olle has joined #ocaml

18:36 dborisog has quit [Ping timeout: 264 seconds]

18:36 tane has joined #ocaml

18:45 bartholin has joined #ocaml

18:51 Retropikzel has quit [Quit: Vision[0.10.3]: i've been blurred!]

18:58 sagax has joined #ocaml

19:00 nicoo has quit [Ping timeout: 240 seconds]

19:03 nicoo has joined #ocaml

19:04 mbuf has quit [Quit: Leaving]

19:08 <flux> haven't heard of one

19:08 <flux> convert it to json first 🤔

19:19 malc_ has quit [Ping timeout: 256 seconds]

19:38 olle has quit [Ping timeout: 260 seconds]

19:43 waleee-cl has quit [Quit: Connection closed for inactivity]

19:47 Anarchos has joined #ocaml

19:56 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

20:00 malc_ has joined #ocaml

20:05 muskan has quit [Ping timeout: 245 seconds]

20:26 osa1 has quit [Quit: osa1]

20:39 h11 has quit [Read error: Connection reset by peer]

20:39 h11 has joined #ocaml

20:52 ggole has quit [Quit: Leaving]

21:00 <rock64> which syntax would you use for ownership?

21:10 Serpent7776 has quit [Quit: leaving]

21:26 narimiran has quit [Quit: leaving]

21:51 tane has quit [Quit: Leaving]

21:59 waleee-cl has joined #ocaml

22:02 malc_ has quit [Ping timeout: 256 seconds]

22:30 vicfred has joined #ocaml

22:39 vikfret has quit [Quit: Leaving]

22:53 Haudegen has quit [Ping timeout: 240 seconds]

23:26 kleisli_ has joined #ocaml

23:53 leah2 has quit [Ping timeout: 260 seconds]