ziyourenxiang has quit [Read error: Connection reset by peer]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 is now known as Guest40415
infinity0 has joined #ocaml
Guest40415 has quit [Killed (tolkien.freenode.net (Nickname regained by services))]
<Fare>
Cuddle, that's if you port Deedle
<Fare>
plain numeric code -- there are already libraries for that
<cranmax>
Fare: okay if I make it, I'll think about your suggestions
FreeBirdLjj has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Ping timeout: 255 seconds]
nomicflux has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
enterprisey has joined #ocaml
nomicflux has quit [Quit: nomicflux]
_whitelogger has joined #ocaml
aantron_ has joined #ocaml
<aantron_>
Drup: the unison repo on github only goes back to 2005, but the project is older. i didn't check that the code was already present in the initial commit, or otherwise look deeply yet for any old archives, changelogs, etc
nomicflux has joined #ocaml
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
theindigamer has joined #ocaml
theindigamer has left #ocaml [#ocaml]
nomicflux has quit [Client Quit]
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
snowcrshd has quit [Remote host closed the connection]
snowcrshd has joined #ocaml
snowcrshd has quit [Ping timeout: 255 seconds]
mfp__ has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
FreeBirdLjj has joined #ocaml
nomicflux has quit [Quit: nomicflux]
malina has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 276 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
average has quit [Ping timeout: 258 seconds]
pierpa has quit [Quit: Page closed]
FreeBirdLjj has quit [Remote host closed the connection]
katie has joined #ocaml
<katie>
hey, I need to compile standard ML, what;s the best compiler / interpreter?
<Armael>
I'd say mlton / polyml / smlnj
<Armael>
but I know little about SML
<Armael>
mlton is the one that performs the most aggressive optimisations
<katie>
Ok thanks, I've heard a lot about mlton
<Armael>
I only know these existe, so I can't really speak for the tooling around them or their respective user experience
<Armael>
exist*
snowcrshd has joined #ocaml
katie has quit [Quit: Page closed]
snowcrshd has quit [Ping timeout: 255 seconds]
copy_ has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
cranmax has quit [Quit: Connection closed for inactivity]
alexelcu has quit [Remote host closed the connection]
alexelcu has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
enterprisey has quit [Remote host closed the connection]
aantron_ has quit [Quit: Page closed]
FreeBirdLjj has joined #ocaml
samrat has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
snowcrshd has joined #ocaml
snowcrshd has quit [Ping timeout: 255 seconds]
ygrek has joined #ocaml
snowcrshd has joined #ocaml
snowcrshd has quit [Ping timeout: 255 seconds]
enterprisey has joined #ocaml
malkss has joined #ocaml
<malkss>
Anyone think they can break my hashing function? (this is just a fun challenge I made): http://ideone.com/nSJa45 Goal: Determine the plaintext of the following hash: d0c0c93dcff308d1
<malkss>
100USD to anyone who manages to solve/break it by finding a Preimage attack! :)
slash^ has joined #ocaml
<adrien>
still doesn't look related to ocaml at all
olibjerd has joined #ocaml
enterprisey has quit [Remote host closed the connection]
samrat has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
snowcrshd has joined #ocaml
snowcrshd has quit [Ping timeout: 255 seconds]
TheLemonMan has joined #ocaml
FreeBirdLjj has joined #ocaml
samrat has joined #ocaml
_whitelogger has joined #ocaml
MercurialAlchemi has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
snowcrshd has joined #ocaml
snowcrshd has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
jnavila has joined #ocaml
zpe has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
argent_smith has joined #ocaml
mfp__ has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
cranmax has joined #ocaml
andreas_ has joined #ocaml
TheLemonMan has joined #ocaml
snowcrshd has joined #ocaml
average has joined #ocaml
malkss has quit [Ping timeout: 260 seconds]
snowcrshd has quit [Ping timeout: 255 seconds]
_whitelogger has joined #ocaml
douglarek has joined #ocaml
snowcrshd has joined #ocaml
malina has joined #ocaml
snowcrshd has quit [Ping timeout: 255 seconds]
douglarek has quit [Ping timeout: 260 seconds]
_whitelogger has joined #ocaml
Algebr has joined #ocaml
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
_whitelogger has joined #ocaml
Fare has quit [Ping timeout: 248 seconds]
snowcrshd has joined #ocaml
snowcrshd has quit [Remote host closed the connection]
snowcrshd has joined #ocaml
lostman has joined #ocaml
jlam__ has joined #ocaml
TheLemonMan has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
snowcrshd has quit [Remote host closed the connection]
jlam__ has quit [Ping timeout: 255 seconds]
jlam_ has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
nomicflux has joined #ocaml
demonimin has quit [Ping timeout: 268 seconds]
TheLemonMan has joined #ocaml
demonimin has joined #ocaml
demonimin has joined #ocaml
nomicflux has quit [Quit: nomicflux]
demonimin has quit [Ping timeout: 240 seconds]
snowcrshd has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
snowcrshd has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
demonimin has joined #ocaml
spew has joined #ocaml
nomicflux has joined #ocaml
jlam__ has joined #ocaml
Fare has joined #ocaml
jlam__ has quit [Read error: Connection reset by peer]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 276 seconds]
snowcrshd has joined #ocaml
nomicflux has quit [Quit: nomicflux]
snowcrshd has quit [Ping timeout: 255 seconds]
bombastus has joined #ocaml
spew has quit [Ping timeout: 248 seconds]
shinnya has joined #ocaml
spew has joined #ocaml
nomicflux has joined #ocaml
spew has quit [Ping timeout: 260 seconds]
nomicflux has quit [Quit: nomicflux]
snowcrshd has joined #ocaml
snowcrshd has quit [Ping timeout: 255 seconds]
nomicflux has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
nomicflux has quit [Quit: nomicflux]
aantron_ has joined #ocaml
nomicflux has joined #ocaml
malina has quit [Ping timeout: 276 seconds]
<aantron_>
bwahaha the 2008 lwt paper calls lwt.ts promises. i am pleased.
<aantron_>
aw man
<Drup>
ahah, you now have a very effective argument :p
<aantron_>
"Type Lwt.t can also be interpreted as the type of threads... We adopt this interpretation for the remainder of the paper."
<aantron_>
:)
<flux>
this change in terminology is partulcarly good for the presentation of ocaml multicore, where we might then have Lwt futures and ocaml threads, and domains :)
<flux>
(not to say the previous terminology wasn't baffling to me..)
<Drup>
maybe we could call the fibers, to make everyone really confused
<Drup>
them*
<aantron_>
:D
<aantron_>
light-weight fibers
MercurialAlchemi has quit [Remote host closed the connection]
bombastus has quit [Ping timeout: 276 seconds]
ryanartecona has joined #ocaml
nomicflux has quit [Quit: nomicflux]
<aantron_>
pretty decent paper. somewhat out of date (as would be expected), but it may have saved me a day or two of untangling lwt.ml manually (out of several weeks), had i read it earlier. thanks again for the link
<Drup>
well, you basically wrote a new paper in the sources now :p
<aantron_>
yeah, i partially thought of it as a paper :)
mal``` has quit [Quit: Leaving]
mal`` has joined #ocaml
_y has quit [Ping timeout: 240 seconds]
snowcrshd has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
snowcrshd has quit [Ping timeout: 240 seconds]
sgronblo has quit [Ping timeout: 255 seconds]
freusque has joined #ocaml
lostman has quit [Quit: Connection closed for inactivity]
freusque has quit [Ping timeout: 255 seconds]
ryanartecona has quit [Quit: ryanartecona]
ygrek has joined #ocaml
aantron_ has quit [Quit: Page closed]
shinnya has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
sgronblo has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
sgronblo has quit [Ping timeout: 268 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
minn has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
pmetzger has joined #ocaml
<minn>
What is the shortest path from a lexer written in ocamllex to a lexer that supports Unicode? I would like to retain as much of the existing code base as possible. For this particular project, accurately representing non-ascii text isn't particularly important. I see several options online (Camomile, Ulex, Uutf) but am not what the best solution is.
sgronblo has joined #ocaml
<pmetzger>
utf-8 is sorta/kinda compatible with ascii, so if none of your lexemes depend on unicode chars (like if they're only used inside string tokens or some such) you might not need to think about unicode.
<Drup>
do you intend to have unicode keywords in your syntax, or just handle unicode symbols (in strings, for example) ?
<pmetzger>
if on the other hand you need regexps that have to distinguish unicode that trick won't work.
sgronblo has quit [Ping timeout: 248 seconds]
jlam__ has quit [Read error: Connection reset by peer]
jlam_ has joined #ocaml
jlam__ has joined #ocaml
breitenj- has quit [Quit: ZNC - 1.6.0 - http://znc.in]
breitenj has joined #ocaml
snowcrshd has joined #ocaml
<pmetzger>
though you can again _sort of_ fake it. If you just need, say, to recognize a unicode operator or two and the input is utf8 you can open code the utf8. the real problem comes when, say, you want to say something like "an identifier starts with any unicode symbol that is a letter". then you're in trouble.
jlam_ has quit [Ping timeout: 268 seconds]
<minn>
The lexemes themselves can depend on Unicode (e.g., Unicode identifiers in some languages). This problem should have been caught earlier, but unfortunately a decent chunk of code now depends on ocamllex. Given a lexer with native Unicode support, conversion isn't that difficult. The current solution is to approximate the Unicode strings with ASCII equivalents (this is fine for the use-case).
breitenj has quit [Client Quit]
breitenj has joined #ocaml
<octachron>
pmetzger, or when you hit the problem of unicode glyph with multiple byte sequence encodings
breitenj has quit [Client Quit]
<pmetzger>
Only if it is not a small thing. If you want to encode a right arrow token, you can do that by just specifying the bytes that make it up. but if you need to specify that an identifier can start with some arbitrary thing, it's not feasible.
<pmetzger>
remember in lex-like systems I can specify "if" is a token, so I can just as easily specify the two bytes for a right arrow (which I can't for the life of me remember).
<pmetzger>
but the generalized equivalent of "[A-Za-z][A-Za-z0-9]*" in a lex-like system requires that the lexical analyzer generator really understand unicode or you go mad. You _can_ still do it, but it is ugly beyond reason.
<Drup>
minn: you can take a look at sedlex
<minn>
pmetzger: That's one of the reasons I'm a little hesitant to try hacking special support into ocamllex.
<minn>
Drup: Yeah, I am looking at Ulex and sedlex (it looks like Ulex hasn't been maintained in a few years while sedlex is actively being developed).
<Drup>
sedlex is modern ulex
breitenj has joined #ocaml
_y has joined #ocaml
<minn>
I see. I was seeing lots of references to ulex on the internet (and in, e.g., real world ocaml).
<pmetzger>
I just glanced. The documentation for sedlex isn't very explicit. :)
<minn>
Haha. I count it as an unexpected blessing when I find ocaml packages with explicit (any) documentation.
<Drup>
urk, yeah, the documentation of sedlex is shit
<pmetzger>
I happen to like the lexer definition -> lex-like program -> ocaml code for lexer workflow that things like ocamllex provide.
<pmetzger>
but the lack of unicode is problematic in 2017.
FreeBirdLjj has joined #ocaml
dtornabene has joined #ocaml
<minn>
I think it depends on what you're doing. Sometimes I just want a nice parser combinator library. Other times I want the standard lex/yacc workflow.
FreeBirdLjj has quit [Ping timeout: 240 seconds]
<pmetzger>
for experimenting with compilers, lex/yacc (though not with all the warts of the originals) is a nice workflow.
nicooo has joined #ocaml
nicoo has quit [Ping timeout: 248 seconds]
ed-ilyin-lv has quit [Quit: WeeChat 1.4]
KeyJoo has joined #ocaml
malina has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
dtornabene has left #ocaml ["Leaving"]
sgronblo has joined #ocaml
sgronblo has quit [Ping timeout: 276 seconds]
Anarchos has joined #ocaml
FreeBirdLjj has joined #ocaml
pierpa has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Client Quit]
malc_ has joined #ocaml
nomicflux has joined #ocaml
tane has joined #ocaml
kakadu has joined #ocaml
sgronblo has joined #ocaml
olibjerd has quit [Quit: olibjerd]
pierpa has quit [Quit: Page closed]
sgronblo has quit [Ping timeout: 255 seconds]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
<theindigamer>
If someone could help me understand what's going on, that'd be awesome. The issue is that the package works find through utop + topfind but stops working on compiling with ocamlbuild.
<theindigamer>
*works fine
sgronblo has joined #ocaml
jlam_ has joined #ocaml
<octachron>
theindigamer, it seems to work with the "all_formats" subpackage, i.e. by replacing "package(camlimages)" with "package(camlimages.all_formats)
sgronblo has quit [Ping timeout: 255 seconds]
jlam__ has quit [Ping timeout: 246 seconds]
<theindigamer>
octachron, yup I was just messing around and got the same result. Thanks!
<theindigamer>
I didn't realise that there were subpackages and stuff. I suppose it is an ocamlbuild/ocamlfind bug that is not present in topfind.
kakadu has quit [Remote host closed the connection]
cranmax has quit [Quit: Connection closed for inactivity]
nomicflux has quit [Quit: nomicflux]
<octachron>
theindigamer, finding the list of subpackages of a package does seems too far arcane
<theindigamer>
octachron, not sure if you are being sarcastic or serious ...
bombastus has joined #ocaml
cranmax has joined #ocaml
FreeBirdLjj has joined #ocaml
<octachron>
theindigamer, I was being serious? Finding about the existence (and the names) of subpackage should be absolutely obvious; and it is not
FreeBirdLjj has quit [Ping timeout: 268 seconds]
bombastus has quit [Read error: Connection reset by peer]