mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
BitPuffin has joined #ocaml
mfp has joined #ocaml
tarptaeya has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
env__ has joined #ocaml
mengu_ has joined #ocaml
env__ has quit [Ping timeout: 264 seconds]
mengu has quit [Ping timeout: 256 seconds]
freyr69 has quit [Read error: Connection reset by peer]
ziyourenxiang has joined #ocaml
Guest52070 has joined #ocaml
Guest52070 has quit [Remote host closed the connection]
Haudegen has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
tarptaeya has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
mengu_ has quit [Remote host closed the connection]
neatonk has joined #ocaml
mbuf has quit [Ping timeout: 248 seconds]
mengu has joined #ocaml
spew has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
hyperion has joined #ocaml
<hyperion>
hi
<reynir>
hi
<hyperion>
I have a question regarding oasis...
<hyperion>
I have this project where I'm using ocamlbuild and menhir
<hyperion>
I use a .mlypack file to define my parser
<hyperion>
I'm trying to port my project to oasis, but I don't know how to tell it to handle that file
<hyperion>
(I'm using oasis 0.4.5)
<companion_cube>
did you have ocamlbuild stuff for the menhir parser?
<octachron>
you should not port new projects to oasis, use dune instead
<companion_cube>
octachron: custom menhir stuff doesn't seem that easy with dune, afaik
haesbaert has quit [Ping timeout: 240 seconds]
<hyperion>
errr, I don't have dune
<hyperion>
though I'll give it a look
<hyperion>
so, oasis is complaining that it cannot find the parser module (which is the mlypack file), and if I try to use a prebuildcommand to "make it available" for it at build time, it doesn't use it
<companion_cube>
this is _tags territory
<hyperion>
by which I mean that the command is issued, but afterward the build process insist on recompiling it
<hyperion>
ah, I didn't think about that, indeed!
<hyperion>
I'll try to look into that, thanks!
<companion_cube>
yeah, most magic should be dealt with at the ocamlbuild level
<companion_cube>
good luck!
<hyperion>
well, I tried that through that prebuildcommand as I said, but it is certainly cleaner with the _tags file
<hyperion>
thank you again!
<hyperion>
bye
hyperion has left #ocaml [#ocaml]
<Armael>
:Dd
Trou has joined #ocaml
mengu has joined #ocaml
<Trou>
Hello, as anyone experience with Ocaml on Windows ? I'm trying to do something a bit crazy, the final goal is to have a python extension that would call an ocaml dll (in theory, no pb). The catch is that the python interpreter is compiled with MSVC, so I would need to compile everything with a MSVC compatible ABI
<Trou>
I guess ?
Denommus has joined #ocaml
<dmbaturin>
Trou: I've made a python bindings module for an ocaml library, but on UNIX. I would guess -shared would produce a shared library compatible with those produced by MSVC. adrien is one of the windows experts.
Bronsa has joined #ocaml
igitoor has quit [Remote host closed the connection]
Denommus has quit [Remote host closed the connection]
<Trou>
dmbaturin: yeah linux is no problem, we already have thtr
<Trou>
*that
<Trou>
windows is a ... different beast :)
<Trou>
It would have been "simple" with pure ocaml, but we depend on zarith, menhir and ocamlgraph
<theblatte>
I'm on a quest for a library that does something like extlib's IO module, in particular with the ability to read and write Big Endian encoded binary data
<theblatte>
Batteries does it, but seemingly not Containers, I'm not sure about Core though
<theblatte>
ah, Core's Bigstring has endianness-aware stuff
<dmbaturin>
Trou: I cheated a bit and used ctypes.cdll.LoadLibrary though. Not sure if it would help portability.
<theblatte>
companion_cube: thanks, I'm looking a library that also does other "stdlib" kind of things though but maybe that can be added independently to containers?
<Trou>
dmbaturin: I guess not
<Trou>
I need direct access to the OCaml types
<companion_cube>
theblatte: well I never dabbled too much with that kind of low level treachery
<companion_cube>
it'd be good to have it in CCIO, but really, I don't want to write it myself
<theblatte>
I understand :)
<Drup>
theblatte: there is bigstringaf for bigstrings :p
nicoo has quit [Remote host closed the connection]
<dmbaturin>
Trou: Oh. How are you doing it on UNIX though?
<dmbaturin>
Python access to native types that is.
nicoo has joined #ocaml
asdf123 has joined #ocaml
<Trou>
apparently through caml_copy_string and other C functions :)
<Trou>
I'm not the one working on that part ;)
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
maximjaffe has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
igitoor has joined #ocaml
cryptocat1094 has joined #ocaml
haesbaert has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
Denommus has joined #ocaml
demonimin has quit [Ping timeout: 240 seconds]
kleimkuhler has joined #ocaml
tarptaeya has quit [Ping timeout: 240 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
FreeBirdLjj has joined #ocaml
_whitelogger has joined #ocaml
tarptaeya has joined #ocaml
haesbaer1 has joined #ocaml
haesbaert has quit [Read error: Connection reset by peer]
kleimkuhler has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
tane has joined #ocaml
mbuf has joined #ocaml
ziyourenxiang has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
Guest51349 has joined #ocaml
<Guest51349>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<Guest51349>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<Guest51349>
I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<Guest51349>
or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
<Armael>
xd
Guest51349 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
cjd has quit [Ping timeout: 256 seconds]
cjd has joined #ocaml
avelardi261926 has joined #ocaml
<avelardi261926>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<avelardi261926>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<avelardi261926>
I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<avelardi261926>
or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
avelardi261926 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
moei has quit [Quit: Leaving...]
rolig9 has joined #ocaml
<rolig9>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<rolig9>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<rolig9>
I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<rolig9>
or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
rolig9 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
violet47 has joined #ocaml
violet47 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<violet47>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<violet47>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
FreeBirdLjj has quit [Remote host closed the connection]
jnavila has joined #ocaml
information26 has joined #ocaml
information26 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<information26>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<information26>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<discord>
<Christophe> What with the sudden spam? And white supremacists even
Guest454209 has joined #ocaml
<Guest454209>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
Guest454209 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<Guest454209>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
Guest4542026 has joined #ocaml
Guest4542026 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<Guest4542026>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<Guest4542026>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
Sebastien25 has joined #ocaml
Sebastien25 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<Sebastien25>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<Sebastien25>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<Armael>
adrien: can you momentarily disable joining the chan or something?
Trou has left #ocaml [#ocaml]
<companion_cube>
or make it private, if it's not the case?
<spew>
why is this happening again? someone got pissed off in here or something?
<reynir>
no, it's not specific for this channel
<ZirconiumX>
Maybe +ig?
<spew>
I'm just not in enough popular channels
<ZirconiumX>
Actually, would +r work?
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian_ has joined #ocaml
Taylor20 has joined #ocaml
<Taylor20>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
Taylor20 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
jnavila has quit [Ping timeout: 256 seconds]
tarptaeya has quit [Quit: Konversation terminated!]
mbuf has quit [Quit: Leaving]
moei has joined #ocaml
talisein15 has joined #ocaml
<talisein15>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
talisein15 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
huhlig28 has joined #ocaml
<huhlig28>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<huhlig28>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<huhlig28>
I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<huhlig28>
or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
huhlig28 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
huhlig32429 has joined #ocaml
<huhlig32429>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<huhlig32429>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
huhlig32429 was kicked from #ocaml by companion_cube [huhlig32429]
jem269 has joined #ocaml
<jem269>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<jem269>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<jem269>
I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
jem269 was kicked from #ocaml by companion_cube [jem269]
<discord>
<rgrinberg> "I thought you guys might be interested in this blog" <- a polite spam bot. love it.
avelardi7 has joined #ocaml
<avelardi7>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
avelardi7 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<avelardi7>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
rdococ2511 has joined #ocaml
<rdococ2511>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<rdococ2511>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<rdococ2511>
I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<rdococ2511>
or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
rdococ2511 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
ratschance has quit [Remote host closed the connection]
Anarchos has joined #ocaml
ratschance has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
peaches32 has joined #ocaml
<peaches32>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
<peaches32>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<peaches32>
I thought you guys might be interested in this blog by freenode staff member Bryan 'kloeri' Ostergaard https://bryanostergaard.com/
<peaches32>
or maybe this blog by freenode staff member Matthew 'mst' Trout https://MattSTrout.com/
peaches32 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
matze9 has joined #ocaml
<matze9>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
matze9 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<matze9>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
limbo31 has joined #ocaml
<limbo31>
With our IRC ad service you can reach a global audience of entrepreneurs and fentanyl addicts with extraordinary engagement rates! https://williampitcock.com/
<limbo31>
<+SP9002_@efnet> so, he wants the win. so we're just gonna get lunch or something, then hes gonna push me to the ground and tap my ass with his foot so he can claim he "kicked my ass" tbh im going along with it becase I dont wanna lose any teeth
limbo31 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<companion_cube>
ok we need to do something (cc adrien?)
<mrvn>
your client could just ignore people that say something that was repeated 3 or more times.
<Armael>
uhh
<mrvn>
Armael: ohoh, that was twice. Carefull now. :)
<companion_cube>
we could use +r, it blocks anyone not authed
<companion_cube>
but that's a bit violent
Orion3k has quit [Ping timeout: 240 seconds]
<companion_cube>
erf, won't be sufficient
<mrvn>
I whish one could set that with a timeout so it expires automatically after a while
<companion_cube>
arf, can't set +s
<reynir>
:o
tokomak has joined #ocaml
tokomak has quit [Client Quit]
tokomak has joined #ocaml
<ZirconiumX>
We're going incognito
<spew>
why can't you set +s?
<companion_cube>
there seems to be a chanserv restriction on that
<companion_cube>
probably from the founder?
pierpal has quit [Quit: Poof]
CcxWrk has quit [Remote host closed the connection]
CcxWrk has joined #ocaml
olle has joined #ocaml
<olle>
hi ho
<olle>
can I install a specific version of llvm bindings through opam?
<olle>
I need 3.6
<olle>
(trying to compile linearML)
ygrek has joined #ocaml
<olle>
nvm, solved.
<olle>
it seems like haskell is getting linear types? any stuff like that in progress for ocaml?
<Drup>
Maybe.
* Drup
hide under the carpet.
<companion_cube>
another "at least in 5 years" timer starts?
<Drup>
Probably
<olle>
Drup: so there's plan??
<olle>
or idea, at least.
<olle>
I have the idea that linear types + phantom types = typestate - correct?
<Drup>
Not really, no, but linear + parametric types + abstraction gives you interesting things, yes
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
<Drup>
Not typestates directly, but sufficient to encode most typestate usecases with a bit more bookeeping
<companion_cube>
like `[`locked] Lock.t -o [`unlocked] Lock.t`? :3
<Drup>
like that
<Drup>
(except that function isn't linear)
ocaml_guest has joined #ocaml
<ocaml_guest>
hey, ocamlers. so if i run `ocaml main.ml` I get `Error: Unbound module Lwt` in main.ml i have `open Lwt`. super new to ocaml btw. if there is recommended reading on how packages etc work please share
<discord>
<rgrinberg> in OCaml, you should use a build system if you'd like to use an external library
<ocaml_guest>
thank you
<discord>
<Perry> Is the spammer gone? Or is he still terrorizing freenode with his racist claptrap?
<companion_cube>
seems more quiet right now
<jgkamat>
companion_cube: are you in any way related to CompanionCube (a nick)
<companion_cube>
not on IRC, no
<ocaml_guest>
so i ended up cloning dune and did made install. when i did `opam install dune` i got 16:28 ≡ opam install dune ᴦ ≡[ERROR] No package named dune found.
<olle>
Drup: I see.
<olle>
The crucial question is how much extra bookkeeping will be needed. I will read more about the Haskell implementation.
<olle>
Something like typestate needs to be the next paradigm coming to programming.
<olle>
(IMHO)
<olle>
dependent types won't sell.
<olle>
it's too advanced.
<olle>
that and typed effects and I would be happy!
<olle>
although the use-case for typed effects might be smaller than for typestate.
ocaml_guest has quit [Ping timeout: 264 seconds]
mfp has quit [Read error: Connection reset by peer]
ocaml_guest has joined #ocaml
<ocaml_guest>
another question: is there recommended reading on understanding the type signature? best way to read and interpret them
spew has quit [Quit: quittin time]
cryptocat1094 has quit [Quit: later]
neatonk has quit [Remote host closed the connection]
neatonk has joined #ocaml
ocaml_guest has quit [Remote host closed the connection]
BitPuffin has quit [Remote host closed the connection]
<discord>
<rgrinberg> Did you forget to run $ opam update perhaps?
<discord>
<rgrinberg> dune is certainly present in opam
kvda has joined #ocaml
Soni has quit [Ping timeout: 268 seconds]
Soni has joined #ocaml
zv has quit [Quit: WeeChat 2.0.1]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
env__ has joined #ocaml
kvda has joined #ocaml
Denommus has quit [Remote host closed the connection]