adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org and http://caml.inria.fr | http://ocaml.org/releases/4.02.0.html | Public channel logs at http://irclog.whitequark.org/ocaml
manizzle has quit [Ping timeout: 260 seconds]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
rwmjones has quit [Read error: No route to host]
rwmjones has joined #ocaml
tautologico has joined #ocaml
manizzle has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
arquebus has joined #ocaml
_5kg_ has quit [Ping timeout: 272 seconds]
_5kg_ has joined #ocaml
taion809 has joined #ocaml
<dmbaturin> Waking up from a dream about nested pattern matching feels strange at best. :)
<whitequark> you'll get used to it
<dmbaturin> Well, I guess. I got used to dreams about imperative languages fairly quick. :)
tautologico has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
arquebus has quit [Quit: Konversation terminated!]
q66 has quit [Quit: Leaving]
rgrinberg has quit [Quit: Leaving.]
philtom has joined #ocaml
rand000 has joined #ocaml
hhugo has quit [Quit: Leaving.]
araujo has quit [Ping timeout: 272 seconds]
netroby has joined #ocaml
rand000 has quit [Quit: leaving]
hefner has joined #ocaml
rgrinberg has joined #ocaml
malo has quit [Remote host closed the connection]
bytbox has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
araujo has joined #ocaml
bytbox has quit [Remote host closed the connection]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
manizzle has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Quit: Leaving.]
taion809 has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
lostman has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
samrat has joined #ocaml
msaegesser has quit [Ping timeout: 272 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
araujo has quit [Quit: Leaving]
ygrek has joined #ocaml
rfv_ is now known as rfv
ygrek has quit [Ping timeout: 245 seconds]
<flux> pretty cool: (hit ctrl-enter to evaluate block of code) http://andrewray.github.io/iocamljs/oh261.html
samrat has joined #ocaml
nox has quit [Ping timeout: 260 seconds]
iorivur has quit [Ping timeout: 260 seconds]
rfv has quit [Ping timeout: 260 seconds]
msch has quit [Ping timeout: 260 seconds]
_tca has quit [Ping timeout: 260 seconds]
jennmoneydollars has quit [Ping timeout: 260 seconds]
jeroud has quit [Ping timeout: 245 seconds]
leifw has quit [Read error: Connection reset by peer]
strmpnk has quit [Ping timeout: 272 seconds]
puzza007_ has quit [Ping timeout: 260 seconds]
jcloud has quit [Read error: Connection reset by peer]
emmanueloga_ has quit [Ping timeout: 245 seconds]
SethTisue_______ has quit [Ping timeout: 260 seconds]
steshaw has quit [Ping timeout: 260 seconds]
lostman has quit [Ping timeout: 272 seconds]
__marius_____ has quit [Ping timeout: 260 seconds]
jzelinskie has quit [Ping timeout: 272 seconds]
lopex has quit [Ping timeout: 260 seconds]
niftyn8 has quit [Ping timeout: 260 seconds]
andreypopp_ has quit [Ping timeout: 272 seconds]
ggherdov___ has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
cespinoza has quit [Quit: Saliendo]
lopex has joined #ocaml
strmpnk has joined #ocaml
jcloud has joined #ocaml
jeroud has joined #ocaml
andreypopp_ has joined #ocaml
rfv_ has joined #ocaml
msch has joined #ocaml
_tca has joined #ocaml
nox has joined #ocaml
lostman has joined #ocaml
jennmoneydollars has joined #ocaml
emmanueloga_ has joined #ocaml
nifty___ has joined #ocaml
leifw has joined #ocaml
steshaw has joined #ocaml
jzelinskie has joined #ocaml
__marius_____ has joined #ocaml
puzza007_ has joined #ocaml
SethTisue_______ has joined #ocaml
axiles has joined #ocaml
pango_ has quit [Quit: Client exiting]
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
Simn has joined #ocaml
ggherdov___ has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
iorivur has joined #ocaml
ygrek has joined #ocaml
jao has quit [Remote host closed the connection]
shinnya has joined #ocaml
rgrinberg has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
morphles has joined #ocaml
samrat has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 272 seconds]
tane has joined #ocaml
Moogly2012 has joined #ocaml
rgrinberg has joined #ocaml
jcloud has quit [Quit: Connection closed for inactivity]
ontologiae has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
rgrinberg has quit [Quit: Leaving.]
Kakadu has joined #ocaml
ebzzry_ has quit [Ping timeout: 260 seconds]
ebzzry_ has joined #ocaml
Hannibal_Smith has joined #ocaml
BitPuffin has quit [Ping timeout: 260 seconds]
lordkryss has joined #ocaml
morphles has quit [Ping timeout: 260 seconds]
netroby has quit [Quit: Leaving]
rand000 has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
mobajm has quit [Ping timeout: 260 seconds]
contempt has quit [Ping timeout: 240 seconds]
seliopou has quit [Read error: Connection reset by peer]
seliopou has joined #ocaml
contempt has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
Kakadu has joined #ocaml
englishm has quit [Ping timeout: 260 seconds]
thomasga has joined #ocaml
ygrek has joined #ocaml
contempt has quit [Read error: Connection reset by peer]
contempt has joined #ocaml
Muzer has quit [Ping timeout: 258 seconds]
Muzer has joined #ocaml
srax has quit [Ping timeout: 258 seconds]
srax1 has joined #ocaml
SHODAN has quit [Ping timeout: 258 seconds]
samrat has joined #ocaml
q66 has joined #ocaml
fraggle-boate has quit [Ping timeout: 258 seconds]
Antoine59 has quit [Ping timeout: 258 seconds]
Antoine59 has joined #ocaml
SHODAN has joined #ocaml
libertas has quit [Ping timeout: 258 seconds]
libertas has joined #ocaml
sad0ur_ has joined #ocaml
dinosaure1 has joined #ocaml
sad0ur has quit [Ping timeout: 258 seconds]
robink has quit [Ping timeout: 258 seconds]
seliopou has quit [Ping timeout: 258 seconds]
dinosaure has quit [Read error: Connection reset by peer]
contempt has quit [Remote host closed the connection]
robink has joined #ocaml
dinosaure1 is now known as dinosaure
seliopou has joined #ocaml
hhugo has joined #ocaml
_5kg_ has quit [Remote host closed the connection]
contempt_ has joined #ocaml
contempt_ has quit [Changing host]
contempt_ has joined #ocaml
fraggle-boate has joined #ocaml
Kakadu has left #ocaml [#ocaml]
Kakadu has joined #ocaml
_5kg has joined #ocaml
contempt_ is now known as contempt
ygrek has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
ygrek has joined #ocaml
hhugo has quit [Quit: Leaving.]
rand000 has quit [Quit: leaving]
BiDOrD has quit [Remote host closed the connection]
BiDOrD has joined #ocaml
BiDOrD has quit [Remote host closed the connection]
BiDOrD has joined #ocaml
ontologiae has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
Moogly2012 has quit [Quit: Leaving]
samrat has quit [Quit: Computer has gone to sleep.]
tani has joined #ocaml
tane has quit [Ping timeout: 240 seconds]
tani has quit [Quit: Verlassend]
noam has joined #ocaml
hhugo has joined #ocaml
hexo is now known as ohnivy_python3
pminten has joined #ocaml
pminten|2 has joined #ocaml
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
pminten has quit [Ping timeout: 260 seconds]
hhugo has quit [Client Quit]
srax1 is now known as srax
ygrek has joined #ocaml
taion809 has joined #ocaml
<adrien> http://i.imgur.com//8pIl5uG.png <- win-builds' gui (EFL through ocaml-efl) on Windows after all the packages have been installed
<adrien> proper font soon
AltGr has joined #ocaml
Cyanure has joined #ocaml
<flux> what am I looking at?
xiaolin has quit [Quit: leaving]
philtom has quit [Ping timeout: 245 seconds]
<adrien> efficient foss packaging on windows, from source, with a cute GUI
<flux> nice!
<flux> any cross-pollination with other projects?
<adrien> "pollination"?
<adrien> in which way?
<flux> well, does it use, say, opam control files?
<adrien> haven't used opam for that
msaegesser has joined #ocaml
<adrien> and I don't think I will
<adrien> I'm not really interested in doing anything on opam
<adrien> but will be doing more general stuff for ocaml on windows
<whitequark> adding more fragmentation instead seems ... problematic
ygrek has quit [Ping timeout: 245 seconds]
<flux> how large is the job from going from any Makefile/opam/godi/oasis-project to that system?
<adrien> iow, before working on supporting opam on/for windows, get cross-compilation support, better library support, fix a few annoying stdlib issues, work for better ocamlbuild and oasis support,....
<adrien> I cross-build oasis projects trivally
<adrien> trivially
<whitequark> right.
<adrien> most of the work is done through ocamlfind's config
<adrien> the last bit is trivial
<adrien> gasche: hi :)
<adrien> gasche: yeah, I can be _that_ obnoxious
morphles has joined #ocaml
jabesed has joined #ocaml
<axiles> adrien: for the font problem, is it from upstream EFL or from your installation of the EFL on windows ?
ygrek has joined #ocaml
zpe has joined #ocaml
hhugo has joined #ocaml
Muzer has quit [Excess Flood]
Muzer has joined #ocaml
ygrek has quit [Ping timeout: 258 seconds]
samrat has joined #ocaml
msaegesser has quit [Ping timeout: 246 seconds]
dsheets has joined #ocaml
jabesed has quit [Quit: Konversation terminated!]
rfv_ is now known as rfv
darkf has quit [Quit: Leaving]
samebcha1e is now known as samebchase
jabesed has joined #ocaml
badkins has joined #ocaml
fraggle_laptop has joined #ocaml
dsheets has quit [Ping timeout: 260 seconds]
hhugo has quit [Quit: Leaving.]
Submarine has quit [Quit: Leaving]
Submarine has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
hhugo has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
fraggle_laptop has quit [Remote host closed the connection]
Submarine has quit [Quit: Leaving]
dsheets has joined #ocaml
<flux> what was that fast enumeration module for ocaml that was quite light-weight? I'm wondering how it relates to the talk at https://www.youtube.com/watch?v=6mTbuzafcII "Transducers" by Rich Hickey
<flux> (essential three slides start at around 21:27)
<Drup> flux: Sequence
hhugo has quit [Quit: Leaving.]
<flux> it looks like to me it's pretty much the same thing. it doesn't support premature exit, though, so for example 'find' uses an exception
<flux> hmm, or maybe not
<flux> I wonder how OCaml looked it Array/Map/List/Set/etc had their map/filter/find/etc functions removed :)
hhugo has joined #ocaml
milosn has quit [Ping timeout: 260 seconds]
dsheets has quit [Ping timeout: 245 seconds]
jabesed has quit [Ping timeout: 260 seconds]
englishm has joined #ocaml
dsheets has joined #ocaml
Kakadu has quit [Quit: Page closed]
Cyanure has quit [Remote host closed the connection]
<Drup> if you want premature exit, look at gen
tac_ has joined #ocaml
<adrien> axiles: it defaults to the "sans" font
<adrien> which on windows is crap
<adrien> I'm going to ship dejavu sans
<adrien> and tell fontconfig to look at it
<axiles> ok
samrat has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
englishm has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 245 seconds]
bytbox has joined #ocaml
jabesed has joined #ocaml
sooomuel has joined #ocaml
dsheets has joined #ocaml
njcomsec has joined #ocaml
milosn has joined #ocaml
ebzzry_ has quit []
mobajm has joined #ocaml
ebzzry has joined #ocaml
englishm has joined #ocaml
iorivur has quit [Ping timeout: 245 seconds]
sooomuel has quit [Quit: Page closed]
englishm_ has joined #ocaml
hhugo has quit [Quit: Leaving.]
englishm has quit [Ping timeout: 245 seconds]
ggole has joined #ocaml
hhugo has joined #ocaml
<flux> axiles, so I finally gave it a very small shot. /usr/bin/ld: /home/flux/ocaml/.opam/4.02.0/lib/irrlicht/libirrlicht_stubs.a(irr_scene_wrap.o): undefined reference to symbol '__cxa_pure_virtual@@CXXABI_1.3' for my very little test program I compiled with ocamlfind ocamlopt -linkpkg -package irrlicht main.cmx -o main.native
<flux> btw, byte complication works ok
<flux> and doesn't crash when executed :-)
<adrien> "byte complication" :D
<flux> :)
<flux> cool, I've already learned how to properly write irrlicht
tane has joined #ocaml
<axiles> flux: maby it comes from the fact that you are using version 1.8
<flux> to me it suggests some c++ standard library stuff is maybe not linked in?
<axiles> I wonder what would happen if you were using version 1.7 of irrlicht
<flux> I mean __-stuff is always compiler internal stuff.
Kakadu has joined #ocaml
<axiles> flux: I'm just wondering why does it work with byte compilation then
<flux> I've found it's easy to make byte compiler and native not, and vice versa, when doing bindings :)
<def`> is it possible to (manually?) add -lstdc++ ?
hhugo has quit [Quit: Leaving.]
<def`> (-lstdc++ is automatically appended when linking with g++, but not wthild)
<def`> with ld*
<flux> it infact worked
<flux> ocamlfind ocamlopt -linkpkg -package irrlicht main.cmx -o main.native -cclib -lstdc++
<flux> but interesting is why it works on axiles' version/system without it
pminten|2 has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
<axiles> flux: I think it is because v1.7 of irrlicht does not use the STL
<def`> … it's such a mess :P
<flux> oh
<flux> well that would certainly explain it
<flux> I suppose nobody remembers the right declaration for META file off hand..
<flux> actually I wonder then how does it work with byte code?-)
<flux> magic!
<flux> linkopts(native) = "-cclib -lstdc++"
<flux> so, smooth sailing now
<flux> cool, my very own "hello world"
dsheets has quit [Ping timeout: 272 seconds]
hhugo has joined #ocaml
englishm_ has quit [Ping timeout: 258 seconds]
<axiles> flux: you could also modify the _oasis file and then run oasis setup
<axiles> for the efl bindings, I took more effort in covering and testing more versions (from 1.8 to 1.11)
orbitz has joined #ocaml
<orbitz> has anyone played with implementing transducers in ocaml? Dodes it get awkward?
<flux> heh, the default irrlicht font size is quite small for the modern computer
<flux> (well, 'the size of the one and only default font')
<axiles> and there gui is also quite ugly
<flux> yeah I guess it is, but the font is almost unusable
<flux> is it a 8x8 pixel font or what?-)
ohnivy_python3 is now known as grcmetal
<flux> apparently the .net-written font maker app doesn't work in linux out of the box
<flux> ooh, I take my words back, it just took some time to start: )
englishm has joined #ocaml
Khady_ is now known as Khady
Khady has quit [Changing host]
Khady has joined #ocaml
njcomsec has quit [Ping timeout: 256 seconds]
englishm has quit [Quit: Leaving...]
englishm_ has joined #ocaml
englishm_ has quit [Client Quit]
parcs has quit [Read error: Connection reset by peer]
parcs has joined #ocaml
iorivur has joined #ocaml
<flux> amazing, the generate font worked more easily than I expected
englishm_away has joined #ocaml
englishm_away is now known as englishm
shinnya has quit [Ping timeout: 245 seconds]
hhugo has quit [Quit: Leaving.]
manizzle has joined #ocaml
rgrinberg has joined #ocaml
Cyanure has joined #ocaml
englishm is now known as englishm_away
tane has quit [Quit: Verlassend]
alinab has joined #ocaml
alinab has quit [Client Quit]
alinab has joined #ocaml
alinab has quit [Client Quit]
alinab has joined #ocaml
hhugo has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
alinab has quit [Quit: leaving]
alinab has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
hhugo has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
<flux> sad, ocaml-chipmunk (the box2d physics library) is not maintained anymore
hhugo has joined #ocaml
<flux> there are ode bindings, but I have a sense using them for 2d-tasks is going to be more complicated than necessary
samrat has quit [Quit: Computer has gone to sleep.]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
philtom has joined #ocaml
martintrojer has quit [Ping timeout: 272 seconds]
martintrojer has joined #ocaml
thetabyte has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
<thetabyte> i'm just picking ocaml back up, am getting a very weird compiler error, and am probably missing something obvious. i've been banging my head against it for 30 minutes, and i'd appreciate if someone could look it over http://hastebin.com/aqunihagal.coffee
<thetabyte> essentially, i'm getting that a function should be returning a certain type, but is instead returning a function from that type to itself.
<flux> thetabyte, put the function to a pastebin?
<flux> thetabyte, well, insert is a three-argument function. why are you giving it only two arguments in the last line?
<flux> the third argument is a bit hidden, though, with the 'function' syntax
<flux> it doesn't seem like the purpose is to put in partially applied functions to a list, though
Hannibal_Smith has quit [Quit: Sto andando via]
<thetabyte> oh, shit. yeah, i was trying what i thought was syntactic sugar that i completely misunderstood. switched function to match g with, whoops.
<thetabyte> (all good now)
<flux> great :)
<badkins> I finally got around to setting up tuareg mode on Emacs after a week or so with OCaml. Simply amazing.
<flux> so function .. -> .. == fun x -> match x with .. -> ..
<flux> badkins, did you set up the merlin mode too?
<flux> if not, prepare to be amazed even further ;-)
<badkins> no
<badkins> ok :)
<badkins> flux: what does merlin provide ?
<flux> https://github.com/the-lambda-church/merlin - installable with opam as well
<flux> it does syntax checking when you save
<badkins> looks great
<thetabyte> ugh, i need to set up merlin for vim, but it doesn't appear to work with pathogen/vundler :(
<flux> and completion as well
<thetabyte> flux: agh, thank you for the help so far, but still more issues! ocaml is claiming the second case of the inner match will never be hit, and sure enough, it's right, but i can't understand why. shouldn't it occur if the first element in the tuple 'head' is not equivalent to 'n'?
<flux> ah, I completely glossed over that
<flux> so, no :-)
<thetabyte> (essentially, i'm not matching the contents of a tuple correctly, but don't know why)
<flux> it creates a new variable 'n'
<flux> that is bound to the first part of head
<flux> match head with | (n', _) when n = n' -> .. will get what you want
<thetabyte> oh, whoops. too much prolog/erlang in recent memory.
<flux> and the other case can simply be | _ -> head::insert tail n
<thetabyte> thank you again!
pyon has quit [Quit: brb guise restart]
englishm_away is now known as englishm
<MercurialAlchemi> thetabyte: merlin works with pathogen
AltGr has left #ocaml [#ocaml]
burgobianco has joined #ocaml
<MercurialAlchemi> just add a symlink to $HOME/.opam/$YOUR_OPAM_SWITCH/share/ocamlmerlin/vim in ~/.vim/bundle
<MercurialAlchemi> and then make your .merlin
bytbox has quit [Remote host closed the connection]
englishm is now known as englishm_away
msaegesser has joined #ocaml
alinab has quit [Quit: leaving]
pyon has joined #ocaml
morphles has quit [Ping timeout: 260 seconds]
msaegesser has quit [Ping timeout: 260 seconds]
hhugo has quit [Quit: Leaving.]
thetabyte has quit [Quit: Leaving.]
yacks has quit [Ping timeout: 260 seconds]
<badkins> I'm having trouble determining how to much on more than one curried argument. For example, I have this snippet from SML:
<badkins> fun permutations n [] = [[]]
<badkins> | permutations 0 _ = [[]]
<badkins> do I need to package the two args into a tuple and then match on the single tuple ?
<badkins> haven't seen any examples in RWO yet
<badkins> yeah, looks like: let f x y = match x, y with | (...) -> .... is the way
yacks has joined #ocaml
pgomes has joined #ocaml
<acieroid> indeed badkins, and you don't even need parentheses in the match clauses
<badkins> Yeah, I remember that from RWO - nice feature. thx.
<badkins> and IIRC OCaml doesn't necessarily have to allocate the tuple, so it should be efficient
<mrvn> I find it much more readable to have all tuples in ( )
nickmeha1ry is now known as nickmeharry
Cyanure has quit [Remote host closed the connection]
hhugo has joined #ocaml
thetabyte has joined #ocaml
BiDOrD has quit [Remote host closed the connection]
BiDOrD has joined #ocaml
nicoo has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
nicoo has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
Kakadu has quit [Quit: Konversation terminated!]
pgomes has quit [Ping timeout: 245 seconds]
thomasga has joined #ocaml
axiles has quit [Remote host closed the connection]
bytbox has joined #ocaml
bobbinnumerous has joined #ocaml
ggole has quit []
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
waneck has quit [Ping timeout: 258 seconds]
thetabyte1 has joined #ocaml
thetabyte has quit [Ping timeout: 258 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
rand000 has joined #ocaml
manizzle has quit [Ping timeout: 245 seconds]
hsuh has quit [Ping timeout: 240 seconds]
manizzle has joined #ocaml
hsuh has joined #ocaml
darkf has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
zpe has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
zpe has quit [Ping timeout: 244 seconds]
maurer has quit [Ping timeout: 272 seconds]
BitPuffin has joined #ocaml