adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
rgrinberg has quit [Quit: WeeChat 1.3]
rgrinberg has joined #ocaml
moei has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
<rgrinberg> i unbroke merlin
<rgrinberg> goddammit
<rgrinberg> Drup: how's assemblage coming along?
<Drup> Ask daniel
Haudegen has joined #ocaml
keen________ has quit [Read error: Connection reset by peer]
keen________ has joined #ocaml
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
BitPuffin|osx has quit [Ping timeout: 255 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
MrScout has quit [Ping timeout: 246 seconds]
<Algebr> Not sure how to word this correctly. Is logging always inheritly an imperative thing?
rgrinberg has quit [Ping timeout: 246 seconds]
sailorswift has joined #ocaml
tmtwd has joined #ocaml
igoroliveira has joined #ocaml
rgrinberg has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
lopex has quit [Quit: Connection closed for inactivity]
Algebr has quit [Ping timeout: 256 seconds]
t4nk395 has joined #ocaml
darkf has joined #ocaml
<t4nk395> hi
<t4nk395> anyone who knows what is ">>=" in ocaml? where to find operator definition?
lordkryss has quit [Quit: Connection closed for inactivity]
tmtwd has quit [Read error: Connection reset by peer]
tmtwd has joined #ocaml
tmtwd has quit [Client Quit]
t4nk395 has quit [Quit: Page closed]
jao has quit [Ping timeout: 244 seconds]
gperetin_ has joined #ocaml
awkwardusername2 has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
AlexRussia_ has joined #ocaml
sh0t has joined #ocaml
sh0t has quit [Ping timeout: 250 seconds]
AltGr has joined #ocaml
igoroliveira has quit [Quit: Connection closed for inactivity]
AltGr has left #ocaml [#ocaml]
claudiuc has quit [Ping timeout: 246 seconds]
AlexRussia_ has quit [Ping timeout: 252 seconds]
darkf_ has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
xificurC has joined #ocaml
darkf has quit [Ping timeout: 244 seconds]
xificurC has quit [Remote host closed the connection]
octachron has joined #ocaml
darkf_ is now known as darkf
kolko has quit [Ping timeout: 240 seconds]
izaak has quit [Quit: izaak]
shinnya has quit [Ping timeout: 245 seconds]
izaak has joined #ocaml
ggole has joined #ocaml
zpe has joined #ocaml
izaak has quit [Quit: izaak]
grouzen has joined #ocaml
ely-se has joined #ocaml
xificurC has joined #ocaml
xificurC has quit [Client Quit]
xificurC has joined #ocaml
_obad_ has quit [Ping timeout: 272 seconds]
Simn has joined #ocaml
ggole has quit [Read error: Connection reset by peer]
paradoja has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
paradoja has quit [Ping timeout: 252 seconds]
sailorswift has quit [Ping timeout: 255 seconds]
tane has joined #ocaml
jhaberku has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
sh0t has joined #ocaml
ollehar has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
ely-se has quit [Client Quit]
sh0t has quit [Ping timeout: 255 seconds]
matason_ has joined #ocaml
matason_ has quit [Client Quit]
dsheets has quit [Ping timeout: 244 seconds]
yomimono has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
ollehar has quit [Ping timeout: 250 seconds]
dsheets has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
ely-se has joined #ocaml
ely-se has quit [Quit: leaving]
kakadu has joined #ocaml
izaak has joined #ocaml
izaak has quit [Quit: izaak]
lopex has joined #ocaml
grouzen has quit [Ping timeout: 240 seconds]
ttt_fff_ has joined #ocaml
<ttt_fff_> what is a good resource showing how monads/typeclasses are done in ocaml? (coming from a haskell background; love my typeclasses/monads, but can't stand laziness)
<mrvn> no typeclasses in ocaml
<tane> (haha)
_andre has joined #ocaml
BitPuffin|osx has joined #ocaml
paradoja has joined #ocaml
<dsheets> people do use things that look monadic, though, without typeclasses they're a bit restricted
<ttt_fff_> in Dante's 10th layer of hell, a programmer is taught haskell but can't live without strictness; he spends his days like siphysus
ttt_fff_ has quit [Quit: Page closed]
yomimono has quit [Quit: Leaving]
paradoja has quit [Ping timeout: 246 seconds]
ely-se has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
nopf has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Ping timeout: 244 seconds]
nopf has joined #ocaml
seggy has quit [Ping timeout: 244 seconds]
segmond has quit [Ping timeout: 244 seconds]
troydm has joined #ocaml
enitiz has joined #ocaml
enitiz_ has joined #ocaml
enitiz_ has quit [Read error: Connection reset by peer]
seggy has joined #ocaml
segmond has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
ggole has joined #ocaml
ely-se has quit [Quit: leaving]
_obad_ has joined #ocaml
ely-se has joined #ocaml
ely-se has quit [Client Quit]
awkwardusername has joined #ocaml
awkwardusername is now known as Guest40847
Mandus has quit [Remote host closed the connection]
Guest40847 is now known as greves
paradoja has joined #ocaml
grouzen has joined #ocaml
jao has joined #ocaml
Mandus has joined #ocaml
BitPuffin has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
tane has quit [Ping timeout: 244 seconds]
igoroliveira has joined #ocaml
rgrinberg has joined #ocaml
ely-se has joined #ocaml
BitPuffin has quit [Disconnected by services]
itPuffinB has joined #ocaml
BitPuffin has joined #ocaml
itPuffinB has quit [Remote host closed the connection]
BitPuffin has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
jhaberku has joined #ocaml
tane has joined #ocaml
Anarchos has joined #ocaml
enitiz has quit [Quit: Leaving]
kolko has joined #ocaml
kolko has quit [Ping timeout: 250 seconds]
ollehar has joined #ocaml
demonimin has quit [Ping timeout: 250 seconds]
paradoja has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
ollehar has quit [Ping timeout: 250 seconds]
ollehar has joined #ocaml
t4nk563 has joined #ocaml
paradoja has joined #ocaml
ely-se has quit [Quit: leaving]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
mea-culpa has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
ely-se has joined #ocaml
sepp2k has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
kushal has joined #ocaml
slash^ has joined #ocaml
ely-se has quit [Quit: leaving]
kushal has quit [Ping timeout: 246 seconds]
kushal has joined #ocaml
kushal has quit [Changing host]
kushal has joined #ocaml
raboof has quit [Changing host]
raboof has joined #ocaml
<NingaLeaf> How would I go about replacing PHP with OCaml? I have a small web app running PHP and I would like to rebuild it using OCaml. I'm looking to use a native solution not a framework.
Anarchos has joined #ocaml
<Drup> "I'm looking to use a native solution not a framework." <- what does that even mean ? ^^'
<NingaLeaf> A lot of suggestions and solution i've been recommenced involve using Ocsigen
<Drup> and how is that "non native" ?
<adrien> context
<adrien> Drup is involved with ocsigen
<flux> ningaleaf, you want to write cgi programs in OCaml?
<NingaLeaf> I guess what i'm after is more of a ground up approach
<flux> ningaleaf, perhaps Netcgi2 (in ocamlnet) is more akin to your liking
<Drup> adrien: In this case, that was rather irrelevant, I was curious either way :p
<NingaLeaf> ocsigen is great - but i need to a build up
_obad_ has quit [Ping timeout: 240 seconds]
<NingaLeaf> I just need to know what not using Ocsigen what is the best approach.
<Drup> Well, the main choice in this case is cohttp
<Drup> (or opium)
<Drup> Stil js_of_ocaml for the client
_obad_ has joined #ocaml
<NingaLeaf> Thanks! Yes we use js_of_ocaml!
<NingaLeaf> I'm sure i will move towards ocsigen down the road but just needed an alternative!
<Drup> Eh, I wouldn't advise switching from one approach to another
<Drup> (Well, except if you enjoy rewriting something in a completely different architecture just for the sake of it :p)
grouzen has quit [Ping timeout: 240 seconds]
<NingaLeaf> I have the rare opportunity to move from PHP where, where i work, towards a different solution.
<NingaLeaf> I need to show foundationally that OCaml will be able to handle it! I believe it will other not so much.
tane has quit [Quit: Verlassend]
<NingaLeaf> Plus i enjoy working in OCaml - i wish i had more projects using it!
<flux> ningaleaf, that's the spirit :)
zpe has quit [Remote host closed the connection]
grouzen has joined #ocaml
kushal has quit [Ping timeout: 244 seconds]
kushal has joined #ocaml
paddymahoney has joined #ocaml
jwatzman|work has joined #ocaml
paradoja has quit [Ping timeout: 260 seconds]
paddymahoney has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
kolko has joined #ocaml
thegameg_ has joined #ocaml
<mrvn> NingaLeaf: it will certainly be safer
kolko_ has joined #ocaml
Guest38 has joined #ocaml
kolko has quit [Ping timeout: 250 seconds]
kushal has quit [Quit: Leaving]
thegameg has quit [Quit: Bye bye.]
thegameg_ has quit [Quit: Bye bye.]
thegameg has joined #ocaml
kolko_ has quit [Read error: Connection reset by peer]
kolko has joined #ocaml
kolko has quit [Client Quit]
kolko has joined #ocaml
jao has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
<flux> and what if one enjoys running with scissors? ocaml is not the right choice then?
<ggole> Then Obj.run_with_scissors is the function for you.
izaak has joined #ocaml
MrScout has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
izaak has quit [Quit: izaak]
demonimin has joined #ocaml
dsheets has joined #ocaml
<ggole> Sigh, or-patterns are so broken with GADTs
<ggole> Can't even use them when the constructors have the same type -_-
BitPuffin has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
sepp2k has quit [Ping timeout: 264 seconds]
darkf has quit [Read error: Connection reset by peer]
kakadu has quit [Quit: Page closed]
breadmonster has joined #ocaml
sepp2k has joined #ocaml
<breadmonster> Has anyone been having issues with camlp4 recently?
<flux> ggole, broken by accident or by not implemented?
<dmbaturin> breadmonster: Are you using camlp4 yourself, or some library you are using does?
<breadmonster> dmbaturin: Things are going haywire.
<breadmonster> The software isn't buggy, but I seem to be having installation issues.
<breadmonster> One second, let me show you.
<breadmonster> And another one.
<breadmonster> dmbaturin: Have you seen this before?
<ggole> flux: they don't type check
<dmbaturin> breadmonster: Looks like camlp4.4.01 was deleted from the repository, although I'm not sure why. Is anything holding you back from upgrading to 4.02.1?
captainNemo has joined #ocaml
<breadmonster> dmbaturin: oh that's all?
<captainNemo> yes
<captainNemo> Now what ?
<captainNemo> Does anyone know what's going on here ?
<breadmonster> Oh right, yeah captainNemo is a friend, he's having some issue getting Core up and running.
<captainNemo> I'm unable to install utop
<breadmonster> dmbaturin: The second camlp4 problem I've seen...
<dmbaturin> breadmonster: Also, you can do 'opam switch export <file>', and do 'opam switch import <that file>' after installing a new compiler and switching to it (in case you didn't upgrade compilers before, it's been a while and I don't know how much opam experience you've got so far :).
<breadmonster> Yeah, I just switched compilers, everything is neat and shiny, thanks!
<breadmonster> dmbaturin: My friend captainNemo is having some weird issues getting Core up and running, I can't figure it out because I follow the RWO instructions to the t.
<dmbaturin> captainNemo: You've install ocaml from opam, or from somewhere else?
<captainNemo> I think I might have installed it from brew
<dmbaturin> It may complicate things. Installing the compiler from opam is probably the easiest option.
<captainNemo> Thanks
<captainNemo> I'll try that
<dmbaturin> opam switch 4.02.3
<dmbaturin> It will download and install the compiler for you.
enitiz has joined #ocaml
ollehar has joined #ocaml
ncthom91 has joined #ocaml
Guest38 has quit [Read error: Connection reset by peer]
zpe has quit [Remote host closed the connection]
captainNemo has quit [Quit: Page closed]
ollehar has quit [Ping timeout: 244 seconds]
<flux> > - Similar languages to OCaml (such as Haskell) outlaw having the same
<flux> > name defined twice in the same scope. OCaml only issues a warning.
<flux> > IMO, this warning should be turned into an error.
<flux> what warning is that?
Guest38 has joined #ocaml
<MercurialAlchemi> flux: funny how ghci lets you write "let foo = 1", then "let foo = foo + 1", before exploding when you attempt to evaulate foo
<MercurialAlchemi> was this what "outlaws" means?
slash^ has quit [Read error: Connection reset by peer]
<ggole> It's referring to let x = 1 in let x = 2 in x, I think
creichert has quit [Read error: Connection reset by peer]
<Drup> it's an optional warning
<Drup> flux: don't know where this comment, but it doesn't mention the important different: haskell is recursive by default, not OCaml
<Drup> +is from
shinnya has joined #ocaml
kakadu has joined #ocaml
<dmbaturin> Sometimes the choice between let and letrec is quite a nice thing.
<MercurialAlchemi> dmbaturin: yeah, and sometimes it's the difference between terminating with exit 0 and blowing up :)
<MercurialAlchemi> the latter is quite easy to do by accident in haskell
<breadmonster> How hard would it be to augment OCaml with typeclasses?
<breadmonster> MercurialAlchemi: How so?
<Drup> breadmonster: ^
<MercurialAlchemi> breadmonster: make a recursive function by accident because you used the wrong binding name
<flux> drup, but which warning is it? I can't seem to find it from http://caml.inria.fr/pub/docs/manual-ocaml/comp.html ?
<dmbaturin> I feel like in practice accidental nontermination is equally (un)common in nearly all languages though, except for total ones. :)
<Drup> dmbaturin: my very recent experience with weird datastructure transformation gives me the opposite impression :p
<Drup> flux: I guess they meant shadowing ?
<Drup> hum, that's not what the wording indicates
<Drup> not sure then
mea-culp` has joined #ocaml
sh0t has joined #ocaml
mea-culpa has quit [Ping timeout: 240 seconds]
breadmonster has quit [Quit: Page closed]
MrScout_ has joined #ocaml
MrScout has quit [Ping timeout: 244 seconds]
segmond has quit [Ping timeout: 244 seconds]
seggy has quit [Ping timeout: 244 seconds]
rossberg has quit [Ping timeout: 244 seconds]
jeroud has quit [Ping timeout: 244 seconds]
flxx has quit [Ping timeout: 244 seconds]
Algebr has joined #ocaml
sgnb has quit [Ping timeout: 244 seconds]
sgnb has joined #ocaml
flxx has joined #ocaml
jeroud has joined #ocaml
cojy has quit [Ping timeout: 246 seconds]
cojy has joined #ocaml
seggy has joined #ocaml
segmond has joined #ocaml
rossberg has joined #ocaml
obadz has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
dejanr has joined #ocaml
dejanr has left #ocaml [#ocaml]
Simn has quit [Quit: Leaving]
enitiz is now known as Peaceful-Romance
rgrinberg has joined #ocaml
ril has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
ggole has quit []
Peaceful-Romance is now known as enitiz
ygrek has quit [Ping timeout: 246 seconds]
BitPuffin|osx has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
ril is now known as ril[away]
ril[away] is now known as ril
_andre has quit [Quit: leaving]
rgrinberg has joined #ocaml
mea-culp` is now known as mea-culpa
ril is now known as ril[away]
ril[away] is now known as ril
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
octachron has quit [Quit: Leaving]
t4nk563 has quit []
ygrek has joined #ocaml
ril is now known as ril[away]
ril[away] is now known as ril
_whitelogger has joined #ocaml
sepp2k has quit [Quit: Leaving.]
enitiz has quit [Quit: Leaving]
enitiz has joined #ocaml
enitiz_ has joined #ocaml
enitiz has quit [Read error: Connection reset by peer]
enitiz_ has quit [Read error: Connection reset by peer]
enitiz has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MrScout_ has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 246 seconds]
xificurC has quit [Ping timeout: 260 seconds]
ril has joined #ocaml
MrScout has joined #ocaml
obadz has quit [Ping timeout: 246 seconds]
MrScout_ has joined #ocaml
MrScout has quit [Remote host closed the connection]
claudiuc has joined #ocaml
claudiuc_ has joined #ocaml
claudiuc has quit [Ping timeout: 264 seconds]
claudiuc_ has quit [Ping timeout: 246 seconds]
sh0t has quit [Quit: Leaving]
rgrinberg has joined #ocaml
enitiz has quit [Quit: Leaving]
jwatzman|work has quit [Quit: jwatzman|work]
ril has quit [Read error: Connection reset by peer]
enitiz has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
kakadu has quit [Remote host closed the connection]
enitiz has quit [Remote host closed the connection]
enitiz has joined #ocaml