_stack_ has quit [Read error: 113 (No route to host)]
ski_ has quit ["Lost terminal"]
erickt has left #ocaml []
_schulte_ has joined #ocaml
verte has joined #ocaml
Amorphous has quit [Read error: 104 (Connection reset by peer)]
_schulte_ has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
willb1 has quit [Remote closed the connection]
chahibi has quit [Read error: 110 (Connection timed out)]
valross has joined #ocaml
verte has quit [Read error: 110 (Connection timed out)]
kaustuv_ has joined #ocaml
kaustuv_` has quit [Read error: 110 (Connection timed out)]
<orbitz>
Camarade_Tux: looks like Factor has taken the palce of Haskell in terms of reddit spam
Mr_Awesome has joined #ocaml
tmaeda is now known as tmaedaZ
tmaedaZ is now known as tmaeda
seanmcl has quit []
seanmcl has joined #ocaml
seanmcl has quit [Client Quit]
Nutssh has joined #ocaml
ski_ has joined #ocaml
seanmcl has joined #ocaml
seanmcl has quit [Client Quit]
thrasibule has quit [Read error: 110 (Connection timed out)]
tonyIII__ has joined #ocaml
struktured_ has joined #ocaml
struktured has quit [Read error: 110 (Connection timed out)]
julm_ has joined #ocaml
det has quit [Read error: 60 (Operation timed out)]
julm has quit [Read error: 60 (Operation timed out)]
tmaeda is now known as tmaedaZ
stan_ has joined #ocaml
tmaedaZ is now known as tmaeda
ygrek has joined #ocaml
julm has joined #ocaml
<Camarade_Tux>
orbitz: haha, dons must be on vacations ;-)
tonyIII_ has quit [Read error: 110 (Connection timed out)]
julm_ has quit [Read error: 110 (Connection timed out)]
stan_ has quit [Client Quit]
tonyIII_ has joined #ocaml
ulfdoz has joined #ocaml
tonyIII__ has quit [Read error: 110 (Connection timed out)]
ttamttam has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has quit [Read error: 104 (Connection reset by peer)]
julm has joined #ocaml
_zack has joined #ocaml
santinic has joined #ocaml
santinic has quit [Client Quit]
julm has quit [Read error: 110 (Connection timed out)]
_zack has quit ["Leaving."]
mishok13 has joined #ocaml
_zack has joined #ocaml
Alpounet has joined #ocaml
ttamttam has quit ["Leaving."]
_stack_ has joined #ocaml
julm_ has joined #ocaml
ikaros has joined #ocaml
munga has joined #ocaml
valross has quit [Remote closed the connection]
Yoric[DT] has joined #ocaml
det has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
ikaros has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
_zack has quit ["Leaving."]
clog has joined #ocaml
clog has joined #ocaml
seanmcl has joined #ocaml
_schulte_ has joined #ocaml
seanmcl has quit []
seanmcl has joined #ocaml
ulfdoz has joined #ocaml
willb1 has joined #ocaml
ttamttam has quit ["Leaving."]
willb1 has quit [Remote closed the connection]
munga has quit [Read error: 113 (No route to host)]
tonyIII_ has quit [Read error: 110 (Connection timed out)]
tonyIII_ has joined #ocaml
M| has quit [Read error: 131 (Connection reset by peer)]
ikaros has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
kaustuv_ has quit [Read error: 60 (Operation timed out)]
kaustuv_ has joined #ocaml
onigiri has joined #ocaml
seanmcl has quit []
Smerdyakov has joined #ocaml
tonio has joined #ocaml
seanmcl has joined #ocaml
tonio has left #ocaml []
M| has joined #ocaml
Snark has joined #ocaml
_schulte_ has quit [Remote closed the connection]
lutter has joined #ocaml
julm__ has joined #ocaml
julm_ has quit [Read error: 60 (Operation timed out)]
<Camarade_Tux>
I've seen a demo of the framakey today, it's a pretty nice system: you can start firefox as a native app from an usb key, reboot on the ubuntu which shares its settings with the windows one so you get your firefox settings, and you can also use virtualbox to use that same ubuntu (so with the shared settings) on windows without rebooting
<Smerdyakov>
How is that related to OCaml?
<Camarade_Tux>
Smerdyakov: could be used for ocaml, and there was a discussion that related to that on the mailing-list
<Camarade_Tux>
(and if a virtual machine disk or a lib usb/dvd was better)
<flux>
I wonder, does a significant amount of people wanting to use a development environment in a foreign virtual environment really exist?
<flux>
although I suppose I could consider trying F# in a virtual environment first before trying it under Mono - but then again, I already have Windows installed (virtually)
Submarine has joined #ocaml
Submarine_ has joined #ocaml
M| has quit [Remote closed the connection]
Submarine_ has quit [Client Quit]
lutter has quit ["Leaving."]
julm__ is now known as julm
h3r3tic has quit [Read error: 113 (No route to host)]
<Camarade_Tux>
flux: well, no but for an introduction
<flux>
ooh, lwt2.0.0 is actually released
<thelema>
For running OCaml under windows, we just need a good packager and a good collection of modules to install with ocaml to get people going.
<Camarade_Tux>
feel like trying to compile obus too? :D
<Camarade_Tux>
thelema: that's harder than getting a virtual machine
ygrek has quit [Remote closed the connection]
<thelema>
to install a windows package?
<Camarade_Tux>
harder for us to get several packages on windows
<Camarade_Tux>
for now, virtualization is an easier solution
<thelema>
yes. But that doesn't mean our community shouldn't make the effort to support windows better than the horrible situation we have now.
<flux>
if you are a windows developer, do you really want to use a foreign environment to write software you can't use natively?
<flux>
nor can you easily pass on to your other friends running windows, which could be a big factor :-o
<Camarade_Tux>
thelema: definitely but if I were to do something within a month, I'd go for a VM
<Camarade_Tux>
and that wouldn't be aimed at devels but netwcomers
thrasibule has joined #ocaml
lutter has joined #ocaml
lutter has quit [Client Quit]
sramsay has joined #ocaml
<albacker>
is when some kind of if () do_this else jump_to_next_step .. this is all it does i mean?
<thelema>
albacker: huh?
<albacker>
when..
<albacker>
in ocaml
<thelema>
if <condition> then foo1 else foo2
<thelema>
if <condition> is true, then evaluate foo1
<thelema>
otherwise evaluate foo2
<albacker>
yeah.. i know what if is.
<albacker>
i dont know how to explain when.
<thelema>
match foo with xyz when <condition> -> foo1
<thelema>
condition must evaluate to true in order to follow that match branch.
<albacker>
yeah that's what i was trying to explain before with the if() ugly thing
<albacker>
does this exist in any other language?
<albacker>
the when ?
<thelema>
yes, Ada has guarded clauses in its thread synchronization primitives
<thelema>
IIRC, Perl6 will have guarded matches
<thelema>
although technically its case statement is just a series of guards.
ulfdoz has quit [Read error: 110 (Connection timed out)]
ulfdoz has joined #ocaml
sramsay has quit [Remote closed the connection]
Associat0r has joined #ocaml
Associat0r has quit [Remote closed the connection]
ikaros has quit ["Leave the magic to Houdini"]
M| has joined #ocaml
Snark has quit ["Ex-Chat"]
DV___ has joined #ocaml
<DV___>
can anyone please help me with grammar parsing?
shazam has joined #ocaml
DV___ is now known as vindimy
<julm>
vindimy: just expose your problem and wait =)
<vindimy>
julm: good point..
shazam is now known as palomer
<palomer>
man, google-chrome rocks, and there's a deb for it!
<vindimy>
right now i'm just trying to wrap my head around parsing the grammar referenced in the link...
<vindimy>
i'm not trying to get anyone do my homework for me of course but a few pointers would be really helpful
<thelema>
what's the type for awksub_grammar?
<palomer>
my helpful tip: try it and and come back when you have specific questions. We're pretty good at answering those
<thelema>
The assignment is to be able to parse any grammar, no?
<thelema>
given a grammar, make a matcher
<vindimy>
yes, any grammar of the form awksub_grammar...
<thelema>
the matcher should be able to take a fragment and an acceptor
<thelema>
and return the first acceptable match of the fragment
<vindimy>
so, my specific question at the moment is how would i go about just parsing some string given awksub_grammar
<vindimy>
thelema: correct! the acceptor takes a rulelist (aka derivation) and a fragment that is a suffix (suffix is what's left after matcher parsed the prefix of the fragment)
<vindimy>
so to sum up, parse_prefix takes a grammar and returns a matcher, matcher takes a fragment and an acceptor and returns whatever acceptor returns, and acceptor takes a rulelist and a fragment
<thelema>
for example: "0"
<thelema>
The rule-list would be: [[N Term]; [N LValue]; [T"0"]]
<vindimy>
correct, but with Expr on the front, i think..
<vindimy>
or maybe Expr -> Term -> Num -> T "0"
<thelema>
sure, maybe with Expr on the front.
<thelema>
how would you construct that trace?
<vindimy>
well, one would parse the fragment "0" and i think backtracing would result in this trace.. :/ not sure though.
<thelema>
how would you get to "0" in the first place?
<vindimy>
match "0" with one of the grammar members.. i'd get T "0"
<thelema>
nope.
<vindimy>
hmm then match "0" with the grammar starting at the top, exhaustively.. sort of like a tree search
<thelema>
your grammar is a start state and a transition function
<thelema>
yes, you'd have to use the transition function to find a path that matches
<vindimy>
grammar is a state and a function - that part is probably the key and i don't really get what it means
<thelema>
the start state tells you where you start
<thelema>
and the transition function tells you where you get from where you're at.
<vindimy>
sounds reasonable.. so technically grammar has the logic and method to arrive at the rule-list
<thelema>
so you start searching until you find something that matches the head of your input, and try continuing the search until you have no more N's to reduce
<vindimy>
is the rulelist built top-to-bottom or bottom-to-top, you think..?
<thelema>
top to bottom
<vindimy>
thanks thelema ... i'll try to crank out something then probably come back with the broken code.. heh
<thelema>
it should be straightforward - if you're going through contortions, you're doing it wrong
<vindimy>
my challenge is just not knowing where to begin :/ first exposure to ocaml and functional programming and grammars..
mishok13 has quit [Read error: 113 (No route to host)]
<thelema>
it's possibly a bit tricky problem for a beginner
<vindimy>
just a bit tricky, you think? i spent a few days just trying to understand what it wants :D
onigiri has quit []
ttamttam has joined #ocaml
<thelema>
with the right background, it's very straightforward.
tmaeda is now known as tmaedaZ
seanmcl has quit []
<vindimy>
i can't imagine how can i parse a fragment like ["4"; "+"; "3"] given a grammar :/