<discocaml>
<idontwantausernamefeckoff> three languages in a trenchcoat
dnh has quit [Ping timeout: 264 seconds]
darchitect has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
Square2 has quit [Ping timeout: 252 seconds]
bibi_ has joined #ocaml
jabuxas has joined #ocaml
rgrinberg has joined #ocaml
dh` has joined #ocaml
jabuxas has quit [Ping timeout: 260 seconds]
szkl has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
waleee has quit [Ping timeout: 255 seconds]
rgrinberg has joined #ocaml
azimut has quit [Ping timeout: 260 seconds]
<discocaml>
<tornato> Purescript > JavaScript
<discocaml>
<tornato> It is probably too pure for ocaml people tho
rgrinberg has quit [Ping timeout: 246 seconds]
mdupont has quit [Remote host closed the connection]
mdupont has joined #ocaml
<toastal>
weird take… PureScript & OCaml are on the same team in the broader ecosystem
rgrinberg has joined #ocaml
<discocaml>
<lukstafi> Grumpy take: people invent lesser languages while OCaml's been around since 1996.
<discocaml>
<lukstafi> I'm thinking of Microsoft and Google. Props to Facebook for not going that route.
pi3ce has quit [Quit: No Ping reply in 180 seconds.]
pi3ce has joined #ocaml
<toastal>
PureScript is pretty good. I wouldn’t categorize it as lesser & it’s easier to work with than Haskell, but the community is pretty tiny.
mfranc has joined #ocaml
mfranc has quit [Client Quit]
mfranc has joined #ocaml
mfranc has quit [Client Quit]
<discocaml>
<lukstafi> Yes, apologies. I was exaggerating / not fully serious.
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
rgrinberg has quit [Ping timeout: 255 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
malte has quit [Remote host closed the connection]
malte has joined #ocaml
Anarchos has joined #ocaml
<discocaml>
<lroche> There used to be support for the metaocaml syntax without the ppx extension point right? I remember seeing something about it but can’t recall the exact details
bartholin has quit [Quit: Leaving]
__jmcantrell__ has joined #ocaml
__jmcantrell__ is now known as jmcantrell
<discocaml>
<lukstafi> I don't think so? Do you mean there was an issue or a PR opened for it?
jmcantrell has quit [Quit: WeeChat 4.2.1]
rgrinberg has joined #ocaml
__jmcantrell__ has joined #ocaml
__jmcantrell__ has quit [Client Quit]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
dnh has joined #ocaml
rgrinberg has joined #ocaml
kurfen has quit [Remote host closed the connection]
kurfen has joined #ocaml
rgrinberg has quit [Ping timeout: 268 seconds]
Square2 has joined #ocaml
darchitect has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
<discocaml>
<idontwantausernamefeckoff> is this what you’re thinking of? it’s still a draft
darchitect has joined #ocaml
<discocaml>
<lroche> There was `EXT meta` long long ago
<discocaml>
<lroche> There was `EXT meta` in `.merlin` long long ago
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<discocaml>
<lukstafi> > Note that Merlin already reject those programs since 2015, due to its own support for MetaOCaml syntax
Anarchos has joined #ocaml
<discocaml>
<lukstafi> I wasn't aware (or forgot), thanks. Is `.merlin` config compatible with VSCode OCaml Platform?
<Fardale>
I am looking for the typing rule for the pattern-matching (without GADT). Is there a place where I can find them?
<Fardale>
In particular, I am wondering when the value restriction come in and we should not generalise an infered type.
jabuxas has joined #ocaml
<discocaml>
<idontwantausernamefeckoff> speaking of metaocaml, i would really like to try it out but the lack of 5 support is putting g me off 😦
<discocaml>
<idontwantausernamefeckoff> from what i can tell the way it’s implemented is gonna make version upgrades always be an issue compared to pox
<discocaml>
<idontwantausernamefeckoff> that’s very interesting, thank you! looks more ergonomic than metaquot at least
azimut has joined #ocaml
<discocaml>
<lukstafi> BTW native-code MetaOCaml just invokes the compiler through a command call, so it's orthogonal to https://github.com/ocaml/RFCs/pull/15
mdupont has quit [Quit: Leaving]
jabuxas has quit [Ping timeout: 255 seconds]
a51 has quit [Quit: WeeChat 4.2.1]
average has joined #ocaml
szkl has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
bibi_ has quit [Quit: Konversation terminated!]
Serpent7776 has quit [Ping timeout: 255 seconds]
troydm has joined #ocaml
troydm has quit [Client Quit]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 255 seconds]
Square2 has quit [Ping timeout: 255 seconds]
waleee has joined #ocaml
boozec has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
boozec has quit [Ping timeout: 264 seconds]
boozec has joined #ocaml
Serpent7776 has joined #ocaml
patrick__ is now known as patrick
patrick has quit [Changing host]
patrick__ has joined #ocaml
bartholin has joined #ocaml
trillion_exabyte has quit [Ping timeout: 252 seconds]
trillion_exabyte has joined #ocaml
darchitect has quit [Ping timeout: 255 seconds]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Anarchos has joined #ocaml
rgrinberg has joined #ocaml
darchitect has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
boozec has quit [Remote host closed the connection]
fweht has quit [Quit: Connection closed for inactivity]
<discocaml>
<fabric.input_output> how can I have a type from another library implement `sexp`? the type is actually just an `int32` but when I do `[@@deriving sexp]` on a type I define that uses that other type it doesn't work
<discocaml>
<fabric.input_output> specifically I'm talking about the `Ipaddr.V4.t` type
<discocaml>
<fabric.input_output> I get this `Unbound value Ipaddr.V4.t_of_sexp`
<discocaml>
<fabric.input_output> when I try to do this `type peer = { ip: Ipaddr.V4.t; port: int } [@@deriving sexp, compare]`
<discocaml>
<mbacarella> try ppx_import
<discocaml>
<deepspacejohn> you can also use `type v4 = (* definition of Ipaddr.V4.t *) = Ipaddr.V4.t [@@deriving sexp, compare]`, which is basically what ppx_import does (if you don't want to add another ppx)
<discocaml>
<deepspacejohn> if `Ipaddr.V4.t` is abstract then this won't work though.
<discocaml>
<fabric.input_output> `Ipaddr.V4.t` is literally just `int32`
<hannes>
fabric.input_output: for ipaddr, there's the ipaddr-sexp opam package providing the s-expression converters -- if you use Ipaddr_sexp.t / Ipaddr_sexp.V4.t you'll have converters then :)
Tuplanolla has joined #ocaml
SquidDev has quit [Ping timeout: 240 seconds]
<discocaml>
<fabric.input_output> yeah that fixes it thanks
SquidDev has joined #ocaml
fweht has joined #ocaml
Serpent7776 has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]