mk9 has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
Bronsa has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
muratiku has quit [Ping timeout: 245 seconds]
ratschance has quit [Remote host closed the connection]
ratschance has joined #ocaml
malina has joined #ocaml
jmiven has quit [Quit: pan]
mk9 has quit [Quit: mk9]
jmiven has joined #ocaml
Karyon has quit [Ping timeout: 255 seconds]
mk9 has joined #ocaml
neatonk has joined #ocaml
malina has quit [Ping timeout: 244 seconds]
Karyon has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
mk9 has quit [Ping timeout: 264 seconds]
kleimkuhler has joined #ocaml
ratschance has quit [Remote host closed the connection]
kleimkuhler has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
kroot_ has joined #ocaml
spew has joined #ocaml
freyr69 has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
sagotch has quit [Ping timeout: 240 seconds]
sagotch has joined #ocaml
Karyon has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
Karyon has joined #ocaml
cryptocat1094 has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
kakadu has joined #ocaml
mk9 has quit [Ping timeout: 240 seconds]
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
al-damiri has joined #ocaml
sagotch has quit [Read error: Connection reset by peer]
halogenandtoast has quit [Ping timeout: 245 seconds]
pierpal has quit [Read error: Connection reset by peer]
dedgrant has quit [Ping timeout: 265 seconds]
Bronsa has quit [Remote host closed the connection]
Jesin has quit [Quit: Leaving]
Algebr has joined #ocaml
jaar has quit [Ping timeout: 245 seconds]
yomimono has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 255 seconds]
jnavila has joined #ocaml
ziyourenxiang has quit [Ping timeout: 244 seconds]
yomimono has joined #ocaml
FreeBirdLjj has joined #ocaml
dedgrant has joined #ocaml
Algebr has quit [Ping timeout: 264 seconds]
gsingh93_ has joined #ocaml
Soni has quit [Ping timeout: 276 seconds]
Algebr has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
yomimono has quit [Ping timeout: 264 seconds]
dhil has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
yomimono has joined #ocaml
hdon has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
Haudegen has quit [Remote host closed the connection]
kleimkuhler has joined #ocaml
Soni has quit [Ping timeout: 256 seconds]
Soni has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
jnavila has joined #ocaml
coventry has joined #ocaml
<coventry>
OCaml has no way to constrain a type to be a 20-digit hex string starting with 0x, does it?
<Fardale>
coventry: what do you means by constrain a type ?
<Fardale>
You can define: type hex20 : string and a function string -> hex20 ça verify the property you want
Algebr has quit [Ping timeout: 256 seconds]
<coventry>
I guess it would be enough for that to be checked at creation, time, actually. Thanks.
<Duns_Scrotus>
make a variant type with 16 nullary constructors
<Duns_Scrotus>
and then take a 20-fold tuple of that :)
<Fardale>
and if you make the type hex20 abstrat then only the fonction you write can deal with it
kleimkuhler has joined #ocaml
<reynir>
I read it as types like `0x01234... heh
Algebr has joined #ocaml
Karyon has quit [Ping timeout: 276 seconds]
Algebr has quit [Ping timeout: 244 seconds]
jnavila has quit [Ping timeout: 256 seconds]
hdon has quit [Ping timeout: 244 seconds]
<coventry>
If I want to make a non-negative integer type, and keep all the relevant operations like addition, validated subtraction, etc., what's the least painful way to do that?
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
<Fardale>
You can use a library that define unsigned int
<ZirconiumX>
coventry: ocaml-stdint
<coventry>
Thanks, looks useful.
<ZirconiumX>
Let's say I want to write a JIT in OCaml. Is the best way of achieving execution to trampoline via C?
hdon has joined #ocaml
shinnya has joined #ocaml
hdon has quit [Ping timeout: 268 seconds]
<discord>
<Perry> You might try using LLVM for the purpose.
<discord>
<Perry> But we've discussed that?
<cryptocat1094>
I think they were intent on doing some of the magic that reference/dependent types can do.
<ZirconiumX>
I investigated LLVM
<ZirconiumX>
I'm probably going to throw it out for two reasons
<ZirconiumX>
1) I'll learn more from writing a JIT myself
<ZirconiumX>
2) LLVM is very slow, which is why WebKit abandoned it as well
nicoo has quit [Remote host closed the connection]
jao has joined #ocaml
Algebr has joined #ocaml
nicoo has joined #ocaml
shinnya has quit [Ping timeout: 268 seconds]
hdon has joined #ocaml
Haudegen has joined #ocaml
gsingh93_ has quit [Quit: Connection closed for inactivity]
jnavila has joined #ocaml
halogenandtoast has joined #ocaml
halogenandtoast has quit [Ping timeout: 240 seconds]
Algebr has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
Jesin has joined #ocaml
ygrek has joined #ocaml
tokomak has joined #ocaml
Jesin has quit [Quit: Leaving]
Algebr has joined #ocaml
dhil has quit [Ping timeout: 260 seconds]
Algebr has quit [Ping timeout: 264 seconds]
Jesin has joined #ocaml
spew has quit [Quit: going home]
Karyon has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
hdon has quit [Changing host]
hdon has joined #ocaml
cbot has joined #ocaml
cryptocat1094 has quit [Quit: WeeChat 1.6]
pierpal has joined #ocaml
jnavila has quit [Remote host closed the connection]
<coventry>
Where can I find the function Eliom_request.send, in the eliom OPAM package? I get "Unbound module: Eliom_request", when I try to use it directly.