<xenocons>
i am trying to type this bnf in ML, <x> : <m>? <q> | <p>? <k>, i realise we have optional parameters to functions, but im confused how to best model this in a type
emmanuelux has quit [Quit: emmanuelux]
<xenocons>
does one model it loosly then apply constraints when parsing?
<xenocons>
or can you introduce boolean constraints within the DU itself
groovy2shoes has quit [Quit: groovy2shoes]
tane has quit [Quit: Verlassend]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
milosn has joined #ocaml
milosn_ has quit [Ping timeout: 252 seconds]
smerz_ has quit [Ping timeout: 268 seconds]
milosn_ has joined #ocaml
milosn has quit [Read error: Operation timed out]
raichoo has quit [Quit: leaving]
yacks has joined #ocaml
yacks has quit [Read error: Connection reset by peer]
yacks has joined #ocaml
xenocons has left #ocaml []
darkf has quit [Ping timeout: 264 seconds]
darkf has joined #ocaml
ewanas has joined #ocaml
derek_c has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
mrm has joined #ocaml
zpe has joined #ocaml
Kakadu has joined #ocaml
cdidd has joined #ocaml
awm22 has quit [Quit: Leaving.]
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 256 seconds]
Zerker has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
<wmeyer>
morning
<Kakadu>
hey!
<companion_cube>
\o
<wmeyer>
o/
<ousado>
\o/
<wmeyer>
\o/
<def-lkb>
\o
darkf_ is now known as darkf
<wmeyer>
o/
fayden has joined #ocaml
eikke has joined #ocaml
<mrm>
/o\
eni has joined #ocaml
eikke has quit [Ping timeout: 246 seconds]
derek_c has quit [Quit: leaving]
tane has joined #ocaml
ttamttam has joined #ocaml
Zerker has joined #ocaml
gildor has quit [Quit: leaving]
ttamttam has quit [Quit: ttamttam]
ulfdoz has joined #ocaml
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
eikke has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
yacks has joined #ocaml
eikke has quit [Ping timeout: 276 seconds]
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
Zerker has quit [Quit: Colloquy for iPad - Timeout (10 minutes)]
q66 has joined #ocaml
ttamttam has joined #ocaml
eikke has joined #ocaml
eikke has quit [Ping timeout: 256 seconds]
eikke has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
ulfdoz has quit [Ping timeout: 245 seconds]
dezzy_ has joined #ocaml
dezzy_ has quit [Client Quit]
eikke has quit [Ping timeout: 245 seconds]
dezzy_ has joined #ocaml
dezzy_ is now known as wahjava_
wahjava_ has quit [Client Quit]
jbrown__ has quit [Remote host closed the connection]
Anarchos has joined #ocaml
ttamttam has quit [Remote host closed the connection]
yacks has quit [Read error: Connection reset by peer]
tani has joined #ocaml
mrm has quit [Read error: Connection reset by peer]
mrm has joined #ocaml
tane has quit [Ping timeout: 252 seconds]
yacks has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ttamttam has joined #ocaml
eikke has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
mcclurmc has joined #ocaml
eikke has quit [Read error: Operation timed out]
ontologiae has joined #ocaml
jsvgoncalves has joined #ocaml
mcclurmc has quit [Ping timeout: 258 seconds]
ontologiae has quit [Ping timeout: 252 seconds]
RagingDave has joined #ocaml
eikke has joined #ocaml
eikke has quit [Ping timeout: 260 seconds]
jsvgoncalves has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
sepp2k has joined #ocaml
jsvgoncalves has joined #ocaml
jsvgoncalves has quit [Excess Flood]
jsvgoncalves has joined #ocaml
eikke has joined #ocaml
weie has quit [Quit: Leaving...]
eikke has quit [Ping timeout: 245 seconds]
middayc has joined #ocaml
emmanuelux has joined #ocaml
rednovae has joined #ocaml
<Kakadu>
if I compile single .ml file is it possible to specify where result .cmo will be located?
<Kakadu>
naive -o works only for executables
<flux>
afaik it is not
<flux>
that's why ocamlbuild does its _build thingy where it copies all source etc.
<rednovae>
Hello #ocmal. I'm taking some time today to begin learning ocaml. This is my first time learning a functional language. As such, the syntax is a bit foreign to me, and I'm struggling with basic concepts.
<rednovae>
To begin, I'd like to great a function that returns a list of type char; I believe this should be: let a -> [] = ['a'; 'b'];
<rednovae>
why is this incorrect?
<Kakadu>
let a = ['a'; 'b']
<Kakadu>
what are you trying to achive by `-> []`?
<rednovae>
i thought that meant "return type list"
<thizanne>
it means something like this in a type
<thizanne>
char list -> char list, for an example
groovy2shoes has joined #ocaml
<thizanne>
but when you write your expressions you don't write this
<rednovae>
ok
<middayc>
how is OCaml doint compared to 2 years ago, better or worse? I tried to use it for some practical stuff then and really really liked the language, but there was a lack of libraries... (I see the website is still the same)
<rednovae>
do identifiers that begin with uppercase letters have special meaning?
<middayc>
ironically every language that I saw come out since then looked like a half-ocaml with c-like syntax
<thizanne>
modules, basically
ttamttam has left #ocaml []
<middayc>
thizanne: wow, this looks like some nice progress, even if it's just cosmetical (not that I say or know it is)!
<rednovae>
let a = [1; 2];; let b = [3; 4];; List.concat a b;;
<rednovae>
or, how do i combine lists?
<rednovae>
List.append
<middayc>
thizanne: wow again, I am really positively surprised, looking at site ... and I did search on github for ocaml + tokyo, redis, zmq, PEG which I used a while ago to eval how alive some also more alter langs and they are all there!
groovy2shoes has quit [Quit: groovy2shoes]
ulfdoz has joined #ocaml
darkf has quit [Quit: Leaving]
wormphlegm has quit [Ping timeout: 264 seconds]
astro73|mal_ has quit [Ping timeout: 264 seconds]
<gasche>
middayc: I'm not sure tokyo, redis and zmq are reasonable ways to evaluate the liveness of a language
<gasche>
it is strongly correlated with the web folks that likes hype
<gasche>
and arguably that is not the natural market for OCaml
<gasche>
(I'm not saying OCaml libraries are more numerous than you think they are; we agree that there is a lack of visible library ecosystem; I'm just saying that this test will always be flawed towards the languages developped by the communities doing cool web stuff, and that's not necessarily representative of the software being written at large)
ttamttam has joined #ocaml
wormphlegm has joined #ocaml
iZsh has quit [Quit: Coyote finally caught me]
fraggle_ has quit [Ping timeout: 252 seconds]
<middayc>
yes, I actually don't use Redis (I did ZMQ and it shows I can connect language to other things), but it shows if recent libs/bindings are created, or some fresh (hyped) blood is comming in :)
astro73|mal has joined #ocaml
fraggle_ has joined #ocaml
ttamttam has left #ocaml []
ttamttam has joined #ocaml
ttamttam has left #ocaml []
pango has quit [Ping timeout: 256 seconds]
eni has quit [Ping timeout: 264 seconds]
pango has joined #ocaml
astertronistic has joined #ocaml
ontologiae has joined #ocaml
Watcher7 has joined #ocaml
middayc has quit [Ping timeout: 246 seconds]
middayc has joined #ocaml
eikke has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
<gasche>
middayc: sure; and in fact other languages that are relatively close, such as Haskell and F#, have shown that we functional programmers can also attract the hype-web communities
<gasche>
so there is no reason not to have those libraries in OCaml
<gasche>
don't hesitate to develop some :)
groovy2shoes has joined #ocaml
groovy2shoes has quit [Quit: groovy2shoes]
walter has quit [Quit: This computer has gone to sleep]
walter has joined #ocaml
jsvgoncalves has quit [Ping timeout: 264 seconds]
walter has quit [Quit: This computer has gone to sleep]
walter has joined #ocaml
Anarchos has joined #ocaml
jsvgoncalves has joined #ocaml
groovy2shoes has joined #ocaml
sepp2k has quit [Remote host closed the connection]
derek_c has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
astro73|mal has quit [Ping timeout: 240 seconds]
astro73|mal has joined #ocaml
ontologiae has quit [Ping timeout: 276 seconds]
ontologiae has joined #ocaml
derek_c has quit [Ping timeout: 245 seconds]
walter has quit [Quit: This computer has gone to sleep]
cdidd has quit [Remote host closed the connection]
walter has joined #ocaml
ontologiae has quit [Ping timeout: 276 seconds]
eikke has quit [Ping timeout: 245 seconds]
Arsenik has joined #ocaml
mrm has quit [Remote host closed the connection]
emmanuelux has joined #ocaml
weie has joined #ocaml
ulfdoz has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
fraggle_ has quit [Remote host closed the connection]
Kakadu has quit [Read error: Connection reset by peer]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
smerz_ has joined #ocaml
Arsenik has quit [Remote host closed the connection]
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
derek_c has joined #ocaml
jsvgoncalves has quit [Read error: Connection reset by peer]