Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
kaph has quit [Read error: Connection reset by peer]
vijon has joined #ocaml
motherfsck has quit [Ping timeout: 256 seconds]
motherfsck has joined #ocaml
vicfred has quit [Quit: Leaving]
Tuplanolla has joined #ocaml
vijon has quit [Quit: vijon]
biog has quit [Quit: ZZZzzz…]
rgrinberg has quit [Read error: Connection reset by peer]
<ns12> Hello, what is the recommended web programming library for making dynamic web pages? I see that there is Opium (https://github.com/rgrinberg/opium) and Eliom (https://github.com/ocsigen/eliom). How much are these libraries used in practice?
<ns12> Is Opium still in beta?
fcc977 has joined #ocaml
fcc977 has quit [Remote host closed the connection]
kaph has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
<companion_cube> there's also Dream, which is younger but inspired from Opium
<ns12> Just wondering if there is anything suitable for "production" use.
<ns12> companion_cube: Dream is still in alpha?
<companion_cube> idk
tomku has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 240 seconds]
sagax has quit [Ping timeout: 240 seconds]
tomku has joined #ocaml
spip has joined #ocaml
bobo_ has quit [Ping timeout: 256 seconds]
<d_bot> <darrenldl> @Drup would seem like a fun project, making ocaml dsl for art thingies
<ns12> companion_cube: I guess so, since https://github.com/aantron/dream/releases/tag/1.0.0-alpha2 is the latest release.
<companion_cube> heh, fair enough
remexre has quit [Remote host closed the connection]
remexre has joined #ocaml
Everything has joined #ocaml
rgrinberg has joined #ocaml
zebrag has joined #ocaml
hackinghorn has joined #ocaml
hackinghorn has quit [Changing host]
hackinghorn has joined #ocaml
slbtty has quit [Quit: Konversation terminated!]
mbuf has joined #ocaml
gravicappa has joined #ocaml
yashi has joined #ocaml
<yashi> hi
<yashi> how to use opam to upgrade ocaml from 4.05.0 to 4.120 on freebsd?
zebrag has quit [Quit: Konversation terminated!]
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
mro has joined #ocaml
<yashi> [ERROR] The compilation of ocaml-base-compiler.4.11.0 failed at "gmake -j3 world.opt".
<yashi> what to do with this?
<yashi> it was the result of running this:
<yashi> opam switch create ocaml-4.11 --formula='"ocaml-base-compiler" {>= "4.11.0" & < "4.12.0~"}' --repos=old=git+https://github.com/ocaml/opam-repository#a11299d81591
<yashi> i am trying to upgrade ocaml via opam
hackhorn has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hackinghorn has quit [Ping timeout: 256 seconds]
hackhorn has quit [Changing host]
hackhorn has joined #ocaml
hornhack has joined #ocaml
hackhorn has quit [Ping timeout: 240 seconds]
shawnw has joined #ocaml
hackhorn has joined #ocaml
hornhack has quit [Ping timeout: 256 seconds]
mro has quit [Remote host closed the connection]
hornhack has joined #ocaml
hackhorn has quit [Ping timeout: 256 seconds]
olle has joined #ocaml
<vsiles> yashi: you should have a bit more output than that, or a log file to look into what failed
kaph has quit [Read error: Connection reset by peer]
dalek-caan has joined #ocaml
kaph has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
olle has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
hackhorn has joined #ocaml
hornhack has quit [Ping timeout: 240 seconds]
biog has joined #ocaml
mro has quit [Quit: Leaving...]
jlrnick has joined #ocaml
hornhack has joined #ocaml
hackhorn has quit [Ping timeout: 256 seconds]
olle has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
jsoo has quit [Ping timeout: 240 seconds]
yashi has quit [Read error: Connection reset by peer]
biog has quit [Ping timeout: 240 seconds]
infinity0 has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
yashi has joined #ocaml
jsoo has joined #ocaml
infinity0 has joined #ocaml
olle has quit [Ping timeout: 256 seconds]
olle has joined #ocaml
gravicappa has quit [Ping timeout: 256 seconds]
gravicappa has joined #ocaml
gopcode has quit [Ping timeout: 256 seconds]
shawnw has quit [Ping timeout: 256 seconds]
shawnw has joined #ocaml
<Leonidas> ns12: alpha and beta are kinda meaningless terms, no?
<olle> Not in semantic versioning
<olle> or?
jlrnick has quit [Ping timeout: 240 seconds]
<Leonidas> what is the relation between 0.8.9 and 1.0.0-alpha2? Is the former alpha? Is it final? Is the alpha referring to the release or the project?
<Leonidas> as such asking whether "Dream is still alpha" because a 1.0.0-alpha2 release exists is somewhat nonsensical.
<Leonidas> There's Firefox beta versions, does that mean that Firefox is in beta?
<Leonidas> (I don't mean to pick on the poster, I just wanna highlight that this question is underspecified)
_tjr_ has quit [Ping timeout: 256 seconds]
<olle> I'm guessing latest version of FF is in beta until it's stable.
<olle> There's also release candidate :)
<olle> RC
_tjr_ has joined #ocaml
mro has quit [Remote host closed the connection]
h11 has joined #ocaml
hornhack has quit [Quit: Leaving]
h11 has joined #ocaml
h11 has quit [Changing host]
spip has quit [Ping timeout: 240 seconds]
spip has joined #ocaml
h11 has quit [Quit: Client closed]
Haudegen has joined #ocaml
rond_ has joined #ocaml
jlrnick has joined #ocaml
waleee has quit [Ping timeout: 250 seconds]
<Leonidas> So I guess the only thing that can be said is that Dreams 1.0.0-alpha2 is alpha but that's basically a tautonomy :-)
<olle> alpha in my head means "not feature complete"
<olle> beta = feature complete but with known bugs
<olle> RC = no known bugs but needs more testing
<olle> You can have 1.0.0 released and 1.1.0-alpha
<Leonidas> Yes, but this answers a different question
<Leonidas> The question was "is Dream alpha-level software"
<Leonidas> In a matter of "can this be used productively*" *for some values of productively
<olle> Oh
<olle> I got in too late in the discussion, sorry :)
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<Leonidas> Ah, now I understand out confusion :)
mro has quit [Read error: Connection reset by peer]
mro_ has joined #ocaml
mro_ has quit [Remote host closed the connection]
wyrd has joined #ocaml
Everything has quit [Quit: leaving]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
waleee has joined #ocaml
mro has joined #ocaml
rond_13 has joined #ocaml
rond_42 has joined #ocaml
jlrnick has quit [Ping timeout: 240 seconds]
rond_ has quit [Ping timeout: 256 seconds]
<companion_cube> goodness, a green build on opam-repo for one of my packages
<companion_cube> a rarity!!
rond_13 has quit [Ping timeout: 256 seconds]
<d_bot> <dinosaure> which one?
<companion_cube> tiny_httpd
<d_bot> <dinosaure> the revdeps is small :p
<companion_cube> there's normally always a couple red marks for this or that obscure edge case :p
<companion_cube> yes, by design :-°
<d_bot> <dinosaure> (at least, 24007 tests passed)
mro has quit [Remote host closed the connection]
<Leonidas> companion_cube: I am sorry to inform you, your code doesn't work on Debian Woody with OCaml 3.02.
mro has joined #ocaml
<Leonidas> Also it uses git, which wasn't invented yet, so you need to check out the code using svn.
<companion_cube> Leonidas: so sad
<companion_cube> I mean there's GADTs and stuff anyway :p
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<d_bot> <NULL> OCaml question: is there a purpose for a non-polymorphic locally abstract type parameter ?
<d_bot> <octachron> GADTs and local modules
<d_bot> <octachron> Not all functions are recursive, and locally abstract type were first introduced for `let f (type a) (compare: a -> a -> int) = let module S = Set.Make(struct type t=a let compare = compare end) in ... `
mro has quit [Remote host closed the connection]
<d_bot> <NULL> This function is still polymorphic, right ?
spip has quit [*.net *.split]
_tjr_ has quit [*.net *.split]
shawnw has quit [*.net *.split]
jsoo has quit [*.net *.split]
kaph has quit [*.net *.split]
dalek-caan has quit [*.net *.split]
mbuf has quit [*.net *.split]
tomku has quit [*.net *.split]
bgs has quit [*.net *.split]
unyu has quit [*.net *.split]
Soni has quit [*.net *.split]
rom1504 has quit [*.net *.split]
Nahra has quit [*.net *.split]
leah2 has quit [*.net *.split]
SquidDev has quit [*.net *.split]
nfc_ has quit [*.net *.split]
Haudegen has quit [*.net *.split]
perrierjouet has quit [*.net *.split]
tristanC has quit [*.net *.split]
ns12 has quit [*.net *.split]
waleee has quit [*.net *.split]
olle has quit [*.net *.split]
infinity0 has quit [*.net *.split]
gravicappa has quit [*.net *.split]
yashi has quit [*.net *.split]
bartholin has quit [*.net *.split]
remexre has quit [*.net *.split]
towel has quit [*.net *.split]
reynir has quit [*.net *.split]
lagash has quit [*.net *.split]
Techcable has quit [*.net *.split]
szkl has quit [*.net *.split]
vsiles has quit [*.net *.split]
seeg has quit [*.net *.split]
greyrat has quit [*.net *.split]
hexology has quit [*.net *.split]
landonf has quit [*.net *.split]
farn has quit [*.net *.split]
noddy has quit [*.net *.split]
tizoc has quit [*.net *.split]
Boarders_ has quit [*.net *.split]
JSharp has quit [*.net *.split]
Fardale has quit [*.net *.split]
cbarrett has quit [*.net *.split]
terrorjack has quit [*.net *.split]
berberman has quit [*.net *.split]
daimrod1 has quit [*.net *.split]
xenu has quit [*.net *.split]
williewillus has quit [*.net *.split]
p4bl0 has quit [*.net *.split]
engil2 has quit [*.net *.split]
rwmjones has quit [*.net *.split]
ts2 has quit [*.net *.split]
oisota has quit [*.net *.split]
riverdc has quit [*.net *.split]
jyc has quit [*.net *.split]
bacam has quit [*.net *.split]
Drup has quit [*.net *.split]
nyuhu has quit [*.net *.split]
Cypi has quit [*.net *.split]
xand0 has quit [*.net *.split]
caasih has quit [*.net *.split]
travv0 has quit [*.net *.split]
Ekho has quit [*.net *.split]
micro has quit [*.net *.split]
welterde has quit [*.net *.split]
energizer has quit [*.net *.split]
Chouhartem has quit [*.net *.split]
adrien has quit [*.net *.split]
cross has quit [*.net *.split]
CodeBitCookie[m] has quit [*.net *.split]
greenbagels has quit [*.net *.split]
dwt_ has quit [*.net *.split]
notnotdan has quit [*.net *.split]
d_bot has quit [*.net *.split]
Exa has quit [*.net *.split]
bronsen has quit [*.net *.split]
zozozo has quit [*.net *.split]
fds has quit [*.net *.split]
ejones has quit [*.net *.split]
motherfsck has quit [*.net *.split]
chrisz has quit [*.net *.split]
mmalter has quit [*.net *.split]
lobo has quit [*.net *.split]
kandu has quit [*.net *.split]
andreypopp has quit [*.net *.split]
omni has quit [*.net *.split]
ralu has quit [*.net *.split]
arg__ has quit [*.net *.split]
dstein64 has quit [*.net *.split]
ansiwen_ has quit [*.net *.split]
drewolson has quit [*.net *.split]
companion_cube has quit [*.net *.split]
habnabit_ has quit [*.net *.split]
ocabot has quit [*.net *.split]
saltrocklamp[m] has quit [*.net *.split]
chiastre has quit [*.net *.split]
nore has quit [*.net *.split]
copy has quit [*.net *.split]
klu has quit [*.net *.split]
pippijn has quit [*.net *.split]
gdd has quit [*.net *.split]
ebb has quit [*.net *.split]
Corbin has quit [*.net *.split]
b0o has quit [*.net *.split]
rustyne has quit [*.net *.split]
ccx has quit [*.net *.split]
dh` has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
kronicma1 has quit [*.net *.split]
jakzale has quit [*.net *.split]
thizanne has quit [*.net *.split]
jonasbits has quit [*.net *.split]
gahr has quit [*.net *.split]
asm has quit [*.net *.split]
mg has quit [*.net *.split]
hannes has quit [*.net *.split]
Leonidas has quit [*.net *.split]
nerdypepper has quit [*.net *.split]
qwr has quit [*.net *.split]
johnel_ has quit [*.net *.split]
dy has quit [*.net *.split]
sim642 has quit [*.net *.split]
sadiq has quit [*.net *.split]
adibsaad[m] has quit [*.net *.split]
smondet[m] has quit [*.net *.split]
Sofi[m] has quit [*.net *.split]
mal`` has quit [*.net *.split]
rks` has quit [*.net *.split]
vb has quit [*.net *.split]
slothby has quit [*.net *.split]
troydm has quit [*.net *.split]
Johann has quit [*.net *.split]
nimaje has quit [*.net *.split]
Armael has quit [*.net *.split]
dinosaure has quit [*.net *.split]
CalimeroTeknik has quit [*.net *.split]
octachron has quit [*.net *.split]
rak has quit [*.net *.split]
pieguy12- has quit [*.net *.split]
quernd has quit [*.net *.split]
theblatt1 has quit [*.net *.split]
spoofer has quit [*.net *.split]
aru_ has quit [*.net *.split]
Putonlalla has quit [*.net *.split]
kurfen has quit [*.net *.split]
Absalom has quit [*.net *.split]
grobe0ba has quit [*.net *.split]
Enjolras has quit [*.net *.split]
haesbaert has quit [*.net *.split]
conjunctive has quit [*.net *.split]
v0idpwn has quit [*.net *.split]
rond_42 has quit [*.net *.split]
wyrd has quit [*.net *.split]
hexology has joined #ocaml
landonf has joined #ocaml
dh` has joined #ocaml
johnel_ has joined #ocaml
sim642 has joined #ocaml
qwr has joined #ocaml
hannes has joined #ocaml
sadiq has joined #ocaml
dmbaturin has joined #ocaml
nerdypepper has joined #ocaml
mg has joined #ocaml
dy has joined #ocaml
Leonidas has joined #ocaml
asm has joined #ocaml
thizanne has joined #ocaml
gahr has joined #ocaml
jakzale has joined #ocaml
jonasbits has joined #ocaml
kronicma1 has joined #ocaml
mro has joined #ocaml
Geekingfrog has joined #ocaml
rond_42 has joined #ocaml
cross has joined #ocaml
Chouhartem has joined #ocaml
adrien has joined #ocaml
energizer has joined #ocaml
welterde has joined #ocaml
Ekho has joined #ocaml
xand0 has joined #ocaml
Cypi has joined #ocaml
caasih has joined #ocaml
nyuhu has joined #ocaml
Drup has joined #ocaml
JSharp has joined #ocaml
bacam has joined #ocaml
Boarders_ has joined #ocaml
Fardale has joined #ocaml
cbarrett has joined #ocaml
jyc has joined #ocaml
micro has joined #ocaml
riverdc has joined #ocaml
rwmjones has joined #ocaml
ts2 has joined #ocaml
oisota has joined #ocaml
p4bl0 has joined #ocaml
xenu has joined #ocaml
farn has joined #ocaml
engil2 has joined #ocaml
williewillus has joined #ocaml
greyrat has joined #ocaml
seeg has joined #ocaml
szkl has joined #ocaml
perrierjouet has joined #ocaml
remexre has joined #ocaml
bartholin has joined #ocaml
yashi has joined #ocaml
olle has joined #ocaml
infinity0 has joined #ocaml
gravicappa has joined #ocaml
Haudegen has joined #ocaml
nfc_ has joined #ocaml
SquidDev has joined #ocaml
waleee has joined #ocaml
leah2 has joined #ocaml
noddy has joined #ocaml
travv0 has joined #ocaml
daimrod1 has joined #ocaml
Soni has joined #ocaml
berberman has joined #ocaml
tizoc has joined #ocaml
rom1504 has joined #ocaml
Nahra has joined #ocaml
bgs has joined #ocaml
tomku has joined #ocaml
unyu has joined #ocaml
mbuf has joined #ocaml
dalek-caan has joined #ocaml
kaph has joined #ocaml
jsoo has joined #ocaml
_tjr_ has joined #ocaml
spip has joined #ocaml
ccx has joined #ocaml
ns12 has joined #ocaml
vsiles has joined #ocaml
Techcable has joined #ocaml
lagash has joined #ocaml
reynir has joined #ocaml
towel has joined #ocaml
terrorjack has joined #ocaml
tristanC has joined #ocaml
smondet[m] has joined #ocaml
adibsaad[m] has joined #ocaml
Sofi[m] has joined #ocaml
slothby has joined #ocaml
nimaje has joined #ocaml
rks` has joined #ocaml
Armael has joined #ocaml
octachron has joined #ocaml
dinosaure has joined #ocaml
mal`` has joined #ocaml
vb has joined #ocaml
Johann has joined #ocaml
CalimeroTeknik has joined #ocaml
rustyne has joined #ocaml
b0o has joined #ocaml
Corbin has joined #ocaml
ebb has joined #ocaml
gdd has joined #ocaml
greenbagels has joined #ocaml
d_bot has joined #ocaml
ejones has joined #ocaml
CodeBitCookie[m] has joined #ocaml
bronsen has joined #ocaml
fds has joined #ocaml
Exa has joined #ocaml
notnotdan has joined #ocaml
dwt_ has joined #ocaml
zozozo has joined #ocaml
d_bot has quit [Excess Flood]
mro has quit [Remote host closed the connection]
wyrd has joined #ocaml
pippijn has joined #ocaml
saltrocklamp[m] has joined #ocaml
nore has joined #ocaml
chiastre has joined #ocaml
klu has joined #ocaml
copy has joined #ocaml
mro has joined #ocaml
saltrocklamp[m] has quit [Max SendQ exceeded]
rgrinberg has joined #ocaml
d_bot has joined #ocaml
quernd has joined #ocaml
conjunctive has joined #ocaml
rak has joined #ocaml
pieguy12- has joined #ocaml
spoofer has joined #ocaml
troydm has joined #ocaml
kurfen has joined #ocaml
aru_ has joined #ocaml
Absalom has joined #ocaml
haesbaert has joined #ocaml
grobe0ba has joined #ocaml
Putonlalla has joined #ocaml
theblatt1 has joined #ocaml
Enjolras has joined #ocaml
v0idpwn has joined #ocaml
Sofi[m] has quit [Ping timeout: 268 seconds]
chrisz has joined #ocaml
andreypopp has joined #ocaml
kandu has joined #ocaml
lobo has joined #ocaml
ansiwen_ has joined #ocaml
companion_cube has joined #ocaml
ralu has joined #ocaml
drewolson has joined #ocaml
dstein64 has joined #ocaml
omni has joined #ocaml
motherfsck has joined #ocaml
ocabot has joined #ocaml
mmalter has joined #ocaml
habnabit_ has joined #ocaml
arg__ has joined #ocaml
mclovin has quit [Ping timeout: 240 seconds]
CodeBitCookie[m] has quit [Ping timeout: 252 seconds]
adibsaad[m] has quit [Ping timeout: 268 seconds]
smondet[m] has quit [Ping timeout: 268 seconds]
ebb has quit [Max SendQ exceeded]
spip has quit [Ping timeout: 240 seconds]
bobo_ has joined #ocaml
ebb has joined #ocaml
wyrd has quit [Quit: leaving]
remexre has quit [Ping timeout: 240 seconds]
mclovin has joined #ocaml
Sofi[m] has joined #ocaml
wyrd has joined #ocaml
remexre has joined #ocaml
remexre has quit [Ping timeout: 240 seconds]
smondet[m] has joined #ocaml
remexre has joined #ocaml
<d_bot> <NULL> What's the difference between polymorphism and [a function with] a universally quantified type argument?
<companion_cube> OCaml functions do not take type "arguments"
<d_bot> <NULL> So you agree that locally abstract type parameters are always universally quantified, right?
<companion_cube> idk about the fine print on locally abstract type parameters
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<companion_cube> all I know is, a function has a type scheme, with prenex polymorphism, not type arguments
mro has quit [Remote host closed the connection]
saltrocklamp[m] has joined #ocaml
CodeBitCookie[m] has joined #ocaml
<d_bot> <octachron> Locally abstract types are always generalized outside of the scope that introduced them yes. In other words, they always end up promoted to a generalized type variable in a type scheme by let-polymorphism. However, this notion does not match exactly the explicit universal quantification needed for recursive polymorphism: in this case the typechecker needs the type scheme as soon as the function is introduced.
adibsaad[m] has joined #ocaml
olle has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
mbuf has quit [Quit: Leaving]
mro has quit [Ping timeout: 256 seconds]
rond_42 has quit [Quit: Client closed]
jlrnick has joined #ocaml
rgrinberg has joined #ocaml
ns12 has quit [Quit: bye]
ns12 has joined #ocaml
rond_ has joined #ocaml
olle has joined #ocaml
vicfred has joined #ocaml
vicfred_ has joined #ocaml
jlrnick has quit [Ping timeout: 240 seconds]
rond_ has quit [Quit: Client closed]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
vicfred has quit [Ping timeout: 240 seconds]
coucou42 has joined #ocaml
coucou42 has left #ocaml [#ocaml]
olle has quit [Ping timeout: 240 seconds]
Tuplanolla has joined #ocaml
vicfred_ has quit [Quit: Leaving]
tomku has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
rond_ has joined #ocaml
tomku has joined #ocaml
<yashi> vsiles: Here is the log https://pastebin.com/9qytTCic
rgrinberg has quit [Ping timeout: 256 seconds]
gravicappa has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
mro has joined #ocaml
oriba has joined #ocaml
mro has quit [Remote host closed the connection]
rond_ has quit [Quit: Client closed]
mro has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
wingsorc has joined #ocaml
rgrinberg has joined #ocaml
mro has quit [Quit: Leaving...]
rgrinberg has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
perrierjouet has quit [Remote host closed the connection]
vijon has joined #ocaml
perrierjouet has joined #ocaml
bartholin has quit [Quit: Leaving]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
rgrinberg has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yashi has left #ocaml [#ocaml]
dalek-caan has quit [Quit: dalek-caan]
vijon has quit [Quit: vijon]