vuln has quit [Read error: 113 (No route to host)]
vuln has joined #ocaml
gaja has joined #ocaml
Cheshire has quit [Connection timed out]
jonafan_ has joined #ocaml
willb has quit [Read error: 110 (Connection timed out)]
thelema has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
jonafan has joined #ocaml
love-pingoo has joined #ocaml
jonafan_ has quit [Read error: 110 (Connection timed out)]
authentic has left #ocaml []
seafood has quit []
Camarade_Tux has quit ["Leaving"]
love-pingoo has quit ["Connection reset by pear"]
Proteus has quit [Read error: 113 (No route to host)]
Axioplase has quit ["brb"]
Axioplase has joined #ocaml
seafood has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
m3ga has joined #ocaml
Proteus has joined #ocaml
Proteus_ has joined #ocaml
caligula__ has joined #ocaml
caligula_ has quit [Read error: 110 (Connection timed out)]
Proteus has quit [Read error: 113 (No route to host)]
<
thelema>
any help?
<
thelema>
duh. found it.
mbana has quit [Read error: 110 (Connection timed out)]
schmx is now known as schme
m3ga has quit ["disappearing into the sunset"]
seafood has quit []
Stefan_vK1 has joined #ocaml
mwhitney_ has joined #ocaml
mwhitney has quit [Read error: 104 (Connection reset by peer)]
Stefan_vK has quit [Read error: 110 (Connection timed out)]
l_a_m has quit [Read error: 110 (Connection timed out)]
vuln has quit ["leaving"]
Proteus_ has quit [Read error: 113 (No route to host)]
mbana has joined #ocaml
mishok13 has joined #ocaml
_zack has joined #ocaml
mbana has quit [Read error: 60 (Operation timed out)]
Camarade_Tux has joined #ocaml
ikaros has joined #ocaml
pierre- has joined #ocaml
buzz0r has joined #ocaml
r0bby has quit [Success]
dim_ has joined #ocaml
Camarade_Tux has quit ["Leaving"]
seafood has joined #ocaml
gdmfsob has joined #ocaml
mfp has quit [Read error: 101 (Network is unreachable)]
mfp has joined #ocaml
mishok13 has quit [Read error: 110 (Connection timed out)]
det has joined #ocaml
OChameau has joined #ocaml
Stefan_vK1 has quit [Read error: 110 (Connection timed out)]
seafood has quit []
gdmfsob is now known as mishok13
ikaros has quit [".quit"]
s4tan has joined #ocaml
ched has joined #ocaml
tripwyre has joined #ocaml
Stefan_vK has joined #ocaml
abattisti has joined #ocaml
tripwyre has quit [Read error: 110 (Connection timed out)]
s4tan has quit [Read error: 104 (Connection reset by peer)]
s4tan has joined #ocaml
Axioplase is now known as Axioplase_
tripwyre has joined #ocaml
Axioplase_ has quit [Read error: 104 (Connection reset by peer)]
s4tan has quit [Read error: 110 (Connection timed out)]
avsm has joined #ocaml
s4tan has joined #ocaml
abattisti has quit []
slash_ has joined #ocaml
tripwyre has quit []
s4tan has quit [Read error: 60 (Operation timed out)]
hkBst has joined #ocaml
s4tan has joined #ocaml
seafood has joined #ocaml
deadc0de has joined #ocaml
mattc58 has joined #ocaml
s4tan has quit [Connection timed out]
deadc0de has quit [Read error: 110 (Connection timed out)]
Cheshire has joined #ocaml
r0bby has joined #ocaml
oandrieu has joined #ocaml
s4tan has joined #ocaml
sporkmonger has joined #ocaml
deadc0de has joined #ocaml
deadc0de has quit [Connection timed out]
<
kig>
polymorphic regex type and parsers for char regex, int regex and float regex
s4tan has quit [Connection timed out]
<
thelema>
kig: nice. Unicode?
<
flux>
you don't appear to make much use of the polymorphic type, as the type is 'char' almost everywhere?
<
flux>
anyway, I like the idea. too often they are fixed to char types, although you could potentially use them for decoding binary protocols etc
<
flux>
kig, the next step is to generate a state machine, to speed up processing ;)
s4tan has joined #ocaml
<
kig>
flux: the Char is a polymorphic element
<
kig>
the type of it can be anything
<
sanguinev>
... the type of a char can be anything? Huh?
<
kig>
but you need to write a parser to convert a particular regex syntax to a regex AST
<
flux>
sanguinev, but none of the functions do anything with 'a regex
<
kig>
it just parses atm
<
kig>
string -> [int|float|char] regex
<
kig>
next step would be the compiler and execute
seafood has quit []
<
kig>
and then it might be possible to do array_pmatch (int_regex "20;57;0*$") some_int_array
<
kig>
or unicode_pmatch (unicode_regex "foo") string or whatever it ends up having
<
kig>
the parser's the easy part :)
mattc58 has quit []
deadc0de has joined #ocaml
s4tan has quit [Read error: 110 (Connection timed out)]
<
flux>
in the end you can have the parser use the regexp engine?-)
<
kig>
bootstrapping libraries sounds like a not such a fantastic idea
willb has joined #ocaml
deadc0de has quit [Read error: 110 (Connection timed out)]
<
kig>
now i just have to figure out how to write a regexp engine D:
<
kig>
hmm, the NFA generator can be polymorphic
<
kig>
and the executer
<
kig>
the core of it at least, i guess it'd look like let result = execute (create_nfa ast) tokenizer input
<
kig>
val execute : ('a regex -> 'a nfa) ('b -> int -> ('a * 'b)) 'b
s4tan has joined #ocaml
vuln has joined #ocaml
oandrieu has left #ocaml []
s4tan has quit [Read error: 60 (Operation timed out)]
s4tan has joined #ocaml
ikaros has joined #ocaml
Proteus has joined #ocaml
deadc0de has joined #ocaml
love-pingoo has joined #ocaml
s4tan has quit [Connection timed out]
realtime has quit [Remote closed the connection]
realtime has joined #ocaml
jlouis has quit ["Lost terminal"]
jlouis has joined #ocaml
ched has quit ["Ex-Chat"]
ched has joined #ocaml
mbana has joined #ocaml
dim_ has quit ["leaving"]
Camarade_Tux has joined #ocaml
mischief6 has quit ["For they have sown the wind, and they shall reap the whirlwind."]
deadc0de has quit [Read error: 110 (Connection timed out)]
marmotine has joined #ocaml
Spiwack has joined #ocaml
gaja_ has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
sporkmonger has quit [Remote closed the connection]
Spiwack has quit ["Leaving"]
buzz0r has quit ["Ex-Chat"]
psnively has joined #ocaml
mattc58 has joined #ocaml
love-pingoo has quit [Read error: 60 (Operation timed out)]
slash_ has quit [Read error: 60 (Operation timed out)]
ttamttam has joined #ocaml
love-pingoo has joined #ocaml
jlouis has quit [Read error: 54 (Connection reset by peer)]
stmi has joined #ocaml
jlouis has joined #ocaml
Cheshire has quit [Read error: 104 (Connection reset by peer)]
Cheshire has joined #ocaml
kernoops has joined #ocaml
kernoops has left #ocaml []
Associat0r has quit []
ttamttam has left #ocaml []
kelaouchi has quit [Client Quit]
kelaouchi has joined #ocaml
psnively has quit [Read error: 110 (Connection timed out)]
pierre- has quit [Read error: 110 (Connection timed out)]
mattc58 has quit []
marmotine has quit ["mv marmotine Laurie"]
willb has quit [Read error: 60 (Operation timed out)]
stmi has quit [Read error: 104 (Connection reset by peer)]
stmi has joined #ocaml
_zack has quit ["Leaving."]
stmi has quit [Read error: 104 (Connection reset by peer)]
_zack has joined #ocaml
stmi has joined #ocaml
seafood has joined #ocaml
jonasb has joined #ocaml
kg4qxk has quit [Read error: 113 (No route to host)]
_zack has quit ["Leaving."]
kg4qxk has joined #ocaml
ched has quit ["Ex-Chat"]
jdh30 has joined #ocaml
<
jdh30>
hey jlouis, you here?!
jdh30 is now known as Guest85765
stmi has quit [Remote closed the connection]
stmi has joined #ocaml
yziquel has joined #ocaml
rhar has joined #ocaml
ikaros has quit [Remote closed the connection]