00:50 <discocaml> <yunha9816> Can I turn off double semicolon in utop?

00:51 <discocaml> <hockletock> you can make a keyboard shortcut that adds ;; and submits the phrase but that's about it

00:52 <discocaml> <yunha9816> Oh thanks

00:53 <discocaml> <yunha9816> Is shortcut configured in ocaml or my system wide?

00:53 <discocaml> <hockletock> https://github.com/ocaml-community/utop/issues/237#issuecomment-396230517

01:01 <discocaml> <yunha9816> Thank you

07:43 <discocaml> <yunha9816> Does anybody have a experience in advent of code switch to ocaml from python?

10:50 <discocaml> <holmdunc> An implicit `;;` can be toggled on and off: https://gist.github.com/hcarty/b2dab5324d0d4344d771

11:14 <discocaml> <JM> Where has this been all my life 😍

11:14 <discocaml> <JM> (it goes in ~/.config/utop/init.ml in my config)

11:31 <discocaml> <holmdunc> I tweaked it a bit, including making the prompt reflect whether it's enabled: https://gist.github.com/frou/8ab47a7b10b6999329c6f37fe4144c85

12:49 <discocaml> <shoebum_kumar> where can I ask questions about eio?

13:28 <discocaml> <JM> There is no eio specific channel, so here is a good place to start. That would also allow whoever is using the IRC bridge to chime it.

13:33 <discocaml> <shoebum_kumar> ok cool! so my problem is I want to create a repl using Eio and I want inputs to have a specific format and output to have a specific format using stdin and stdout from the `Stdenv` helps but I cannot modify the string.

13:33 <discocaml> <shoebum_kumar> ie. I want

13:33 <discocaml> <shoebum_kumar> ```bash

13:33 <discocaml> <shoebum_kumar> >> shubham

13:33 <discocaml> <shoebum_kumar> --||output||--> shubham

13:33 <discocaml> <shoebum_kumar> ```

13:33 <discocaml> <shoebum_kumar> I am getting this

13:33 <discocaml> <shoebum_kumar> ```bash

13:33 <discocaml> <shoebum_kumar> ❯ dune exec -- ./bin/main.exe

13:33 <discocaml> <shoebum_kumar> sad

13:33 <discocaml> <shoebum_kumar> +--||output||--> : wrote "sad"

13:33 <discocaml> <shoebum_kumar> sadasd

13:33 <discocaml> <shoebum_kumar> +--||output||--> : wrote "sadasd"

13:33 <discocaml> <shoebum_kumar> sadsaddsadsa

13:33 <discocaml> <shoebum_kumar> +--||output||--> : wrote "sadsaddsadsa"

13:33 <discocaml> <shoebum_kumar> sadasdsdasad

13:33 <discocaml> <shoebum_kumar> +--||output||--> : wrote "sadasdsdasad"

13:33 <discocaml> <shoebum_kumar> sadsaddsasdasd

13:33 <discocaml> <shoebum_kumar> +--||output||--> : wrote "sadsaddsasdasd"

13:33 <discocaml> <shoebum_kumar> assaddsasdsadsdsasaassadasdsadsd

13:33 <discocaml> <shoebum_kumar> +--||output||--> : wrote "assaddsasdsadsdsasaassadasdsadsd"

13:33 <discocaml> <shoebum_kumar> saddsadsda

13:33 <discocaml> <shoebum_kumar> +--||output||--> : wrote "saddsadsda"

13:33 <discocaml> <shoebum_kumar> ^C

13:33 <discocaml> <shoebum_kumar> ```

13:34 <discocaml> <shoebum_kumar> this was before I made use of stdout from stdenv

13:34 <discocaml> <shoebum_kumar> I was using stdout from `let stdout = Eio_mock.Flow.make "--||output||--> " `

14:01 <discocaml> <shoebum_kumar> this is the mwe

14:01 <discocaml> <shoebum_kumar> ```ocaml

14:01 <discocaml> <shoebum_kumar> let repl env =

14:01 <discocaml> <shoebum_kumar> let stdin = Eio.Stdenv.stdin env in

14:01 <discocaml> <shoebum_kumar> let stdout = Eio.Stdenv.stdout env in

14:01 <discocaml> <shoebum_kumar> let rec loop () =

14:01 <discocaml> <shoebum_kumar> let reader = Eio.Buf_read.of_flow stdin ~max_size:1_000 in

14:01 <discocaml> <shoebum_kumar> let str = Eio.Buf_read.line reader in

14:01 <discocaml> <shoebum_kumar> let write writer = Eio.Buf_write.string writer str in

14:01 <discocaml> <shoebum_kumar> Eio.Buf_write.with_flow stdout write;

14:01 <discocaml> <shoebum_kumar> loop ()

14:01 <discocaml> <shoebum_kumar> in

14:01 <discocaml> <shoebum_kumar> loop ()

14:01 <discocaml> <shoebum_kumar> ```

14:06 <discocaml> <shoebum_kumar> ok so I am able solve the later part

14:06 <discocaml> <shoebum_kumar> ```ocaml

14:06 <discocaml> <shoebum_kumar> ❯ dune exec -- ./bin/main.exe

14:06 <discocaml> <shoebum_kumar> shubham

14:06 <discocaml> <shoebum_kumar> --|output|--> shubham

14:06 <discocaml> <shoebum_kumar> .exit

14:06 <discocaml> <shoebum_kumar> ```

14:06 <discocaml> <shoebum_kumar> I need to format the former part

14:14 <discocaml> <._null._> Please don't post long code blocks, the bridge to IRC doesn't like them

14:37 <discocaml> <shoebum_kumar> Noted

14:46 <discocaml> <contextfreebeer> is it possible to inline calls to foreign functions?

15:05 <discocaml> <shoebum_kumar> Found the solution

15:05 <discocaml> <shoebum_kumar> I had to add a printf before reading the stdin

15:12 <discocaml> <contextfreebeer> reading through the FFI section of the manual there doesn't look like there is any way to achieve this, I think the linker is in the best position to do this but AFAICT `ld` doesn't offer this option, nor any other major linker for that matter

15:15 <dh`> there is some kind of link-time-optimization plugin interface in at least gnu ld that you could misuse for that

15:16 <dh`> but it would require support in the foreign library

15:16 <dh`> and since FFI calls are usually going to be into shared libraries it isn't going to be very workable anyway

15:17 <discocaml> <contextfreebeer> yeah, pass on that one, I was mainly just curious

15:18 <discocaml> <contextfreebeer> it would be nice to have some kind of support for inline assembly, I saw an open PR + a talk about an implementation of that, unsure of the status or whether people generally want that in the compiler though

15:19 <discocaml> <contextfreebeer> it's closed actually

15:31 <discocaml> <contextfreebeer> hmm, the containing function is not super complicated though and the compiler chooses not to inline it, could just implement all of it in an external function, it doesn't allocate so I think the overhead should end up being exactly the same? I've been meaning to learn more about the FFI anyway so it's a worthwhile exercise even if I decide not to use it

17:50 <discocaml> <_shakky> hello guys

17:50 <discocaml> <_shakky> i'm learning ocaml not very hard level

17:50 <discocaml> <_shakky> i need someone to help me with a function to understand how it works

17:50 <discocaml> <_shakky> step by step, if someone wants to help me come dms, thx in advance it's about binary tree i don't think it's super hard im stuck cuz i'm not good with recursivity

17:51 <discocaml> <._null._> Ask the question here directly (but don't paste code blocks)

17:51 <discocaml> <_shakky> what is code blocks ?

17:52 <discocaml> <_shakky> i can screen ? wdym

17:52 <discocaml> <_shakky> i can screenshot ? wdym

17:52 <discocaml> <._null._> Don't copy paste too much code, the bridge doesn't like it

17:53 <discocaml> <._null._> Or go to #beginners

17:53 <discocaml> <_shakky> about 10 lines

17:53 <discocaml> <_shakky> of code

17:53 <discocaml> <_shakky> short lines

17:53 <discocaml> <_shakky> is that too much ?

17:53 <discocaml> <_shakky> oh yeah i can go there if you want

17:53 <discocaml> <._null._> Too many lines, yes. Go to the other channel, it will be fine there

21:34 <discocaml> <regularspatula> Is all the magic in the Lazy module to make it fast or to get around some type checking limitations or something like that?

21:36 <discocaml> <octachron> Only for optimisation's sake. Otherwise, you can reimplement `Lazy` yourself without troubles.

21:39 <discocaml> <regularspatula> Thanks. I like this quote in the file: WARNING: some purple magic is going on here. Do not take this file as an example of how to program in OCaml."

21:39 <discocaml> <octachron> Basically, the runtime tries to represent a forced `Lazy.t` as the computed value without any indirection.

21:39 <discocaml> <regularspatula> I see, thanks

22:43 <companion_cube> Controversial opinion: lazy is mostly useless now :p

22:44 <companion_cube> It's not thread safe, we need a thread safe alternative