adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<S11001001> orbitz: interesting question
smondet has quit [Ping timeout: 268 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<aantron> Algebr: unless im missing one somewhere, it's exactly for blocking system calls. jobs are basically c functions for worker threads to run
<Algebr> aantron: How can I integrate lwt with another event loop?
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
<Drup> Algebr: you should take a look at how lwt_glib works, it's probably the best example available
average has quit [Ping timeout: 260 seconds]
average has joined #ocaml
rand__ has quit [Quit: leaving]
fraggle_ has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
<Algebr> hmm, not sure why merlin doesn't show Threads.
atsampson has quit [Ping timeout: 245 seconds]
atsampson has joined #ocaml
average has quit [Quit: leaving]
average has joined #ocaml
<Algebr> ah, needed to do merlin-use threads.posix
jlongster has joined #ocaml
thEnigma has joined #ocaml
fraggle_ has joined #ocaml
thEnigma has left #ocaml [#ocaml]
_whitelogger has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
ollehar has joined #ocaml
infinity0 has quit [Ping timeout: 246 seconds]
infinity0 has joined #ocaml
<ollehar> anyone knows if it's possible to use type-state in F*?
<ollehar> there's a state effect ST, but...
<ollehar> refinement types, effects, and type-state is what a new ML lang needs
infinity0 has quit [Remote host closed the connection]
<orbitz> OH nice, Cohttp has a string_io hidden!
<orbitz> ollehar: effects are being worked on
<orbitz> AFAIK
infinity0 has joined #ocaml
<ollehar> orbitz: yes, but type-state != effect
<ollehar> yeah, I read about the effects, seems very nice
<ollehar> unless an effect system can emulate type-state...?
kayceesrk has quit [Quit: kayceesrk]
infinity0 has quit [Remote host closed the connection]
fraggle_ has quit [Ping timeout: 260 seconds]
infinity0 has joined #ocaml
smondet has joined #ocaml
fraggle_ has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
tane has joined #ocaml
maattdd has joined #ocaml
FreeBirdLjj has joined #ocaml
malc_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
tane has quit [Quit: Leaving]
fraggle_ has quit [Ping timeout: 260 seconds]
noddy has joined #ocaml
fraggle_ has joined #ocaml
maattdd has quit [Remote host closed the connection]
maattdd has joined #ocaml
malc_ has quit [Remote host closed the connection]
<ollehar> wouldn't dynamically changing the interface of an object be the same thing as type-state?
larhat has joined #ocaml
fraggle_ has quit [Ping timeout: 260 seconds]
jnavila has quit [Quit: Konversation terminated!]
john_g_ has joined #ocaml
<orbitz> ollehar: I honestly don't know. Are you asking about type-state in Ocaml or in F*? The few attemtps I've seen at trying to get something like type-state to work were given up on as it was more complicated than the reward, but I haven't looked at it al lmyself
<ollehar> ok
<ollehar> no, I'm asking about F*. and rambling.
nomicflux has joined #ocaml
smondet` has joined #ocaml
smondet has quit [Ping timeout: 258 seconds]
FreeBirdLjj has joined #ocaml
kayceesrk has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
jlongster has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
larhat has quit [Quit: Leaving.]
kayceesrk has quit [Quit: kayceesrk]
reliability has joined #ocaml
john_g__ has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
john_g__ has quit [Client Quit]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
ygrek has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
infinity0 has quit [Ping timeout: 246 seconds]
octachron has quit [Quit: Leaving]
infinity0 has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
fraggle_ has joined #ocaml
xorpse has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
awal is now known as root
root is now known as Guest76404
Guest76404 is now known as awal
ryanartecona has joined #ocaml
kayceesrk has joined #ocaml
ollehar has joined #ocaml
wtetzner has joined #ocaml
FreeBirdLjj has joined #ocaml
Onemorenickname has quit [Read error: Connection reset by peer]
malc_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
xorpse has quit [Ping timeout: 268 seconds]
ollehar has quit [Ping timeout: 260 seconds]
kayceesrk has quit [Quit: kayceesrk]
infinity0 has quit [Ping timeout: 265 seconds]
infinity0 has joined #ocaml
malc_ has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
myst|fon has quit [Quit: Connection closed for inactivity]
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 248 seconds]
erikwr has joined #ocaml
jao has joined #ocaml
kayceesrk has joined #ocaml
erikwr has quit [Quit: Page closed]
kayceesrk has quit [Quit: kayceesrk]
Algebr has joined #ocaml
unbalanced has joined #ocaml
agarwal1975 has joined #ocaml
jao has quit [Disconnected by services]
jao has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
jlongster has joined #ocaml
struktured has quit [Ping timeout: 258 seconds]
avery_ has quit [Quit: avery_]
luzie has joined #ocaml
wtetzner has quit [Remote host closed the connection]
<jerith> Leonidas: You may have some incoming pull requests for slacko soon. :-)
<jerith> Although my cunning plan was delayed by conduit 0.14.1 being broken.
ryanartecona has quit [Quit: ryanartecona]
agarwal1975 has quit [Quit: agarwal1975]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
wtetzner has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
noddy has quit [Ping timeout: 258 seconds]
johnf_ has quit [Read error: Connection reset by peer]
<average> what's slacko
<average> oh
teknozulu has joined #ocaml
average has quit [Quit: leaving]
teknozulu has quit [Ping timeout: 248 seconds]
LACampbell has joined #ocaml
FreeBirdLjj has joined #ocaml
rossberg has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Ping timeout: 258 seconds]
average has joined #ocaml
jlongster has joined #ocaml
jlongster has quit [Client Quit]
moei has quit [Quit: Leaving...]
kayceesrk has joined #ocaml
unbalanced has quit [Ping timeout: 256 seconds]
kayceesrk has quit [Quit: kayceesrk]
_whitelogger has joined #ocaml
kayceesrk has joined #ocaml
kayceesrk has quit [Client Quit]
kayceesrk has joined #ocaml
kayceesrk has quit [Client Quit]
osheeta has quit [Quit: WeeChat 1.4]
kayceesrk has joined #ocaml
kayceesrk has quit [Client Quit]
infinity0 has quit [Ping timeout: 268 seconds]
infinity0 has joined #ocaml
kakadu has quit [Remote host closed the connection]
nomicflux has quit [Quit: nomicflux]
_ohm has joined #ocaml
_ohm has left #ocaml ["Leaving"]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml