Submarine has quit [Remote host closed the connection]
michael_lee has joined #ocaml
rgrinberg1 has quit [Quit: Leaving.]
claudiuc has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest7979
hhugo has joined #ocaml
Guest7979 has quit [Ping timeout: 264 seconds]
cago has joined #ocaml
arj has joined #ocaml
<flux>
I have no doubt swift is not going to be the best language for writing iOS software, but I suppose it will be its own island - more so than C#, that is used on Linux as well. I wonder if even the compiler or runtime library source will be available..
ddosia has quit [Quit: Leaving.]
tiglionabbit has joined #ocaml
<tiglionabbit>
is there an easy way to get set up with the new versions of eliom / js_of_ocaml?
<adrien>
might be best but that doesn't make it adopted
<tiglionabbit>
it’s not on opam yet
<flux>
adrien, you don't have faith that when apple says jump, apple developers ask how high?-)
<adrien>
flux: I do! actually I hope we can use Switch and Metal to measure how much it gets followed for reasons other than technical ;-)
Kakadu has joined #ocaml
<hhugo>
tiglionabbit: it is on opam already
<tiglionabbit>
oh
<tiglionabbit>
how do I update it?
<tiglionabbit>
it says “Cannot update the package eliom because it is not pinned.”
<tiglionabbit>
oh, I thought I was supposed to say opam upgrade
<tiglionabbit>
thanks
<hhugo>
update (update the list of available packages) / upgrade (upgrade the system)
ivan\ has quit [Ping timeout: 276 seconds]
<tiglionabbit>
doing opam upgrade now that it’s updated. I see react installing. cool
<hhugo>
tiglionabbit: Are you aware of #ocsigen ?
<tiglionabbit>
nope. thanks
def` has quit [Ping timeout: 245 seconds]
ddosia has joined #ocaml
ivan\ has joined #ocaml
def` has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
demonimin has quit [Ping timeout: 240 seconds]
demonimin has joined #ocaml
axiles has joined #ocaml
yacks has joined #ocaml
yacks has quit [Max SendQ exceeded]
yacks has joined #ocaml
eridu has joined #ocaml
<eridu>
can you use sedlex with menhir/ocamlyacc?
<eridu>
also, is sedlex the best choice for unicode lexing?
eikke__ has joined #ocaml
yacks has quit [Ping timeout: 252 seconds]
kaustuv has joined #ocaml
<kaustuv>
Is there a reason there is not Format.pp_print_bytes in 4.02?
yacks has joined #ocaml
maattdd has joined #ocaml
<kaustuv>
Also, I wish Format.sprintf had the type ('a, unit, bytes) format -> unit, but maybe I will take this as an excuse to remove Format.sprintf and Format.bprintf from my code.
AltGr has joined #ocaml
eridu has quit [Remote host closed the connection]
ustunozg_ has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
tiglionabbit has quit [Quit: tiglionabbit]
maattdd has joined #ocaml
ustunozgur has quit [Ping timeout: 264 seconds]
tiglionabbit has joined #ocaml
alpounet has joined #ocaml
tiglionabbit has quit [Client Quit]
BitPuffin has quit [Ping timeout: 240 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest46650
maattdd has quit [Ping timeout: 252 seconds]
Guest46650 has quit [Ping timeout: 264 seconds]
eikke__ has quit [Ping timeout: 264 seconds]
eikke__ has joined #ocaml
maattdd has joined #ocaml
demonimin has quit [Ping timeout: 265 seconds]
ollehar has joined #ocaml
demonimin has joined #ocaml
AltGr has left #ocaml [#ocaml]
ustunozg_ has quit [Remote host closed the connection]
AltGr has joined #ocaml
ustunozgur has joined #ocaml
keen_______ has joined #ocaml
keen______ has quit [Ping timeout: 252 seconds]
maattdd has quit [Ping timeout: 240 seconds]
maattdd has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
Hannibal_Smith has joined #ocaml
arj has quit [Quit: Leaving.]
ollehar has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
watermind has joined #ocaml
watermind has quit [Client Quit]
ontologiae has joined #ocaml
paolooo has joined #ocaml
paolooo has quit [Client Quit]
avsm has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
huza has quit [Ping timeout: 240 seconds]
maattdd has quit [Ping timeout: 252 seconds]
dsheets has joined #ocaml
freling has quit [Quit: Leaving.]
freling has joined #ocaml
paolooo has joined #ocaml
thomasga has quit [Quit: Leaving.]
paolooo has quit [Client Quit]
studybot_ has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest92795
maattdd has joined #ocaml
BitPuffin has joined #ocaml
Guest92795 has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
avsm has quit [Quit: Leaving.]
maattdd has quit [Ping timeout: 245 seconds]
ustunozgur has joined #ocaml
eikke__ has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
fraggle_laptop has joined #ocaml
martintrojer has quit [Ping timeout: 255 seconds]
martintrojer has joined #ocaml
eikke__ has joined #ocaml
maattdd has joined #ocaml
avsm has quit [Quit: Leaving.]
Nuki has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
rand000 has joined #ocaml
avsm has joined #ocaml
tobiasBora has joined #ocaml
martintrojer has quit [Ping timeout: 265 seconds]
_andre has joined #ocaml
martintrojer has joined #ocaml
maattdd has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
huza has joined #ocaml
thomasga has quit [Quit: Leaving.]
maattdd has quit [Ping timeout: 276 seconds]
divyanshu has joined #ocaml
avsm has quit [Quit: Leaving.]
ustunozg_ has joined #ocaml
ustunozgur has quit [Ping timeout: 276 seconds]
yacks has quit [Ping timeout: 255 seconds]
seanmcl has joined #ocaml
tobiasBora has quit [Ping timeout: 265 seconds]
yacks has joined #ocaml
studybot has joined #ocaml
thomasga has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest65400
avsm has joined #ocaml
yacks has quit [Ping timeout: 264 seconds]
Guest65400 has quit [Ping timeout: 240 seconds]
thomasga has quit [Quit: Leaving.]
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 245 seconds]
ustunozgur has joined #ocaml
ustunozg_ has quit [Ping timeout: 252 seconds]
tnguyen has joined #ocaml
Nahra has joined #ocaml
shinnya has joined #ocaml
avsm1 has joined #ocaml
thomasga has joined #ocaml
agarwal1975 has joined #ocaml
arj has joined #ocaml
avsm has quit [Ping timeout: 260 seconds]
sagotch has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
avsm1 has quit [Quit: Leaving.]
ustunozg_ has joined #ocaml
thomasga has quit [Quit: Leaving.]
avsm has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
tnguyen has quit [Quit: tnguyen]
ustunozgur has joined #ocaml
ustunozg_ has quit [Ping timeout: 252 seconds]
agarwal1975 has quit [Quit: agarwal1975]
sagotch has quit [Remote host closed the connection]
divyanshu has quit [Quit: Computer has gone to sleep.]
sagotch has joined #ocaml
agarwal1975 has joined #ocaml
root_empire has joined #ocaml
<companion_cube>
this thread about AVLs is quite interesting
* companion_cube
wonders why janestreet didn't try things like HAMT
<pippijn>
yeah
<adrien_oww>
companion_cube: to leave you the opportunity to do it
<pippijn>
maybe because it's unordered
<adrien_oww>
quite obvious
michael_lee has quit [Ping timeout: 264 seconds]
<pippijn>
you can't easily get a hash out of a comparison function
<companion_cube>
adrien_oww: there are already packages doing HAMT and I don't want to be qualified of quadrarotaphiliac
<adrien_oww>
HAMT for OCaml?
<companion_cube>
is a comparison function easier to get than a hash function? I don't think so
<companion_cube>
adrien_oww: sure
<pippijn>
companion_cube: no, but the Map interface requires it
<companion_cube>
look them up on opam
<companion_cube>
pippijn: ah, right
<adrien_oww>
damn, I'm sorry
<companion_cube>
you need min or things like that
<adrien_oww>
hmmm
<pippijn>
yes
<companion_cube>
it would be better in retrospect to have two signatures: one simply for mapping, and one for ordered mappings
<companion_cube>
with Map.Make providing both at the same time
<pippijn>
yes
<companion_cube>
(it's easy to look back and criticize of course)
<pippijn>
I think you can change that and be api compatible
maattdd has joined #ocaml
gasche has quit [Ping timeout: 252 seconds]
gasche has joined #ocaml
<companion_cube>
like, Map.MAPPING, Map.ORDERED_MAPPING and Map.S = sig include both previous ones end ?
<pippijn>
yes
maattdd has quit [Ping timeout: 252 seconds]
<companion_cube>
hmm
<companion_cube>
maybe so, indeed
ggole has quit [Ping timeout: 245 seconds]
sagotch has quit [Ping timeout: 252 seconds]
huza has quit [Quit: WeeChat 0.3.8]
racycle_ has joined #ocaml
nikki93 has joined #ocaml
maattdd has joined #ocaml
ggole has joined #ocaml
racycle_ has quit [Quit: ZZZzzz…]
sagotch has joined #ocaml
yacks has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
Muzer has quit [Excess Flood]
tobiasBora has joined #ocaml
Muzer has joined #ocaml
mort___ has joined #ocaml
BitPuffin has quit [Ping timeout: 252 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest55176
ustunozg_ has joined #ocaml
Guest55176 has quit [Ping timeout: 252 seconds]
hhugo has quit [Quit: Leaving.]
ustunozgur has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
ustunozgur has joined #ocaml
ustunoz__ has joined #ocaml
fraggle_laptop has quit [Ping timeout: 265 seconds]
ustunozg_ has quit [Ping timeout: 260 seconds]
ustunozgur has quit [Ping timeout: 252 seconds]
sagotch has quit [Ping timeout: 252 seconds]
maattdd has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
sagotch has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
fraggle_laptop has joined #ocaml
hhugo has joined #ocaml
thomasga has joined #ocaml
avsm has quit [Quit: Leaving.]
thomasga has quit [Client Quit]
slash^ has joined #ocaml
ustunozgur has joined #ocaml
ustunoz__ has quit [Ping timeout: 252 seconds]
Nuki has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
ustunozgur has quit [Ping timeout: 245 seconds]
Nuki has joined #ocaml
dant3 has quit [Read error: Connection reset by peer]
ustunozgur has joined #ocaml
rgrinberg has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
sagotch has quit [Ping timeout: 252 seconds]
Nuki has quit [Remote host closed the connection]
struktured has joined #ocaml
thomasga has joined #ocaml
seanmcl has quit [Read error: Connection reset by peer]
nikki93 has quit [Remote host closed the connection]
manizzle has joined #ocaml
cross has quit [Remote host closed the connection]
lordkryss has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest58229
racycl___ has joined #ocaml
racycle_ has quit [Read error: Connection reset by peer]
Guest58229 has quit [Ping timeout: 255 seconds]
lordkryss has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
nikki93 has quit [Remote host closed the connection]
Hannibal_Smith has joined #ocaml
nikki93 has joined #ocaml
maattdd has joined #ocaml
nikki93 has quit [Remote host closed the connection]
hhugo has joined #ocaml
tnguyen1 has joined #ocaml
maattdd has quit [Ping timeout: 276 seconds]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
nikki93 has joined #ocaml
tobiasBora has joined #ocaml
agarwal1975 has joined #ocaml
yacks has quit [Ping timeout: 255 seconds]
yacks has joined #ocaml
philtor_ has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Kakadu has joined #ocaml
mort___ has joined #ocaml
philtor_ has quit [Ping timeout: 276 seconds]
mcclurmc has quit [Remote host closed the connection]
fraggle_laptop has quit [Ping timeout: 265 seconds]
slash^ has quit [Read error: Connection reset by peer]
alpounet has quit [Remote host closed the connection]
ollehar has joined #ocaml
ollehar1 has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest35450
claudiuc has joined #ocaml
nikki93 has joined #ocaml
shinnya has joined #ocaml
Guest35450 has quit [Ping timeout: 240 seconds]
philtor_ has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
fraggle_laptop has joined #ocaml
yacks has quit [Quit: Leaving]
strobegen1 has quit [Quit: Leaving.]
nikki93 has joined #ocaml
thomasga has joined #ocaml
<tobiasBora>
Hello !
mort___ has quit [Quit: Leaving.]
<adrien>
morning
<tobiasBora>
I would like to do a kind of translation module : I give the name of a text and my module should give me the translated text
mort___ has joined #ocaml
<tobiasBora>
However I don't know what is the best way to register the messages. I though to use an hash table, but I would like to be able to insert some variables in my text
<adrien>
you mean, like gettext?
<adrien>
which handles localization
<tobiasBora>
Hum yes, I've never used gettext but it seems to be the solution
<tobiasBora>
Great thank you ! This project isn't outdated ?
philtor_ has quit [Ping timeout: 252 seconds]
mort___ has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
tnguyen1 has quit [Ping timeout: 240 seconds]
divyanshu has joined #ocaml
<tobiasBora>
And for curiousity, what is the good way to program this ? Should I register string, and make a substitution like : replace "%name%" Bob "Hello %name%"
<tobiasBora>
or register in memory a function like (fun name -> Printf.sprintf "Hello %s !" name) ?
<tobiasBora>
(I think the first one would be the best but I prefer to check)
<adrien>
no idea :D
<adrien>
not documented or examplified?
<tobiasBora>
I haven't install yet the library, I need to help a friend first and after I can give it a look
ggole has quit []
mcclurmc has joined #ocaml
Moataz-E has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
rgrinberg has quit [Quit: Leaving.]
nikki93 has quit [Remote host closed the connection]
Kakadu has quit [Quit: Konversation terminated!]
nikki93 has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
cross has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
labichn has joined #ocaml
deavid has quit [Read error: Connection reset by peer]
deavid has joined #ocaml
studybot has quit [Ping timeout: 272 seconds]
NoNNaN has quit [Ping timeout: 272 seconds]
Cypi has quit [Ping timeout: 240 seconds]
petterw has quit [Ping timeout: 240 seconds]
<labichn>
Is there a way to specify that a type in a signature must be a polymorphic variant, without giving any constructors? Is there an empty and open variant type?
bernardofpc has quit [Ping timeout: 240 seconds]
mbac has quit [Ping timeout: 240 seconds]
NoNNaN has joined #ocaml
Cypi has joined #ocaml
petterw has joined #ocaml
bernardofpc has joined #ocaml
mbac has joined #ocaml
studybot has joined #ocaml
labichn has quit [Quit: Page closed]
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest88856
ollehar1 has quit [Ping timeout: 245 seconds]
Guest88856 has quit [Ping timeout: 264 seconds]
axiles has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
struktured has quit [Ping timeout: 260 seconds]
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
tane has quit [Quit: Verlassend]
Submarine has quit [Quit: Leaving]
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
rand000 has quit [Quit: leaving]
Simn has quit [Quit: Leaving]
BrainPirate has quit [Quit: BrainPirate]
maattdd has joined #ocaml
lordkryss has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz… Oh no wait i don't have a MBP, i just closed my client]
hhugo has quit [Quit: Leaving.]
maattdd has quit [Ping timeout: 240 seconds]
hhugo has joined #ocaml
ollehar has quit [Ping timeout: 276 seconds]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
alpounet has joined #ocaml
hhugo has quit [Quit: Leaving.]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
hhugo has joined #ocaml
agarwal1975 has joined #ocaml
BrainPirate has joined #ocaml
eikke__ has joined #ocaml
rgrinberg has joined #ocaml
ousado_ has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
ohama has quit [Disconnected by services]
Snark_ has joined #ocaml
ohama has joined #ocaml
cesar_ has joined #ocaml
tizoc` has joined #ocaml
cesar_ is now known as Guest6151
mcclurmc has quit [Remote host closed the connection]
tizoc` is now known as tizoc_
squiggnet_ has joined #ocaml
Averell- has joined #ocaml
tizoc has quit [Disconnected by services]
tizoc_ is now known as tizoc
tizoc has quit [Changing host]
tizoc has joined #ocaml
tizoc is now known as 14WAC3ZDI
squiggnet has quit [Write error: Broken pipe]
Averell has quit [Excess Flood]
ousado has quit [Remote host closed the connection]
Guest6151 has quit [Ping timeout: 240 seconds]
Snark has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
philtor_ has joined #ocaml
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]