#ocaml on 2020-03-30 — 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:00 kleisli has quit [Remote host closed the connection]

00:02 kleisli has joined #ocaml

00:08 yomimono has quit [Ping timeout: 256 seconds]

00:24 rosterok has quit [Quit: Connection closed for inactivity]

00:36 <dmbaturin> https://discuss.ocaml.org/t/ann-prototype-dismas-a-tool-for-automatically-making-cross-versions-of-opam-packages/5404

00:43 isd has joined #ocaml

00:49 kleisli has quit [Remote host closed the connection]

00:50 kleisli has joined #ocaml

00:51 <isd> Hey All, I'm experimenting with writing jsoo bindings for the javascript promise APIs using gen_js_api. I'm hitting an error and I'm stumped. Here's the code, command and error in the comments: https://pastebin.com/NjUcuGHP

00:51 <isd> Any ideas?

00:51 <isd> passing that file to the `ocaml` command gives me an error about a missing Ojs module, but it parses fine.

00:54 andreas303 has quit [Remote host closed the connection]

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

00:57 andreas303 has joined #ocaml

00:58 <isd> Hm, seems it doesn't like the type variables. Can gen_js_api not handle polymorphism?

00:59 yomimono has joined #ocaml

01:00 <isd> Yep: https://github.com/LexiFi/gen_js_api/issues/96

01:01 <isd> Thanks for rubber-ducking for me everyone :P

02:14 amiloradovsky has quit [Ping timeout: 240 seconds]

03:02 ygrek has quit [Ping timeout: 256 seconds]

03:38 sz0 has quit [Quit: Connection closed for inactivity]

03:39 isd has left #ocaml ["User left"]

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

04:11 KeyJoo has quit [Quit: KeyJoo]

04:54 cartwright has quit [Write error: Connection reset by peer]

04:54 andreas303 has quit [Write error: Connection reset by peer]

04:56 andreas303 has joined #ocaml

04:57 cartwright has joined #ocaml

05:22 rwmjones has quit [Quit: ZNC - 1.6.0 - http://znc.in]

05:22 rwmjones has joined #ocaml

05:59 narimiran has joined #ocaml

07:17 amiloradovsky has joined #ocaml

07:31 kleisli has quit [Remote host closed the connection]

07:32 kleisli has joined #ocaml

07:46 chripell has joined #ocaml

08:02 Haudegen has joined #ocaml

08:27 mbuf has joined #ocaml

08:32 kleisli has quit [Remote host closed the connection]

08:33 kleisli has joined #ocaml

08:36 kindaro has joined #ocaml

08:37 cheater has joined #ocaml

08:37 <cheater> hi

08:38 <cheater> can someone recommend some quick start docs on ocaml? i'm a heavy haskell user and have used ocaml for some time a few years ago, and i'll be working on a large code base that uses ocaml now.

08:39 <kindaro> cheater: Hi, I am in a similar situation as you. I can throw some links at you.

08:39 <kindaro> Like, have you read this? http://blog.ezyang.com/2010/10/ocaml-for-haskellers/

08:40 <kindaro> Though the most important resource for me is the Jane Street's documentation for their Core prelude alternative.

08:42 <kindaro> For example, they define infix monadic composition for many things, although it is found in a somewhat obscure submodule.

08:44 <kindaro> They also redefine some things in a surprizing way, for example equality is monomorphic int by default and you have to open Poly to get the usual polymorphic equality.

08:51 kindaro has left #ocaml [#ocaml]

08:53 jaar has joined #ocaml

08:58 kindaro has joined #ocaml

08:59 <kindaro> Also note the book Real https://dev.realworldocaml.org/toc.html

09:00 <kindaro> …the book Real World Ocaml is available: https://dev.realworldocaml.org/toc.html

09:02 <kindaro> But I find that it is way too long, seeing how Ocaml is not much more than strict Haskell without type classes.

09:20 cartwright has quit [Remote host closed the connection]

09:25 cartwright has joined #ocaml

09:27 <_xvilka_> hi, if you see your own package in this list - please update it to the dune or just update the opam file accordingly: https://github.com/ocaml/opam-repository/issues/15943

09:38 <cheater> i've read this back in the day

09:38 <cheater> i'm mostly interested in what tooling to use to install ocaml and packages etc

09:52 kleisli has quit [Remote host closed the connection]

09:53 kleisli has joined #ocaml

09:54 |jbrown| has quit [Ping timeout: 250 seconds]

10:07 |jbrown| has joined #ocaml

10:11 <Leonidas> opam

10:24 wingsorc has joined #ocaml

10:35 chripell has quit [Remote host closed the connection]

10:35 chripell has joined #ocaml

10:46 <kindaro> cheater: This article seems to describe the workflow, and it is reasonably recent: https://medium.com/@bobbypriambodo/starting-an-ocaml-app-project-using-dune-d4f74e291de8

10:47 <kindaro> Or should I say _a_ workflow… Anyway, Dune seems to be universally accepted, even some very old projects such as Coq are migrating to it.

10:49 orbifx has joined #ocaml

10:57 <kindaro> I have a question about Set best practices. I am working on a project based on Core, and I have some non-trivial types polymorphic in several variables. These types have lists inside, and I want to replace some of the lists by sets. I am looking at two options: either to use Core's polymorphic sets _(which I have no idea how to work with yet)_ or monomorphize the types to `int` and use int maps to

10:57 <kindaro> translate the results of computations to the types I actually want. What should I do? Polymorphism is of course by far more comfortable, but, not knowing Ocaml very well, I am afraid that types will become too complicated and the type system will fail me.

11:09 <Leonidas> kindaro: You can also create your own Set type, so you don't need to deal with polymorphic sets

11:09 sz0 has joined #ocaml

11:11 <Leonidas> I would not change type to its if you don't need to, since that will make the types less specific

11:13 <kindaro> Leonidas: Do you think it will be feasible to deal with sets and keep everything polymorphic?

11:32 kindaro has quit [Remote host closed the connection]

11:37 chripell has quit [Quit: Leaving]

11:38 chripell has joined #ocaml

11:43 ggole has joined #ocaml

11:52 tane has joined #ocaml

11:54 Anarchos has joined #ocaml

12:10 orbifx has quit [Ping timeout: 256 seconds]

12:21 dborisog has joined #ocaml

12:29 mfp has joined #ocaml

12:38 chripell has quit [Quit: Leaving]

12:45 orbifx has joined #ocaml

12:57 chripell has joined #ocaml

13:16 _whitelogger has joined #ocaml

13:16 Leonidas has joined #ocaml

13:17 leah2 has joined #ocaml

13:17 farn has joined #ocaml

13:21 Manis[m] has joined #ocaml

13:21 prsafont[m] has joined #ocaml

13:26 Haudegen has quit [Quit: Bin weg.]

13:36 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

13:39 chripell has quit [Remote host closed the connection]

13:40 chripell has joined #ocaml

13:49 dckc has quit [Ping timeout: 272 seconds]

13:53 dckc has joined #ocaml

13:57 kindaro has joined #ocaml

13:58 <kindaro> How do I define and use Unicode strings? I understand the basic `char` is actually a byte?

14:00 <tane> kindaro, you can have a look at the opam package repository, there are various libraries to deal with unicode

14:00 <octachron> You just use strings. The interpretation of the data within the strings is your own responsability.

14:01 ygrek has joined #ocaml

14:01 <kindaro> I don't want it to be mine. What I need is, rather, a sequence of items that happen to be Unicode symbols.

14:02 <kindaro> tane: I gather that there are several third party solutions, but I am not sure which to pick, and what is the general paradigm.

14:02 <tane> kindaro, I guess it depends on your use case

14:03 <tane> I've successfully used https://opam.ocaml.org/packages/uutf/ in the past to interpret a string as a sequence of unicode code points

14:03 <kindaro> I want to have a type that holds a Unicode symbol. A list of such type would be good for me.

14:03 <tane> then try your luck with uutf

14:03 <Drup> kindaro: `Uchar.t` from the stdlib.

14:04 bglm[m] has left #ocaml ["Kicked by @appservice-irc:matrix.org : Idle for 30+ days"]

14:04 <Drup> there are several packages that defines ropes and stuff, along with functions to manipulate unicode chars and encodings

14:09 kleisli has quit [Remote host closed the connection]

14:10 <kindaro> I understand that Ocaml does not have Unicode string literals — so how do I define strings? _(Say, for testing.)_

14:10 kleisli has joined #ocaml

14:20 ygrek has quit [Remote host closed the connection]

14:20 ygrek has joined #ocaml

14:21 porchetta has quit [Ping timeout: 265 seconds]

14:29 Haudegen has joined #ocaml

14:31 <kindaro> I have a code path that should never be visited. What should I put there so that it gives a descriptive run time error?

14:32 <kindaro> Like Obj.magic "impossible error", but better.

14:33 <companion_cube> kindaro: "aéö" works, in utf8

14:34 <ggole> assert false is reasonable for 'impossible' paths

14:34 porchetta has joined #ocaml

14:35 <Drup> kindaro: I wonder how you came up with the idea of doing `Obj.magic "impossible error" :D

14:35 <Drup> (instead of, you know, raisin an exception)

14:35 <ggole> It's only descriptive in that you get a source location, I guess.

14:36 <Drup> ggole: you don't even get that :D

14:37 <Drup> you only get memory corruption and sadness

14:37 <ggole> I meant for assert false

14:38 <kindaro> However assert false does not have any string associated with it.

14:38 <kindaro> Otherwise I suppose it is good.

14:39 <Drup> `invalid_arg` works as well.

14:39 <kindaro> What is `invalid_arg`?

14:40 <ggole> You could use failwith "a bad thing happened" or failwith ("a bad thing happened at " ^ __LOC__)

14:41 <ggole> invalid_arg is supposed to be used when you find that some input is not in the allowed range of values

14:41 <companion_cube> ^

14:41 <companion_cube> `assert false` is the "it's impossible to reach here"

14:42 <companion_cube> it gives you a location and everything

14:55 Jesin has quit [Quit: Leaving]

15:03 muskan has joined #ocaml

15:08 Exagone313 has quit [Quit: see ya!]

15:08 sonologico has joined #ocaml

15:09 valtr has quit [Ping timeout: 260 seconds]

15:09 _tjr_ has quit [Ping timeout: 256 seconds]

15:09 zfnmxt has quit [Ping timeout: 260 seconds]

15:09 bacam has quit [Ping timeout: 240 seconds]

15:09 Jesin has joined #ocaml

15:09 DanielRichman has quit [Ping timeout: 268 seconds]

15:09 Exagone313 has joined #ocaml

15:10 eagleflo has quit [Ping timeout: 260 seconds]

15:10 rom1504 has quit [Ping timeout: 256 seconds]

15:10 eagleflo has joined #ocaml

15:10 adrien has quit [Ping timeout: 256 seconds]

15:11 pippijn has quit [Ping timeout: 256 seconds]

15:12 keep-learning[m] has quit [Ping timeout: 240 seconds]

15:12 aspiwack[m] has quit [Ping timeout: 240 seconds]

15:12 bacam has joined #ocaml

15:12 _tjr_ has joined #ocaml

15:13 valtr has joined #ocaml

15:15 rks` has quit [Ping timeout: 246 seconds]

15:17 aspiwack[m] has joined #ocaml

15:20 <zozozo> basically, any exception will give you a location (assuming you don't have a catch-all somewhere)

15:21 pippijn has joined #ocaml

15:22 <zozozo> if you really want a dirty solution without an exception, you could also force a segfault by dereferencing Obj.magic 0

15:22 <Drup> why

15:22 keep-learning[m] has joined #ocaml

15:23 <zozozo> because you can !

15:23 <zozozo> I remember some people/organisation (but don't remember which one) used to force segfault with some magic number/bytes to identify these kinds of failures in ocaml code

15:23 <companion_cube> wtf wtf wtf

15:24 <zozozo> maybe I'm just desensitized after having debugged too much very low-level code emitted by the compiler

15:24 <zozozo> the past few weeks I've ready more assembly code than ocaml code, :p

15:26 sonologico has quit [Remote host closed the connection]

15:27 bacam has quit [Ping timeout: 246 seconds]

15:31 DanielRichman has joined #ocaml

15:38 DanielRichman has quit [Ping timeout: 260 seconds]

15:41 adrien has joined #ocaml

15:41 zfnmxt has joined #ocaml

15:43 rks` has joined #ocaml

15:43 chripell_ has joined #ocaml

15:43 bacam has joined #ocaml

15:44 chripell has quit [Read error: Connection reset by peer]

15:45 keep-learning[m] has quit [*.net *.split]

15:45 flux1 has quit [*.net *.split]

15:45 copy` has quit [*.net *.split]

15:45 jeroud has quit [*.net *.split]

15:45 lopex has quit [*.net *.split]

15:45 dash has quit [*.net *.split]

15:45 ehirdoy has quit [*.net *.split]

15:45 haskell_enthusia has quit [*.net *.split]

15:45 jeroud has joined #ocaml

15:45 keep-learning[m] has joined #ocaml

15:45 flux1 has joined #ocaml

15:45 lopex has joined #ocaml

15:45 copy` has joined #ocaml

15:45 dash has joined #ocaml

15:45 ehirdoy has joined #ocaml

15:45 haskell_enthusia has joined #ocaml

15:45 DanielRichman has joined #ocaml

15:46 flux1 has quit [Max SendQ exceeded]

15:48 Manis[m] has quit [Ping timeout: 240 seconds]

15:48 keep-learning[m] has quit [Ping timeout: 240 seconds]

15:48 dash has quit [Ping timeout: 240 seconds]

15:48 karan has quit [Ping timeout: 246 seconds]

15:48 callcc[m] has quit [Ping timeout: 246 seconds]

15:48 aecepoglu[m] has quit [Ping timeout: 246 seconds]

15:48 lnxw37d4 has quit [Ping timeout: 246 seconds]

15:48 aspiwack[m] has quit [Ping timeout: 256 seconds]

15:48 prsafont[m] has quit [Ping timeout: 256 seconds]

15:48 labor[m] has quit [Ping timeout: 256 seconds]

15:48 copy` has quit [Ping timeout: 240 seconds]

15:49 pablo[m] has quit [Ping timeout: 256 seconds]

15:49 sepp2k has quit [Ping timeout: 260 seconds]

15:49 dl3br[m] has quit [Ping timeout: 260 seconds]

15:49 zwindl[m] has quit [Ping timeout: 260 seconds]

15:49 cgenie[m] has quit [Ping timeout: 260 seconds]

15:49 jimt[m] has quit [Ping timeout: 260 seconds]

15:49 peddie has quit [Ping timeout: 260 seconds]

15:53 rom1504 has joined #ocaml

16:09 _tjr_ has quit [Changing host]

16:09 _tjr_ has joined #ocaml

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

16:24 amiloradovsky has quit [Ping timeout: 252 seconds]

16:24 TheLemonMan has joined #ocaml

16:30 sonologico has joined #ocaml

16:42 <Drup> zozozo: please seek help

16:43 haskell_enthusia has quit [Ping timeout: 240 seconds]

16:44 keep-learning[m] has joined #ocaml

16:45 haskell_enthusia has joined #ocaml

16:46 sonologico__ has joined #ocaml

16:48 sonologico has quit [Ping timeout: 246 seconds]

16:57 aecepoglu[m] has joined #ocaml

16:57 labor[m] has joined #ocaml

16:57 peddie has joined #ocaml

16:57 aspiwack[m] has joined #ocaml

16:57 lnxw37d4 has joined #ocaml

16:57 copy` has joined #ocaml

16:57 dash has joined #ocaml

16:57 prsafont[m] has joined #ocaml

16:57 pablo[m] has joined #ocaml

16:57 flux1 has joined #ocaml

16:57 Manis[m] has joined #ocaml

16:57 zwindl[m] has joined #ocaml

16:57 jimt[m] has joined #ocaml

16:57 cgenie[m] has joined #ocaml

16:57 callcc[m] has joined #ocaml

16:57 dl3br[m] has joined #ocaml

16:57 sepp2k has joined #ocaml

16:57 karan has joined #ocaml

16:58 thizanne has joined #ocaml

16:59 amiloradovsky has joined #ocaml

17:01 thizanne has quit [Client Quit]

17:01 thizanne has joined #ocaml

17:09 chripell_ has quit [Ping timeout: 264 seconds]

17:11 Anarchos has joined #ocaml

17:22 Haudegen has joined #ocaml

17:23 gareppa has joined #ocaml

17:33 <Anarchos> last revision of dune an d opam on github do not seem compatible

17:46 gareppa has quit [Quit: Leaving]

18:01 sonologico__ has quit [Remote host closed the connection]

18:02 sonologico__ has joined #ocaml

18:05 kleisli has quit [Remote host closed the connection]

18:06 kleisli has joined #ocaml

18:08 kindaro has quit [Ping timeout: 246 seconds]

18:11 Serpent7776 has quit [Read error: Connection reset by peer]

18:11 Serpent7776 has joined #ocaml

18:12 Serpent7776 has quit [Read error: Connection reset by peer]

18:16 Serpent7776 has joined #ocaml

18:21 sonologico__ has quit [Remote host closed the connection]

18:22 sonologico__ has joined #ocaml

18:29 Anarchos has quit [Ping timeout: 260 seconds]

18:33 gareppa has joined #ocaml

18:43 gareppa has quit [Quit: Leaving]

19:03 sonologico___ has joined #ocaml

19:04 sonologico___ has quit [Client Quit]

19:06 sonologico__ has quit [Ping timeout: 272 seconds]

19:15 orbifx has quit [Ping timeout: 260 seconds]

19:17 dborisog has quit [Ping timeout: 250 seconds]

19:25 porchetta has quit [Quit: WeeChat 2.7.1]

19:26 porchetta has joined #ocaml

19:26 porchetta has quit [Client Quit]

19:28 orbifx has joined #ocaml

19:36 porchetta has joined #ocaml

19:56 vicfred_ has joined #ocaml

19:59 vicfred has quit [Ping timeout: 264 seconds]

20:02 vicfred_ has quit [Quit: Leaving]

20:03 vicfred has joined #ocaml

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

20:09 FreeBirdLjj has joined #ocaml

20:14 FreeBirdLjj has quit [Ping timeout: 240 seconds]

20:18 narimiran has quit [Ping timeout: 265 seconds]

20:19 Hrundi_V_Bakshi has joined #ocaml

20:19 Hrundi_V_Bakshi_ has joined #ocaml

20:28 KeyJoo has joined #ocaml

20:30 ggole has quit [Quit: Leaving]

20:33 ohama has quit [Ping timeout: 260 seconds]

20:39 muskan has joined #ocaml

20:46 andreas303 has quit [Remote host closed the connection]

20:47 pablo[m] has quit [Quit: Idle for 30+ days]

20:49 andreas303 has joined #ocaml

20:56 Serpent7776 has quit [Read error: Connection reset by peer]

20:57 Serpent7776 has joined #ocaml

21:11 dl3br[m] has left #ocaml ["Kicked by @appservice-irc:matrix.org : Idle for 30+ days"]

21:11 karan has quit [Quit: Idle for 30+ days]

21:11 sepp2k has left #ocaml ["Kicked by @appservice-irc:matrix.org : Idle for 30+ days"]

21:11 callcc[m] has quit [Quit: Idle for 30+ days]

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

21:32 TakinOver has joined #ocaml

21:44 tane has quit [Quit: Leaving]

22:08 wingsorc has quit [Quit: Leaving]

22:14 littleli_ has joined #ocaml

22:15 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

22:18 orbifx has quit [Quit: orbifx]

22:28 Jesin has quit [Quit: Leaving]

22:30 Hrundi_V_Bakshi_ has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

22:32 Jesin has joined #ocaml

22:59 Haudegen has quit [Ping timeout: 260 seconds]

23:52 jaar has quit [Ping timeout: 246 seconds]