hyphen has quit [Read error: Connection reset by peer]
hyphen has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
pmetzger has joined #ocaml
<d_bot>
<Et7f3> See if using dune to create a small executable is an option or ocamlfind. If not you need to open first toplevel #use "topfind";; #require "core";; #load "grid.ml"
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
waleee has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
waleee has quit [Quit: WeeChat 3.3]
pmetzger has quit [Ping timeout: 245 seconds]
average has quit [Quit: Connection closed for inactivity]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
mbuf has joined #ocaml
omet has quit [Quit: Client closed]
average has joined #ocaml
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 260 seconds]
opus has joined #ocaml
<opus>
is there a way to check if two variables are equal polymorphically without knowing their types?
gravicappa has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
mro has joined #ocaml
opus has quit [Quit: Client closed]
mro has quit [Ping timeout: 260 seconds]
hyphen has quit [Ping timeout: 260 seconds]
infinity0 has quit [*.net *.split]
grobe0ba has quit [*.net *.split]
kevinsjoberg has quit [*.net *.split]
hexology has quit [*.net *.split]
berberman has quit [*.net *.split]
xenu has quit [*.net *.split]
Corbin has quit [*.net *.split]
energizer has quit [*.net *.split]
Soni has quit [*.net *.split]
xenu has joined #ocaml
Soni has joined #ocaml
kevinsjoberg has joined #ocaml
grobe0ba has joined #ocaml
berberman has joined #ocaml
hexology has joined #ocaml
infinity0 has joined #ocaml
energizer has joined #ocaml
lisq has quit [*.net *.split]
noddy has quit [*.net *.split]
rom1504 has quit [*.net *.split]
tristanC has quit [*.net *.split]
tristanC has joined #ocaml
lisq has joined #ocaml
tristanC has quit [Changing host]
tristanC has joined #ocaml
rom1504 has joined #ocaml
shawnw has quit [Ping timeout: 260 seconds]
hyphen has joined #ocaml
<average>
re: opus values are equal without typechecking
<average>
if there were such a way, which == operator would be used?
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot>
<Saroupille> Apparently my message was considered as spam, so someone needs to approve it.
spip has joined #ocaml
bobo has quit [Ping timeout: 260 seconds]
bartholin has quit [Ping timeout: 260 seconds]
pmetzger has joined #ocaml
bartholin has joined #ocaml
pmetzger has quit [Ping timeout: 268 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
<d_bot>
<Renom> @Oscar Lahaie wtfff
mro has joined #ocaml
pmetzger has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
mro has joined #ocaml
bartholin has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
pmetzger has left #ocaml [#ocaml]
hendursa1 has quit [Quit: hendursa1]
mro has joined #ocaml
hendursaga has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
Corbin has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
bartholin has quit [Ping timeout: 260 seconds]
waleee has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
rgrinberg has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
mro has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
<d_bot>
<likliklik> how closely can I replicate typeclasses with modules and module types?
<d_bot>
<likliklik> I’m fine with passing modules around everywhere and I don’t think I need any crazy HKT stuff. But let’s say I have a module type `Z` that contains a type 't` (I don’t think that’s the right nomenclature but hopefully it’s clear what I mean). What would be the type of a function that takes unit and returns a value of type `t`, for whatever module the user wants to use?
<d_bot>
<likliklik> This is definitely not the right syntax but I’m thinking of something like `(module z : Z) -> () -> z.t`
<companion_cube>
`let f : (type a) (module Z with type t = a) () : a = …`
<companion_cube>
I don't recall if there's an equivalent in .mli
<d_bot>
<andreypopp> ok, even simpler: `let to_int (type a) (module M : Int_like with type t = a) (n : a) = M.to_int n`
<companion_cube>
at some point, functors will be more convenient though
<d_bot>
<andreypopp> You mean at the call site?
<companion_cube>
no, when writing code depending on modules
<d_bot>
<andreypopp> but modular implicits paper is proposing a similar syntax (but with `{...}`) IIRC, do you think it's would be inconvenient too?
<companion_cube>
modular explicits
<companion_cube>
maybe it'd be easier, idk
<companion_cube>
I'm just talking about current OCaml :)
<companion_cube>
also depends on whether you have one type or 5
<companion_cube>
in the modules
<d_bot>
<andreypopp> agree, now it's cumbersome
<Armael>
I think the promise of modular explicits is to make that kind of code much easier to write yes
<v0idpwn>
is there any way to open a utop session within a dune project context? i.e.: with all libraries and with my library available as well?
<companion_cube>
`dune utop .`
<companion_cube>
(or any subdirectory of your project)
<v0idpwn>
seems to be exactly what I was looking for! Thanks :)
mro has joined #ocaml
Zakkor has quit [Quit: Connection closed for inactivity]
mro has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
mbuf has quit [Quit: Leaving]
mro has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
bartholin has quit [Ping timeout: 268 seconds]
Corbin has quit [Quit: Corbin]
bartholin has joined #ocaml
Corbin has joined #ocaml
mro has joined #ocaml
waleee has joined #ocaml
oriba has joined #ocaml
olle__ has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
gravicappa has quit [Ping timeout: 264 seconds]
vicfred has joined #ocaml
Tuplanolla has joined #ocaml
greyrat has quit [Ping timeout: 252 seconds]
greyrat has joined #ocaml
hornhack has joined #ocaml
hackinghorn has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
sajuuk_ has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
hyphen has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Yehowshua has joined #ocaml
<Yehowshua>
I'm learning Ocaml and came across the following:
<Yehowshua>
Float.(x);;
<Yehowshua>
What does the dot after Float mean?
<d_bot>
<Président daren le pétrolier> it means an module opening for an expression
<Yehowshua>
oh?
<Yehowshua>
So if we have Float(x > 3), does that mean the greater than symbol comes from Float?
<d_bot>
<Président daren le pétrolier> exactly
<d_bot>
<Président daren le pétrolier> (you forgot the dot after the module name)
<Yehowshua>
oh yes
bartholin has quit [Ping timeout: 268 seconds]
<Yehowshua>
It seems I can't do something like this: ``Float.(>) 3. 4.;;``
Yehowshua has quit [Quit: Ping timeout (120 seconds)]
Yehowshua has joined #ocaml
bartholin has joined #ocaml
olle__ has quit [Ping timeout: 260 seconds]
mro_ has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
Yehowshua has quit [Quit: Ping timeout (120 seconds)]
<d_bot>
<Président daren le pétrolier> to my knowledge it is not possible indeed
average has quit [Quit: Connection closed for inactivity]
sajuuk_ has quit [Quit: WeeChat 2.8]
rgrinberg has joined #ocaml
<d_bot>
<octachron> `M.(>)` works just fine? However, this is a qualified name rather than a local open. A local open requires two nested parentheses: `M.((>))`.
bobo has joined #ocaml
spip has quit [Ping timeout: 268 seconds]
cedric has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
bartholin has quit [Quit: Leaving]
spip has joined #ocaml
bobo has quit [Ping timeout: 260 seconds]
cedric has quit [Quit: Konversation terminated!]
mro_ has quit [Read error: Connection reset by peer]