#ocaml on 2024-04-11 — irc logs at libera.irclog.whitequark.org

2023-12-18 15:47 Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.1.1 released: https://ocaml.org/releases/5.1.1 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

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

00:20 sroso has joined #ocaml

00:28 pi3ce has quit [Ping timeout: 256 seconds]

00:28 jabuxas has quit [Ping timeout: 246 seconds]

01:15 n8n has quit [Ping timeout: 272 seconds]

04:44 <discocaml> <myrlhex> Is there a way to type this? ```ocaml

04:44 <discocaml> <myrlhex> let gensym: 'a. 'a -> ('a * int) ref =

04:44 <discocaml> <myrlhex> let state = ref (-1) in

04:44 <discocaml> <myrlhex> fun (type n) (name: n): (n * int) ref ->

04:44 <discocaml> <myrlhex> state := !state + 1;

04:44 <discocaml> <myrlhex> ref (name, !state)

04:44 <discocaml> <myrlhex> ```

04:44 <discocaml> <myrlhex> Error: This definition has type 'a -> ('a * int) ref

04:44 <discocaml> <myrlhex> which is less general than 'a0. 'a0 -> ('a0 * int) ref

04:44 <discocaml> <myrlhex> ```

04:52 <discocaml> <myrlhex> One way is ```ocaml

04:52 <discocaml> <myrlhex> open (struct

04:52 <discocaml> <myrlhex> let state = ref (-1)

04:52 <discocaml> <myrlhex> let gensym name =

04:52 <discocaml> <myrlhex> state := !state + 1;

04:52 <discocaml> <myrlhex> ref (name, !state)

04:52 <discocaml> <myrlhex> end : sig

04:52 <discocaml> <myrlhex> val gensym: 'name -> ('name * int) ref

04:52 <discocaml> <myrlhex> end)

04:52 <discocaml> <myrlhex> ```

04:52 <discocaml> <myrlhex> but too much boilerplate :v

06:02 nkatte has quit [Remote host closed the connection]

06:17 gentauro has quit [Read error: Connection reset by peer]

06:20 Serpent7776 has joined #ocaml

06:23 gentauro has joined #ocaml

06:36 sroso has quit [Read error: Connection reset by peer]

06:41 sroso has joined #ocaml

06:58 sroso has quit [Read error: Connection reset by peer]

07:01 sroso has joined #ocaml

07:04 sroso has quit [Read error: Connection reset by peer]

07:38 olle has joined #ocaml

07:40 sroso has joined #ocaml

07:53 n8n has joined #ocaml

08:18 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

08:19 wagle has joined #ocaml

08:50 neiluj has joined #ocaml

08:52 <discocaml> <_ggole> ```ocaml

08:52 <discocaml> <_ggole> let state = ref (-1)

08:52 <discocaml> <_ggole> let gensym : 'a. 'a -> ('a * int) ref =

08:52 <discocaml> <_ggole> fun name ->

08:52 <discocaml> <_ggole> incr state;

08:52 <discocaml> <_ggole> ref (name, !state)

08:52 <discocaml> <_ggole> ```

08:53 <neiluj> hi! what do you think of this way of having record fields whose type depends on a module satisfying a certain module signature: https://bpa.st/5RGA?

08:53 <neiluj> have you used/seen this pattern?

08:56 <discocaml> <_ggole> It's the value restriction biting you here; it's quite conservative about the kind of expressions that are allowed on the RHS

08:59 dnh has joined #ocaml

09:59 <discocaml> <lokasku> I've installed an ocaml package with nix (it's the same as with opam), I have to do something special in the project to add it now that it's installed, because open ModuleName doesn't work.

10:00 <discocaml> <._null._> Add it as a dependency to dune

10:02 <discocaml> <lokasku> ` (depends ocaml dune dream)` where `dream` is the name of my package ?

10:03 <discocaml> <._null._> Yes (not sure whether ocaml and dune are really needed since they are needed to read the file in the first place, but thye won't hurt)

10:04 <discocaml> <lokasku> I still can't use `Dream`

10:04 <discocaml> <lokasku> ```ocaml

10:04 <discocaml> <lokasku> open Dream

10:04 <discocaml> <lokasku>

10:04 <discocaml> <lokasku> let () =

10:04 <discocaml> <lokasku> Dream.run (fun _ ->

10:04 <discocaml> <lokasku> Dream.html "Good morning, world!")

10:04 <discocaml> <lokasku> ```

10:04 <discocaml> <lokasku> File "bin/main.ml", line 1, characters 5-10:

10:04 <discocaml> <lokasku> 1 | open Dream

10:04 <discocaml> <lokasku> ^^^^^

10:04 <discocaml> <lokasku> Error: Unbound module Dream

10:04 <discocaml> <lokasku> ```

10:05 <discocaml> <._null._> Please don't post code blocks in this channel, the bridge to IRC doesn't like them

10:05 <discocaml> <lokasku> Sorry

10:06 <discocaml> <._null._> How are you running your file ?

10:07 <discocaml> <._null._> Oh, wait; you need to add it to the dune files, not just dune-project

10:07 <discocaml> <lokasku> WIth `dune exer bin/main.exe`

10:07 <discocaml> <lokasku> But how, I'm a newbie

10:07 <discocaml> <._null._> Also, I guess ocaml and dune make sense in dune-project, since it will be used by opam as well

10:08 <discocaml> <._null._> `(libraries dream)` in the executable / library stanza

10:11 <discocaml> <lokasku> I added `(libraries dream)` in `lib/dune` and in `bin/dune`, and added `dream` in `(depends ocaml dune dream)` but `open Dream` in `bin/main.ml` still doesn't work.

10:58 bartholin has joined #ocaml

10:59 <discocaml> <Kali> NULL: dune automatically adds them

10:59 <discocaml> <Kali> it's part of the default file

11:00 <discocaml> <Kali> put it in the (libraries ...) clause of ./bin/dune

11:16 sroso has quit [Quit: Leaving :)]

11:25 jmcantrell has quit [Write error: Connection reset by peer]

11:25 henrytill has quit [Remote host closed the connection]

11:25 ursa-major has quit [Read error: Connection reset by peer]

11:25 pmk has quit [Read error: Connection reset by peer]

11:25 soni_ has quit [Remote host closed the connection]

11:25 kuruczgy has quit [Remote host closed the connection]

11:25 sleepydog has quit [Remote host closed the connection]

11:25 lane has quit [Remote host closed the connection]

11:25 brettgilio has quit [Read error: Connection reset by peer]

11:25 patrick__ has quit [Remote host closed the connection]

11:25 toastal has quit [Remote host closed the connection]

11:25 Ankhers has quit [Read error: Connection reset by peer]

11:25 arya_elfren has quit [Remote host closed the connection]

11:25 whereiseveryone has quit [Remote host closed the connection]

11:25 seeg has quit [Remote host closed the connection]

11:25 philipwhite has quit [Remote host closed the connection]

11:25 b0o has quit [Write error: Connection reset by peer]

11:25 migalmoreno has quit [Remote host closed the connection]

11:25 immutable has quit [Remote host closed the connection]

11:25 ggb has quit [Remote host closed the connection]

11:25 _alix has quit [Remote host closed the connection]

11:25 ymherklotz has quit [Write error: Connection reset by peer]

11:25 richardhuxton has quit [Write error: Connection reset by peer]

11:25 pluviaq has quit [Remote host closed the connection]

11:25 pmk has joined #ocaml

11:25 patrick_ has joined #ocaml

11:25 jmcantrell has joined #ocaml

11:25 ggb has joined #ocaml

11:25 lane has joined #ocaml

11:25 philipwhite has joined #ocaml

11:25 henrytill has joined #ocaml

11:25 pluviaq has joined #ocaml

11:25 migalmoreno has joined #ocaml

11:25 _alix has joined #ocaml

11:25 Ankhers has joined #ocaml

11:25 ursa-major has joined #ocaml

11:25 brettgilio has joined #ocaml

11:25 whereiseveryone has joined #ocaml

11:25 soni_ has joined #ocaml

11:25 seeg has joined #ocaml

11:25 toastal has joined #ocaml

11:25 b0o has joined #ocaml

11:25 kuruczgy has joined #ocaml

11:25 ymherklotz has joined #ocaml

11:25 arya_elfren has joined #ocaml

11:25 richardhuxton has joined #ocaml

11:25 sleepydog has joined #ocaml

11:25 immutable has joined #ocaml

11:25 arya_elfren has quit [Remote host closed the connection]

11:25 b0o has quit [Remote host closed the connection]

11:25 brettgilio has quit [Remote host closed the connection]

11:25 pmk has quit [Remote host closed the connection]

11:25 ursa-major has quit [Remote host closed the connection]

11:26 henrytill has quit [Remote host closed the connection]

11:26 whereiseveryone has quit [Read error: Connection reset by peer]

11:26 pluviaq has quit [Remote host closed the connection]

11:26 immutable has quit [Remote host closed the connection]

11:26 patrick_ has quit [Remote host closed the connection]

11:26 _alix has quit [Remote host closed the connection]

11:26 Ankhers has quit [Remote host closed the connection]

11:26 toastal has quit [Remote host closed the connection]

11:26 jmcantrell has quit [Remote host closed the connection]

11:26 ggb has quit [Remote host closed the connection]

11:26 lane has quit [Remote host closed the connection]

11:26 philipwhite has quit [Remote host closed the connection]

11:26 soni_ has quit [Remote host closed the connection]

11:26 migalmoreno has quit [Remote host closed the connection]

11:26 seeg has quit [Remote host closed the connection]

11:26 sleepydog has quit [Remote host closed the connection]

11:26 richardhuxton has quit [Remote host closed the connection]

11:26 ymherklotz has quit [Remote host closed the connection]

11:26 kuruczgy has quit [Remote host closed the connection]

11:28 philipwhite has joined #ocaml

11:28 lane has joined #ocaml

11:28 ggb has joined #ocaml

11:28 pmk has joined #ocaml

11:28 immutable has joined #ocaml

11:28 patrick_ has joined #ocaml

11:28 _alix has joined #ocaml

11:28 kuruczgy has joined #ocaml

11:28 Ankhers has joined #ocaml

11:28 toastal has joined #ocaml

11:28 whereiseveryone has joined #ocaml

11:28 jmcantrell has joined #ocaml

11:28 pluviaq has joined #ocaml

11:28 brettgilio has joined #ocaml

11:28 migalmoreno has joined #ocaml

11:28 seeg has joined #ocaml

11:28 ursa-major has joined #ocaml

11:28 arya_elfren has joined #ocaml

11:28 b0o has joined #ocaml

11:28 ymherklotz has joined #ocaml

11:28 soni_ has joined #ocaml

11:28 henrytill has joined #ocaml

11:28 richardhuxton has joined #ocaml

11:28 sleepydog has joined #ocaml

11:41 chiselfuse has quit [Ping timeout: 260 seconds]

11:44 chiselfuse has joined #ocaml

12:31 waleee has joined #ocaml

12:37 jabuxas has joined #ocaml

12:58 romildo has joined #ocaml

13:45 olle has quit [Ping timeout: 272 seconds]

14:31 waleee has quit [Ping timeout: 240 seconds]

14:46 n8n has quit [Quit: WeeChat 4.2.2]

14:56 n8n has joined #ocaml

15:13 Serpent7776 has quit [Ping timeout: 264 seconds]

15:22 cross has quit [Remote host closed the connection]

15:35 romildo has quit [Quit: Leaving]

16:00 <discocaml> <andreypopp> @etiennemillon I see you have ocaml-noise archived, curious why, is there a successor?

16:39 jabuxas has quit [Ping timeout: 260 seconds]

16:48 waleee has joined #ocaml

17:02 <hannes> andreypopp: which part of noise do you need?

17:51 Tuplanolla has joined #ocaml

17:54 alexherbo2 has joined #ocaml

17:56 <discocaml> <etiennemillon> There's only so many projects one can maintain so it felt more honest to just archive it

17:56 <discocaml> <etiennemillon> You can fork it and release it under the same name

17:57 <discocaml> <etiennemillon> I think the mirage folks have a specialized version for wireguard

18:50 neiluj has quit [Read error: Connection reset by peer]

19:09 alexherbo2 has quit [Ping timeout: 250 seconds]

20:03 Serpent7776 has joined #ocaml

21:03 zanetti has joined #ocaml

21:39 bartholin has quit [Quit: Leaving]

21:42 Serpent7776 has quit [Ping timeout: 260 seconds]

22:02 cr1901 has quit [Read error: Connection reset by peer]

22:15 cr1901 has joined #ocaml

22:30 n8n has quit [Quit: WeeChat 4.2.2]

22:42 torretto has quit [Remote host closed the connection]

22:42 torretto has joined #ocaml

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

22:55 dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:04 dnh has joined #ocaml

23:09 torretto has quit [Remote host closed the connection]

23:10 torretto has joined #ocaml

23:34 sroso has joined #ocaml

23:55 jabuxas has joined #ocaml