#ocaml on 2020-06-28 — 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 bartholin has quit [Ping timeout: 240 seconds]

00:31 zmt00 has quit [Ping timeout: 240 seconds]

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

00:55 mfp has quit [Ping timeout: 240 seconds]

00:57 rock64 has quit [Ping timeout: 258 seconds]

00:58 rock64 has joined #ocaml

01:04 jbrown has quit [Ping timeout: 272 seconds]

01:13 _tjr_ has quit [Read error: Connection reset by peer]

01:15 _tjr_ has joined #ocaml

01:35 inkbottle has quit [Quit: Konversation terminated!]

01:36 inkbottle has joined #ocaml

01:41 stux|RC has quit [Quit: Aloha!]

01:44 stux|RC has joined #ocaml

02:12 <vicfred> Hi, I have a single source file program with no external libraries like this one, is there a simpler way to compile it and run it instead of ocamlopt and then ./a.out? https://atcoder.jp/contests/abc041/submissions/14793038

02:14 <p4bl0> like running `ocaml yourfile.ml` ?

02:14 <vicfred> thanks

02:15 <p4bl0> yw :)

02:35 inkbottle has quit [Quit: Konversation terminated!]

02:35 inkbottle has joined #ocaml

02:52 bartholin has joined #ocaml

03:35 zv has joined #ocaml

03:52 kleisli__ has quit [Remote host closed the connection]

03:52 kleisli has joined #ocaml

03:58 angerman has quit [Read error: Connection reset by peer]

03:58 angerman has joined #ocaml

04:01 zv has quit [Quit: WeeChat 2.8]

04:19 kleisli has quit [Ping timeout: 260 seconds]

04:22 mbuf has joined #ocaml

04:27 mbuf has quit [Remote host closed the connection]

04:27 mbuf has joined #ocaml

04:35 inkbottle has quit [Quit: Konversation terminated!]

04:35 inkbottle has joined #ocaml

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

04:44 kleisli has joined #ocaml

04:58 <vicfred> whats the |> here? https://atcoder.jp/contests/abc041/submissions/2139243

05:02 <companion_cube> `x |> f` is like `f x`

05:02 <companion_cube> it's a pipeline operator

05:02 <companion_cube> `1 |> f |> g |> h` is like `h (g (f 1))`

05:05 bitwinery has joined #ocaml

05:05 bartholin has quit [Quit: Leaving]

05:06 bitwinery has quit [Remote host closed the connection]

05:06 bitwinery has joined #ocaml

05:06 <vicfred> cool, thanks

05:30 bitwinery has quit [Quit: Leaving]

05:41 <vicfred> is @@ like $ in haskell?

05:41 <vicfred> https://atcoder.jp/contests/abc041/submissions/8437042

05:41 leah2 has quit [Ping timeout: 260 seconds]

05:47 <companion_cube> yep, @@ is like $

05:53 sagax has quit [Ping timeout: 246 seconds]

05:54 leah2 has joined #ocaml

06:24 kleisli_ has joined #ocaml

06:26 kleisli has quit [Ping timeout: 240 seconds]

06:37 waleee-cl has joined #ocaml

06:40 ArthurStrong has quit [Quit: leaving]

07:14 osa1 has joined #ocaml

07:15 sagax has joined #ocaml

07:35 inkbottle has quit [Quit: Konversation terminated!]

07:35 inkbottle has joined #ocaml

08:20 snowpanda has quit [Quit: Leaving...]

09:02 waleee-cl has quit [Quit: Connection closed for inactivity]

09:31 raver has joined #ocaml

09:36 mfp has joined #ocaml

09:40 Haudegen has joined #ocaml

09:45 ggole has joined #ocaml

10:43 jbrown has joined #ocaml

11:08 vikfret has joined #ocaml

11:15 tane has joined #ocaml

12:33 malc_ has joined #ocaml

12:37 bartholin has joined #ocaml

12:42 osa1_ has joined #ocaml

12:43 osa1_ has quit [Client Quit]

12:47 osa1_ has joined #ocaml

12:59 osa1_ has quit [Quit: osa1_]

13:23 <ahf> 26

13:42 jbrown has quit [Ping timeout: 246 seconds]

14:00 jbrown has joined #ocaml

14:25 <mbuf> What does "pfs" stand for in german_pfs at http://cubicle.lri.fr/#overview?

14:30 kuler has joined #ocaml

14:31 kuler has left #ocaml [#ocaml]

14:37 waleee-cl has joined #ocaml

14:44 osa1 has quit [Quit: osa1]

14:44 osa1 has joined #ocaml

14:46 infinity0 has quit [Remote host closed the connection]

14:50 osa1 has quit [Quit: osa1]

14:50 osa1 has joined #ocaml

14:52 <schlaftier> mbuf: Probably this: https://www.it.uu.se/research/docs/fm/apv/tools/pfs/

14:52 osa1_ has joined #ocaml

14:52 osa1_ has quit [Client Quit]

14:52 rand has joined #ocaml

14:52 <schlaftier> (it is referenced in the first link under Publications)

15:10 <mbuf> schlaftier, thanks!

15:16 mfp has quit [Ping timeout: 265 seconds]

15:23 mfp has joined #ocaml

15:24 tmhoang has quit [Quit: Alpine Linux, the security-oriented, lightweight Linux distribution]

15:27 tmhoang has joined #ocaml

15:55 rand has quit [Ping timeout: 260 seconds]

16:45 jnavila has joined #ocaml

16:54 vicfred has quit [Ping timeout: 246 seconds]

17:08 kleisli_ has quit [Ping timeout: 265 seconds]

17:23 malc_ has quit [Ping timeout: 260 seconds]

17:29 oriba has joined #ocaml

17:44 vikfret has quit [Quit: Leaving]

17:47 andreas303 has quit [Ping timeout: 240 seconds]

17:50 andreas303 has joined #ocaml

18:11 malc_ has joined #ocaml

18:17 osa1 has quit [Remote host closed the connection]

18:21 _tjr_ has quit [Changing host]

18:21 _tjr_ has joined #ocaml

18:50 Anarchos has joined #ocaml

18:51 peterbb has joined #ocaml

18:54 peterbb has quit [Client Quit]

18:54 peterbb has joined #ocaml

18:58 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

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

19:25 ggole has quit [Quit: Leaving]

19:47 malc_ has quit [Remote host closed the connection]

20:16 waleee-cl has joined #ocaml

20:47 Niamkik has quit [Ping timeout: 246 seconds]

20:49 Niamkik has joined #ocaml

20:50 olle has joined #ocaml

21:06 jnavila has quit [Quit: Konversation terminated!]

21:17 kleisli_ has joined #ocaml

21:19 mbuf has quit [Quit: Leaving]

21:23 olle has quit [Ping timeout: 265 seconds]

21:24 tane has quit [Quit: Leaving]

22:39 superherointj has joined #ocaml

23:00 Haudegen has quit [Ping timeout: 264 seconds]

23:11 reynir has quit [Ping timeout: 260 seconds]

23:44 vicfred has joined #ocaml