<watermind>
the elpa tuareg emacs package is a bit outdated
MoHaX has joined #ocaml
MoHaX has quit [Ping timeout: 272 seconds]
nikki93 has joined #ocaml
MoHaX has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
MoHaX has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 245 seconds]
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
MoHaX has joined #ocaml
Drup has quit [Quit: Leaving.]
MoHaX has quit [Ping timeout: 240 seconds]
talzeus has joined #ocaml
breakds has joined #ocaml
weie has joined #ocaml
ygrek has joined #ocaml
manizzle has quit [Ping timeout: 272 seconds]
watermind has quit [Quit: Konversation terminated!]
ollehar has quit [Ping timeout: 272 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
lamawithonel_ has quit [Read error: Connection reset by peer]
lamawithonel_ has joined #ocaml
csakatoku has joined #ocaml
nikki93 has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest81035
breakds has quit [Quit: Konversation terminated!]
Guest81035 has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest87093
mcclurmc has quit [Quit: Leaving.]
<flux>
dsheets_, I think some libraries reveal the fact. or you can write your C binding.. or you can just use magic :)
arquebus has joined #ocaml
asmanur has joined #ocaml
gour has joined #ocaml
manizzle has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
Guest87093 has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
ocp has quit [Ping timeout: 240 seconds]
ulfdoz has quit [Ping timeout: 268 seconds]
wolfnn has joined #ocaml
Myk267 has joined #ocaml
thermoplyae has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
wolfnn has quit [Ping timeout: 272 seconds]
<thermoplyae>
hi, chat. what's the rationale behind the design decision to not curry constructors in ocaml?
arquebus has quit [Quit: Konversation terminated!]
Neros has quit [Ping timeout: 240 seconds]
ttamttam has joined #ocaml
yezariaely has joined #ocaml
<flux>
as far I understand it: keeping the code base simpler
<flux>
I think you can find (multiple) discussions about this matter from the caml mailing lists :)
<flux>
(usually they are short discussions)
<thermoplyae>
fair enough
ttamttam has quit [Quit: ttamttam]
djcoin_ has joined #ocaml
ygrek has joined #ocaml
clog has joined #ocaml
dantdj has left #ocaml []
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
<companion_cube>
hello
<Radditz>
hello
weie has quit [Quit: Leaving...]
<adrien_oww>
when I first joined this channel, there were less than 80 peole peak
<adrien_oww>
probably around 70 on average
<adrien_oww>
or even less
<adrien_oww>
fast-forward 5 years, more than twice as many people
<Radditz>
Ocaml is still not widely used, mostly in academic circles
<Kakadu>
adrien_oww: do u remember your 1st day in public ocaml chatroom?
* Kakadu
do
<Kakadu>
does*
<adrien_oww>
too long ago
<darkf>
Radditz: I don't think OCaml will ever be widely-used, but that does not diminish its merits.
<darkf>
probably what kills it is lack of tooling and a very comprehensive standard library bundled with it (and we have Core and Batteries, yay)
<adrien_oww>
I'd say, give it 2 or 3 more years
<Radditz>
It does have lots of libraries tho, I forgot the name but there is this program that allows you to easily install libraries and ocaml version on linux/unix not depending on the local repositories
<Radditz>
it does make and stuff, and allows to easily switch ocaml versions and library versions, I forgot the name
<Radditz>
when was the first day?
<dsheets_>
Radditz, october 4, you're late
<Radditz>
dsheets_: that's the anniversary ? but when was the channe founded?
sepp2k has joined #ocaml
<Radditz>
channel*
<dsheets_>
Radditz, before the protestant reformation
<darkf>
apparently OPAM exists
<darkf>
now I just wish there were more libraries ;)
<Radditz>
oh Ocaml
<Radditz>
dsheets_: when was that?
<dsheets_>
Radditz, started in 1517
<darkf>
then I also wish it would borrow operator slicing from Haskell :/
<Radditz>
I was talking about Opam then I guess
<Radditz>
darkf: what is operator slicing?
<Radditz>
Ocaml is noticeably better than haskell fool
argp has joined #ocaml
<companion_cube>
darkf: what do you mean by "operator slicing" ?
<darkf>
it's called something like that, you can do (+ 1) or (`somefn` foo) or whatever. in OCaml you can do ((+) 1) or whatever but not (1 +)
<companion_cube>
oh, this.
<argp>
i'm using caml_copy_string to copy a c char buffer to a field of a record i allocated with caml_alloc_tuple and i'm getting a segfault
<flux>
there was this language extension pa_hole.ml with syntax like (maybe) \(_ +)
<argp>
what i'm a missing?
<darkf>
flux: that's interesting
<darkf>
flux: that's probably more Scala-like, where you can do (1 + _) to mean (fun x -> 1 + x)
<jpdeplaix>
Kakadu: I think it should be written somewhere in the ocamlfind doc
<jpdeplaix>
s/should/may/
Nahra has quit [Ping timeout: 256 seconds]
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
<companion_cube>
gasche: btw, when do you release your random generator? :p
ollehar has joined #ocaml
skchrko has joined #ocaml
q66 has joined #ocaml
Radditz has quit [Ping timeout: 250 seconds]
csakatok_ has quit [Remote host closed the connection]
madroach has joined #ocaml
steshaw has joined #ocaml
Neros has joined #ocaml
Fullma has joined #ocaml
<dsheets_>
for anyone who was here last night, the opam package fd-send-recv by djs55 does exactly what i want
darkf has quit [Quit: Leaving]
ygrek has quit [Ping timeout: 272 seconds]
mika1 has quit [Ping timeout: 272 seconds]
ocp has quit [Ping timeout: 268 seconds]
mfp has quit [Ping timeout: 272 seconds]
talzeus has quit [Remote host closed the connection]
q66 has quit [Quit: Leaving]
talzeus has joined #ocaml
_andre has joined #ocaml
talzeus has quit [Ping timeout: 245 seconds]
demonimin_ has joined #ocaml
mfp has joined #ocaml
demonimin has quit [Ping timeout: 246 seconds]
mika1 has joined #ocaml
<companion_cube>
how can I specify I want to install documentation in opam?
<companion_cube>
even if just a readme?
<jpdeplaix>
companion_cube: in the .install file I think
<companion_cube>
oh
steshaw has quit [Ping timeout: 272 seconds]
<companion_cube>
<looks like I have a deprecated version of opam remote
mika1 has quit [Ping timeout: 272 seconds]
Drup has joined #ocaml
nisstyre has quit [Quit: Leaving]
ontologiae_ has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
Drup1 has joined #ocaml
Drup has quit [Ping timeout: 245 seconds]
Drup1 is now known as Drup
ocp has joined #ocaml
mika1 has joined #ocaml
Radditz has joined #ocaml
<Radditz>
hello
<Radditz>
does ocaml support the canvas tag?
<Drup>
that's a bit general
<Radditz>
the same one as in html5
<Drup>
I know, but ocaml on itself doesn't support webby stuff, so you're talking about a precise library, aren't you ?
cago has quit [Ping timeout: 272 seconds]
<Radditz>
Drup I am talking about ocaml itself, I have ocaml files that I run through xslt and convert them to XML ( technically XHTML )
<Drup>
ocaml through xslt ?!
<Radditz>
yes
<Drup>
isn't xlst an xml transformation language ? how can you use it on ocaml ?
<Radditz>
ocaml is an ml language, like xml
<Radditz>
it's only reasonable it would work
<Drup>
ocaml is not a markup language, what are you talking about ?
<Radditz>
Drup it can be used as a markup language, xml can be used for more than markup language as well
jonludlam has joined #ocaml
sjbx has joined #ocaml
<Drup>
can you link me a specific walkthroug to transform an ocaml source into xml with xslt ?
<Kakadu>
Drup: look logs
<Radditz>
Drup: you just run teh command
<Kakadu>
we have long discussion about C-something Application Markup Language
<Kakadu>
Drup: with many trolling
<companion_cube>
thomasga: is there a way to have wildcards in .install files?
<companion_cube>
that would be nice for installing documentation
<companion_cube>
or man pages
<Drup>
Kakadu: I don't see anything in the logs
<Radditz>
Drup I don't have time to google it for you, but it's not difficult to do it, trust me\
<thomasga>
companion_cube: it was supported at one point, but not anymore. The idea is to make the build system generate the .install file (which should know about man & doc pages)
<companion_cube>
:(
<companion_cube>
but that means that the build system should contain the opam package ?!
<thomasga>
no, that the build system should be able to generate a .install file :p
<companion_cube>
or that I should generate the .install and then copy it into opam-repository?
<thomasga>
no need to copy it
<thomasga>
if the build system generate it properly, OPAM will just pick it up
<companion_cube>
oh, if there is a foobar.install file in the package, it will be read?
<companion_cube>
I thought it needed to be in the opam description of the package
<Radditz>
companion_cube: do you play portal?
<companion_cube>
I used to
<Radditz>
not anymore? portal 2?
<Radditz>
there are many great community maps in portal 2, I recommend to play them
<companion_cube>
a bit, but I don't have powerful enough a computer nowadays
<Radditz>
what happened to your old computer?
<thomasga>
the .install files in opam-repository should be removed at one point (when either OPAM supports DESTDIR to install the packages, or when the build system are changed to generate the .install files)
<thomasga>
(I'm not sure which statement will be true first :p)
breakds has joined #ocaml
<companion_cube>
it broke
<companion_cube>
thomasga: ok, so I will put a foobar.install at the root of my foobar package
<watermind>
I haven't looked into first order modules yet, is it possible to use them to automatize such constructions?
<watermind>
i.e. build modules recursively using a functor and a base case...
<watermind>
I'm gessing not as this is tending to generic programming a bit too much
avsm has quit [Quit: Leaving.]
emmanuelux has joined #ocaml
ollehar has joined #ocaml
Drup has quit [Ping timeout: 245 seconds]
<mrvn>
watermind: I guess you can make a GADT containing the Module and instance and then make a list of them.
mch_ has quit [Quit: Odcházím]
<watermind>
mrvn: hmm interesting
manizzle has quit [Ping timeout: 272 seconds]
<mrvn>
watermind: personally I would just use objects there
<watermind>
mrvn: right, I haven't read about them yet ...
Kakadu has joined #ocaml
zpe has joined #ocaml
<watermind>
mrvn: what is it about objects that would make them useful here? (I understand if you tell me it's better to just go read about them first and ask questions later though)
zpe has quit [Ping timeout: 245 seconds]
q66 has joined #ocaml
ggole has quit []
moro_home has quit [Ping timeout: 272 seconds]
peterbb has left #ocaml []
Yoric has joined #ocaml
malo has quit [Quit: Leaving]
moro_home has joined #ocaml
Drup has joined #ocaml
rossberg has quit [Ping timeout: 264 seconds]
Anarchos has joined #ocaml
rossberg has joined #ocaml
<watermind>
are there situations where it's better to use "with type endpoint =" rather than "with type endpoint :=" ?
<watermind>
not seeing any advantage in using the first
<whitequark>
maybe if you have "type t = private foo", "with type endpoint = t" would offer different behavior?
<whitequark>
I'm not sure though
yroeht has quit [Quit: WeeChat 0.3.8]
sgnb` has joined #ocaml
sgnb has quit [Remote host closed the connection]
<Drup>
watermind: you should use = if it works
<Drup>
it preserve more type informations, afaik
nikki93 has quit [Remote host closed the connection]
yroeht has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
<watermind>
Drup: I was left wondering if that's not always the case and therefore my question
<Drup>
hum, you still need to give autorisation over your github account, so can't see it
<watermind>
whitequark: interesting
<watermind>
Drup: :/
<def-lkb>
watermind: you obtain a simpler interface, but sometimes you need to apply the resulting module to another functor that may no longer be compatible with this interface
<watermind>
def-lkb: I see... kinda
<def-lkb>
in this case, you will have to use =
<watermind>
def-lkb: I get the idea, but not really seeing what would make it become incompatible
<watermind>
def-lkb: how would the loss of a reference to a type a make a difference if a is set to be the same as say... int
<adrien>
<joke>I'm not sure wireshark is the best example of both technical choices and implementations
<adrien>
damn, 107 minutes early
<adrien>
good night
<gour>
'night
steshaw has joined #ocaml
darkf has joined #ocaml
zpe has joined #ocaml
AltGr has left #ocaml []
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
<Kakadu>
my camlp5 point about error into file /tmp/ocamlpp50aef0. Any ideas how to keep generated file?
<Kakadu>
point*
<Kakadu>
points*
<Kakadu>
gour: How your python web-stuff is feeling?
<gour>
Kakadu: ok. nikola as ssg & web2py
<Kakadu>
are you going to try ocsigen? ;-)
<gour>
for 'general' web stuff?
yroeht has quit [Quit: WeeChat 0.3.8]
<gour>
probaly not due to being overkill
<Drup>
what's different between "general" web stuff and "non-general" web stuff ? x)
<gour>
Drup: non-general are in my dictionary more suited towards web apps, while 'general' to sites only
<Drup>
there is sure a big difference between those two world today :)
<gour>
btw, i'm little bit worried that within D there is talk about reviving/launching QtD...even Rust has wxRust, while here is a bit quiet in regards to GUI
<Kakadu>
I don't think that it is overkill
<Drup>
+¿
* Kakadu
starts to think that 'dead question mark' is near '1' button on french keyboards
<ollehar>
nooo... pattern matching analyze doesn't get bool guards:
<ollehar>
| Bla when true ->
<ollehar>
| Bla when false ->
<companion_cube>
ollehar: try match foo, test with | Bla, true -> ... | Bla, false -> ...
<gour>
Kakadu: for certain purposes, python-powered static site generator is all what i need. for somewhat more complex sites, converting to web2py and adding some interactivity is also ok...i do not want to go too deep into web apps
<gour>
but for now, too tired and going to sleep...hectic time these days
<gour>
'night folks
gour has quit [Quit: WeeChat 0.4.1]
<ollehar>
companion_cube: thx
<companion_cube>
I think it's better ;)
yroeht has joined #ocaml
ocp has joined #ocaml
<watermind>
def-lkb: sorry, was away for a while... thank you! right, I see what you mean
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
tane has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
ohama has quit [Ping timeout: 272 seconds]
ohama has joined #ocaml
Drup has quit [Ping timeout: 272 seconds]
Kakadu has quit []
tane has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
avsm has joined #ocaml
ohama has quit [Ping timeout: 272 seconds]
ohama has joined #ocaml
Drup has joined #ocaml
dsheets has joined #ocaml
steshaw has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
demonimin has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
rgrinberg1 has quit [Read error: Connection reset by peer]
ygrek_ has quit [Ping timeout: 255 seconds]
ohama has quit [Ping timeout: 265 seconds]
ohama has joined #ocaml
demonimin has joined #ocaml
zpe has joined #ocaml
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
emmanuelux has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
wolfnn has quit [Ping timeout: 268 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest56934
Guest56934 has quit [Remote host closed the connection]