ollehar has quit [Remote host closed the connection]
johnf__ has joined #ocaml
psy_ has quit [Ping timeout: 255 seconds]
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
bendiken has joined #ocaml
browncodes has quit [Read error: Connection reset by peer]
browncodes has joined #ocaml
keen__________18 has quit [Read error: Connection reset by peer]
keen__________18 has joined #ocaml
johnf__ has quit [Read error: Connection reset by peer]
bendiken_ has joined #ocaml
bendiken has quit [Ping timeout: 240 seconds]
bendiken_ is now known as bendiken
bendiken has quit []
bendiken has joined #ocaml
tnguyen has joined #ocaml
funk__ has joined #ocaml
tmtwd has quit [Ping timeout: 250 seconds]
kuttifunk has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Ping timeout: 255 seconds]
bendiken has quit []
bendiken has joined #ocaml
pyon has quit [Ping timeout: 255 seconds]
rgrinberg has joined #ocaml
jao has quit [Ping timeout: 265 seconds]
tmtwd has joined #ocaml
tennix has joined #ocaml
<Drup>
rgrinberg: does the * vs ** really changes anything in merlin ?
<Drup>
I always though it was the same
tmtwd has quit [Ping timeout: 252 seconds]
JuggleTux has quit [Quit: leaving]
<smondet>
also rgrinberg: you signed up for the ocaml meetup, are you around NYC?
johnf__ has joined #ocaml
kuttifunk has joined #ocaml
funk__ has quit [Ping timeout: 246 seconds]
MrScout has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
bendiken has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bendiken has joined #ocaml
oriba has quit [Quit: WeeChat 1.3]
MrScout has quit [Ping timeout: 240 seconds]
psy_ has quit [Quit: Leaving]
pyon has joined #ocaml
mac10688 has quit [Ping timeout: 246 seconds]
bendiken has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bendiken has joined #ocaml
darkf has joined #ocaml
bendiken has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bendiken has joined #ocaml
bendiken has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bendiken has joined #ocaml
bendiken has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bendiken has joined #ocaml
antkong has joined #ocaml
native_killer has joined #ocaml
bendiken has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bendiken has joined #ocaml
MercurialAlchemi has joined #ocaml
psy has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 244 seconds]
kuttifunk has quit [Quit: Verlassend]
lolisa has joined #ocaml
browncodes has quit [Ping timeout: 265 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
bendiken has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bendiken has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
zpe has joined #ocaml
Algebr has joined #ocaml
rgrinberg has joined #ocaml
zpe has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 265 seconds]
ygrek_ has joined #ocaml
kushal has joined #ocaml
Algebr has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
Haudegen has joined #ocaml
Kakadu has joined #ocaml
frankier has quit [Ping timeout: 250 seconds]
moei has quit [Read error: Connection reset by peer]
moei has joined #ocaml
ggole has joined #ocaml
Simn has joined #ocaml
rgrinberg has joined #ocaml
ely-se has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 244 seconds]
monod has joined #ocaml
sh0t has joined #ocaml
zpe has joined #ocaml
ollehar has joined #ocaml
monod has quit [Ping timeout: 255 seconds]
sh0t has quit [Ping timeout: 255 seconds]
sepp2k has joined #ocaml
AltGr has joined #ocaml
obadz- has joined #ocaml
obadz has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
bendiken has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has quit [Ping timeout: 244 seconds]
bendiken has joined #ocaml
lolisa has quit [Quit: meow]
def` has quit [Ping timeout: 240 seconds]
antkong has quit [Quit: antkong]
snyp has joined #ocaml
browncodes has joined #ocaml
ontologiae has joined #ocaml
kushal has quit [Quit: Leaving]
ollehar has quit [Quit: ollehar]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 268 seconds]
funk has joined #ocaml
<Drup>
ggole: for once, I'm doing a data structure with big invariants in the middle and not a single GADT
<Drup>
it's relaxing
AltGr has left #ocaml [#ocaml]
kushal has joined #ocaml
<ggole>
Heh, I bet
<Drup>
(the invariants are carefully documented, otherwise it wouldn't be relaxing at all)
<ggole>
A function check_invariants is much more workable, really
<ggole>
You can put arbitrarily precise checks in, rip them out, etc without much fuss
<Drup>
ggole: I have mostly that, yes
<Drup>
but I prefer to have a version in english too
<Drup>
I really miss a good framework for graph transformation though
<ggole>
Graphs are tricky
<Drup>
describing local transformations in ocamlgraph is a bit akward, with all the re-wiring
<Drup>
ggole: graphs are cool, I like them a lot
<Drup>
and I have pretty dot pictures
<Drup>
(and that makes me very happy)
<Drup>
I should write all my algorithm in term of graph transformations, so I could write them graphically
ely-se has quit [Quit: leaving]
<ggole>
Graph pattern matching?
<Drup>
yes
ely-se has joined #ocaml
<Drup>
There are lots of paper/software on the subject
<ggole>
Seems like that would be fun to compile efficiently
<Drup>
Well, compiling to the code I write currently is trivial :D
<Drup>
It's very complicated to do something that is more clever than "just try everywhere"
<ggole>
Mmm, usually you have a certain amount of structure (like the ordering of arguments in ADTs)
ely-se has quit [Client Quit]
def` has joined #ocaml
def` has joined #ocaml
bendiken has quit []
frankier has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
mort___ has left #ocaml [#ocaml]
ely-se has joined #ocaml
rgrinberg has joined #ocaml
ely-se has quit [Client Quit]
BhavyaM has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
pyon has quit [Quit: F...ix you, Emacs!]
antkong has joined #ocaml
pyon has joined #ocaml
frankier has quit [Ping timeout: 255 seconds]
snyp has quit [Quit: 'bbl']
jerith has quit [Ping timeout: 246 seconds]
jerith has joined #ocaml
ygrek_ has quit [Ping timeout: 272 seconds]
cdidd has quit [Ping timeout: 272 seconds]
ely-se has joined #ocaml
rgrinberg has joined #ocaml
obadz- is now known as obadz
rgrinberg has quit [Ping timeout: 246 seconds]
cdidd has joined #ocaml
kuttifunk has joined #ocaml
andreypopp_ is now known as andreypopp
<kuttifunk>
Anyone point me in the right direction using sql with ocaml? Pgocaml seems to be ok, but i stumbled over the need for db connection at compile time. Are there any other packages still maintained?
<Kakadu>
macaque
tennix has quit [Quit: testing unicode character...]
antkong has quit [Quit: antkong]
grouzen has joined #ocaml
kuttifunk has quit [Read error: Connection reset by peer]
<funk>
afaics macaque uses pgocaml, so the same problems. or not?
<Drup>
It uses the lower layers, which doesn't need the connection at compile time
tennix has joined #ocaml
<funk>
thx. so any pointers to good examples? the ocsigen side is overkill for a small brained ocaml noob.
<funk>
ocsigen site :-)
<ely-se>
lol, how can you screw up your design so bad that you need a DB connection at compile-time
<funk>
ely-se: well... at least there is some ocaml library for sql.. what can you say...
<ely-se>
"Other well known languages in the ML family include OCaml, F#, and Visual Basic."
_andre has joined #ocaml
<funk>
i am on a journey into fp. completely new to me i fell in love with the concepts. i want to choose the language that fits best for my purpose and even more for my programming guts.
<funk>
i saw f#, scala, haskell and ocaml and ocaml is best for my personal tast. but it lacks documentation and libraries like sql. hard to begin with.
tennix has quit [Quit: WeeChat 1.3]
<funk>
still ocaml looks best for me. scala should be the way to go, but i dont like the brackets, parens and class stuff.
<pippijn>
scala is great
<pippijn>
the best
<pippijn>
also, scala is horrible
<pippijn>
it's all relative
tennix has joined #ocaml
<funk>
f# looks good, but its build on .net and mono and im going to use linux.
<pippijn>
functional programming in scala is very expensive
<ely-se>
"i want to choose the language that fits best for my purpose
<ely-se>
.. which is? :p
<funk>
pippijn: relative, yes of course
<pippijn>
funk: .net works fine on linux
<tennix>
rust has lots of functional programming features
<pippijn>
rust is very nice
<pippijn>
FP in rust is (or can be) inexpensive
<pippijn>
in haskell, you never know whether it's expensive or not
<ely-se>
A drunken Martin Odersky sees a Reese's Peanut Butter Cup ad featuring somebody's peanut butter getting on somebody else's chocolate and has an idea. He creates Scala, a language that unifies constructs from both object oriented and functional languages. This pisses off both groups and each promptly declares jihad.
<pippijn>
and in ocaml, it's reasonably fast most of the time
<pippijn>
A Brief, Incomplete, and Mostly Wrong History of Programming
<pippijn>
I know
<funk>
ely-se: a business application with medium sized database operation, extend it with some graphics stuff and later on port it to HTML5-gui. Ocsigen looks very promising for that last part.
<ely-se>
the one about JavaScript would be compatible with the present
<funk>
it is legacy and more or less fully written in python. some c++-parts for the speedy graphis stuff. i want to port it to a none-mixed language
<ely-se>
funk: oh web development. I came to believe lately that nothing is well-suited for that.
<funk>
ely-se: there you go. that is perfectly true..
<funk>
so proof of concept for me is: first get a working sql-backend in 'my' language, then look to transport that wxWidgets gui into whatever and last having the client side working on my smartphone via html5..
<ely-se>
I heard good things about F# type providers with SQL, although given it's F# it probably only works with SQL Server
<Drup>
funk: the sql database part is kind of a weak point in the ocsigen eco system at the moment, unfortunatly