adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
quipa has joined #ocaml
Vlad has joined #ocaml
Vlad is now known as Guest51637
Guest51637 has quit [Remote host closed the connection]
gre has left #ocaml [#ocaml]
jim7j1ajh is now known as jimt
quipa has quit [Quit: Leaving]
matze2 has joined #ocaml
matze2 has quit [K-Lined]
Haudegen has quit [Read error: Connection reset by peer]
c4rc4s has quit [Quit: Adios]
jao has joined #ocaml
Fare has joined #ocaml
deed0239222 has joined #ocaml
c4rc4s has joined #ocaml
holodoc16 has joined #ocaml
Nothing4You18 has joined #ocaml
holodoc16 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
deed0239222 has quit [Ping timeout: 268 seconds]
Nothing4You18 has quit [Ping timeout: 276 seconds]
L0j1k23 has joined #ocaml
zolk3ri has quit [Quit: leaving]
L0j1k23 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
duckinator has left #ocaml ["Leaving"]
Fare has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 272 seconds]
mfp has quit [Ping timeout: 256 seconds]
jbrown has quit [Ping timeout: 276 seconds]
silver__ has quit [Quit: rakede]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
loppy2 has joined #ocaml
loppy2 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Fare has joined #ocaml
pierpal has joined #ocaml
neatonk has joined #ocaml
neatonk has quit [Ping timeout: 272 seconds]
spirit_pact13 has joined #ocaml
spirit_pact13 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Fare has quit [Ping timeout: 244 seconds]
grumble217 has joined #ocaml
_whitelogger has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
mundus2018 has joined #ocaml
mundus2018 has quit [Read error: Connection reset by peer]
elkalamar11 has joined #ocaml
elkalamar11 has quit [Remote host closed the connection]
lopex has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
yano28 has joined #ocaml
yano28 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
MatthewAllan9312 has joined #ocaml
MatthewAllan9312 has quit [Ping timeout: 272 seconds]
sabre1041 has joined #ocaml
sabre1041 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
FreeBirdLjj has quit [Remote host closed the connection]
logicmoo has joined #ocaml
<logicmoo> how differnt is Curry from ML?
<logicmoo> Actuasly what might answeer my question is how disimular would Haskell and OCaml be
shentino2 has joined #ocaml
shentino2 has quit [Remote host closed the connection]
Guest23378 has joined #ocaml
Guest23378 has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<logicmoo> this is answering my questions http://blog.ezyang.com/2010/10/ocaml-for-haskellers/
Soni has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 256 seconds]
Soni has joined #ocaml
plonk11 has joined #ocaml
plonk11 has quit [Remote host closed the connection]
Guest46980 has joined #ocaml
Guest46980 has quit [Remote host closed the connection]
bezirg has joined #ocaml
kakadu has joined #ocaml
Fare has joined #ocaml
mfp has joined #ocaml
zolk3ri has joined #ocaml
BitPuffin has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
bezirg has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Read error: Connection reset by peer]
BitPuffin has joined #ocaml
FreeBirdLjj has joined #ocaml
jack5638 has quit [Ping timeout: 268 seconds]
jack5638 has joined #ocaml
xeroks20 has joined #ocaml
xeroks20 has quit [Remote host closed the connection]
ben_ has joined #ocaml
bezirg has joined #ocaml
surfist9 has joined #ocaml
kvda has joined #ocaml
bezirg has quit [Ping timeout: 240 seconds]
surfist9 has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
<Drup> logicmoo: Curry's pattern matching is very different from OCaml's and Haskell's
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
zolk3ri has quit [Quit: leaving]
Asoka has joined #ocaml
ben_ has quit []
Asoka has quit [Remote host closed the connection]
jao has joined #ocaml
<Fare> Drup, what does Curry do?
<Drup> Fare: Curry is soft of a fusion of prolog and haskell
<Drup> the "pattern matching" is more of a logic engine in the style of prolog
Turbo-Folker has joined #ocaml
Turbo-Folker has quit [Read error: Connection reset by peer]
jim5 has joined #ocaml
jim5 has quit [Remote host closed the connection]
<Fare> Drup, how does it compare to Mercury ?
<logicmoo> the matchng part between Curry and Haskell are different. ok. is there some nondeterminism on top of that or is that based on the matching?
<Drup> logicmoo: Curry has non determinism, yes
<Drup> Fare: don't know
<logicmoo> slightly why i ask abotu Curry is i noticed when compiling curry code to prolog there was a ton of delaying.. i kinda guesed with siuch extreme delays the match would ber just as delayed
<logicmoo> but where nondetermism would come in isnt based on lazy match.. it is that quite possibly the match would been totally differnt had there not been delays.. so i assume the nondet is to backtrack to decide a better match was needed
<logicmoo> actually forget i said all that .. but i pretty much want to hear as much about how nondet works for curry as i can :)
<logicmoo> Fare: I been programing in Prolog for 20 years.. i have to say that so far i havent figured a reason to use Mercury :(
<Drup> logicmoo: I doubt there are many Curry programmers around to help
<Drup> Actually, I doubt there exists Curry programmers period. :p
<dmbaturin> s/m// :)
<logicmoo> lol
<dmbaturin> Drup: Maybe we can prove existence and uniqueness of a Curry programmer. :)
ollien4 has joined #ocaml
ollien4 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<Drup> Well, I mean, it's a research language. A very cool one, but still.
<logicmoo> the reason i started to study curry is i was hoping it was a safe way to get to accept ML
<logicmoo> (Haskell / ML style nlanguages that is)
<dmbaturin> I'm still to accept Prolog.
<dmbaturin> logicmoo: What are you doing in Prolog by the way?
<logicmoo> dmbaturin: writting inference engines
<dmbaturin> Oh, I mean, what kind of problems your programs solve.
<logicmoo> well game world that has its objects that are created by caching when they experince their first existential backchain
<dmbaturin> My main stumbling block with Prolog was that I couldn't find much material that shows how to write a program that actually does something and interacts with the world.
<logicmoo> the main problem i trying to solve is representation of skolem variables
<dmbaturin> Sounds interesting. An online game of sinle player?
<logicmoo> online multiplayer
<logicmoo> well its had a couple of incarnations
<Fare> I've used backtracking through continuations in Scheme or monads in other languages, but I've never used Prolog in anger.
<dmbaturin> World of Predicates? :)
<logicmoo> well predciates can be seen as object properties
<Fare> I did write an article about how lambda calculus + amb + BOTH applicative vs normal reduction could express logic programming
<dmbaturin> Fare: Link?
<logicmoo> (if someone wante to do extreem OO overiding)
<dmbaturin> logicmoo: Also, which Prolog implementation?
<logicmoo> for exmaple CLOS in all predciates would be great
<Fare> dmbaturin, http://fare.tunes.org/files/cs/rndlc.pdf --- beware, there's a good reason the article was rejected, it tries to say too many things, and say them badly.
jao has quit [Ping timeout: 244 seconds]
<logicmoo> Well its been swi-prolog for a while http://www.swi-prolog.org/pack/list?p=prologmud_samples
<Fare> Cecil had a CLOS-like object system with predicate dispatch, but that's a very different thing.
<logicmoo> Fare: kind of like Babylon
jnavila has joined #ocaml
<Fare> what's a good name for the kleisli arrow fun () -> return x ? mconstant ? constant ? konst ? mkonst ? constantly ?
<Drup> dmbaturin: maybe datalog would be enough for you, there is an excelent [sic] ocaml library for it :3
<Drup> Fare: "const" is the common one
<logicmoo> The other extreem that PrologMUD does (the frist extreme things was to create a logical OO world from rules) is uses its infernce engine to try to figurte out how peopel in natrual language woudl liek the world to be changed
<Fare> I mean (fun x -> fun () -> ThisMonad.return x)
<dmbaturin> Drup: Interesting, let me look it up.
<logicmoo> why i been interested in Ocaml/ML is that some of the best Logic Engines are fastest in ML
<Fare> and then outside the monad, I'd use Identity.const ?
<Drup> logicmoo: it's amusing, because companion_cube complains a lot about the fact that OCaml is not fast enough to write SMT solvers
<logicmoo> i've finallyhit some limitations of prolog that requires me to be an implementor.. i know for sure i wont do it in C
<Drup> Fare: I guess, yes
<logicmoo> so i been coding a new prolog impl in C++ .. but.. talk me into doing it in Ocaml
<Drup> I would be very surprised if nobody has done it
<dmbaturin> Why not do it in Coq? :)
<Drup> dmbaturin: there is already one, it's called "tactics"
<dmbaturin> An actual Prolog implementation that can run unmodified code?
<Drup> dmbaturin: "Any sufficiently complicated type checker contains an ad-hoc, informally-specified, slow implementation of half of Prolog".
<Drup> Except Coq, where it's formally verified, but still ad-hoc and slow.
Raziel1 has joined #ocaml
Raziel1 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
groovy2shoes has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
lopex has joined #ocaml
<Fare> Drup, Coq is formally verifying, but not formally verified.
jnavila has joined #ocaml
mrdata27 has joined #ocaml
mrdata27 has quit [Ping timeout: 272 seconds]
bartholin has joined #ocaml
purrdeta3 has joined #ocaml
purrdeta3 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
digitalcold3 has joined #ocaml
digitalcold3 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
kvda has quit [Ping timeout: 256 seconds]
<companion_cube> writing efficient prolog requires to write a compiler for this weird abstract machine anyway, so you could do it in Coq (with an insane amount of effort)
jnavila has quit [Ping timeout: 276 seconds]
CompanionCube22 has joined #ocaml
CompanionCube22 has quit [Read error: Connection reset by peer]
Fare has quit [Ping timeout: 244 seconds]
lutoma12 has joined #ocaml
lutoma12 has quit [Remote host closed the connection]
xfil has joined #ocaml
xfil has quit [Killed (Sigyn (Spam is off topic on freenode.))]
pistachio has joined #ocaml
ascheel3 has joined #ocaml
ascheel3 has quit [Remote host closed the connection]
avelardi14 has joined #ocaml
avelardi14 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
jgkamat has quit [*.net *.split]
_habnabit has quit [*.net *.split]
hannes has quit [*.net *.split]
lokydor has quit [*.net *.split]
gargawel has quit [*.net *.split]
engil has quit [*.net *.split]
vodkaInf1rno has quit [*.net *.split]
tokenrove has quit [*.net *.split]
tianon has quit [*.net *.split]
awal has quit [*.net *.split]
ec2-user1 has quit [*.net *.split]
henrytill has quit [*.net *.split]
gargawel has joined #ocaml
hannes has joined #ocaml
tianon has joined #ocaml
lokydor has joined #ocaml
henrytill has joined #ocaml
tianon has joined #ocaml
tianon has quit [Changing host]
vodkaInferno has joined #ocaml
tokenrov1 has joined #ocaml
awal has joined #ocaml
jgkamat has joined #ocaml
jgkamat has quit [Changing host]
jgkamat has joined #ocaml
awal is now known as Guest51883
kline3 has joined #ocaml
_habnabit has joined #ocaml
kline3 has quit [Remote host closed the connection]
ec2-user has joined #ocaml
Fare has joined #ocaml
ziyourenxiang has quit [Ping timeout: 272 seconds]
plat_22 has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
bezirg has joined #ocaml
plat_22 has quit [Ping timeout: 244 seconds]
silver has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
bezirg has quit [Ping timeout: 255 seconds]
beuker has joined #ocaml
beuker has quit [Killed (Sigyn (Spam is off topic on freenode.))]
bigpresh3 has joined #ocaml
bigpresh3 has quit [Ping timeout: 244 seconds]
bezirg has joined #ocaml
pk120 has joined #ocaml
SleePy4 has joined #ocaml
pk120 has quit [Remote host closed the connection]
SleePy4 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Guest79559 has joined #ocaml
jnavila has joined #ocaml
Guest79559 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Guest51883 is now known as awal
sneakyness13 has joined #ocaml
sneakyness13 has quit [Read error: Connection reset by peer]
Fare has quit [Ping timeout: 244 seconds]
Cajs17 has joined #ocaml
MikeoftheEast14 has joined #ocaml
MikeoftheEast14 has quit [Remote host closed the connection]
Cajs17 has quit [Read error: Connection reset by peer]
atomicthumbs15 has joined #ocaml
bezirg has quit [Remote host closed the connection]
atomicthumbs15 has quit [Remote host closed the connection]
jack5638 has quit [Ping timeout: 276 seconds]
jnavila has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
jnavila has joined #ocaml
shakalaka has joined #ocaml
caente has joined #ocaml
caente has quit [Quit: Leaving]
jao has joined #ocaml
pierpa has joined #ocaml
fxrh29 has joined #ocaml
fxrh29 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
MissionCritical has joined #ocaml
MissionCritical has quit [Killed (Sigyn (Spam is off topic on freenode.))]
jnavila has quit [Ping timeout: 240 seconds]
Soni has quit [Ping timeout: 276 seconds]
Soni has joined #ocaml
johtso has joined #ocaml
johtso has quit [Ping timeout: 268 seconds]
Fare has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
ruffy_ has quit [Ping timeout: 240 seconds]
ruffy_ has joined #ocaml
Kraps28 has joined #ocaml
Iciloo7 has joined #ocaml
Iciloo7 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Kraps28 has quit [Remote host closed the connection]
jao has quit [Ping timeout: 244 seconds]
bartholin has quit [Remote host closed the connection]
jao has joined #ocaml
strugee has joined #ocaml
strugee has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
bananas17 has joined #ocaml
bananas17 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
celyr has joined #ocaml
celyr is now known as Guest7740
Guest7740 has quit [Killed (Sigyn (Spam is off topic on freenode.))]