dylan changed the topic of #ocaml to: OCaml 3.09.1 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
pauldia has quit [Read error: 110 (Connection timed out)]
vincenz has left #ocaml []
vodka-goo has joined #ocaml
Skal has quit [Remote closed the connection]
Revision17 has quit ["Ex-Chat"]
_fab has quit [Remote closed the connection]
dark_light has joined #ocaml
vodka-goo has quit ["Connection reset by by pear"]
TaXules_ has joined #ocaml
TaXules has quit [Remote closed the connection]
Submarine has quit ["Leaving"]
Revision17 has joined #ocaml
AI_coder has joined #ocaml
<AI_coder> What are the benefits and problems of ocaml vs C,perl,php and other languages?
<Smerdyakov> Didn't you read my wiki page?
<AI_coder> Your?
<sieni> Well, Ocaml is a functional programming languge.
<AI_coder> How about form handling in (x)html?
<sieni> Also as opposed to Scheme and Lisp (which are dynamically typed) it is statically typed and as opposed to Haskell and Clean (which are lazily evaluated), Ocaml (and Standard ML) are strictly evaluated like most of programming languages
<AI_coder> That form handling would naturally lend itself to db access.
<Smerdyakov> AI_coder, stay tuned; I'm working on a new language that has better form handling than anything I've seen.
<AI_coder> Is this sarcasm I smell?
<AI_coder> I think that's what php was.
<Smerdyakov> No, it's not sarcasm.
<Smerdyakov> PHP is a joke compared to what I have.
<sieni> Smerdyakov: which doesn't say much ;-)
<AI_coder> lol
<AI_coder> Smerdyakov: Is it compiled, interpreted, what programming languages was it developed in?
<Smerdyakov> Compiled, and developed in Standard ML.
<AI_coder> Compiled to what?
<AI_coder> machine code?
<Smerdyakov> Yes.
<AI_coder> I did not intend for that to sound demanding rather I want to know more.
<AI_coder> Interesting, I presume x86 then.
<Smerdyakov> No. Anything that MLton targets.
<jer> Smerdyakov, your wiki page specifically the note about syntax is a little misleading; i come from a smalltalk background and find ML syntax a bit rough to follow (or well, did when i started)
<jer> and smalltalk's syntax is nothing like c's
<Smerdyakov> jer, the page is directed at a general audience. The disclaimer might more completely read "other languages with very different syntax."
<jer> Smerdyakov, i figured as much, my comment was meant to indicate that there are vast languages that aren't ML that don't look at all like C
<Smerdyakov> I know it, but the situation is that most programmers only know languages that are more or less C syntactically, so that it's necessary give them a little shake and let them know that this isn't all there is.
<dylan> or algol-like.
<Smerdyakov> Most programmers today don't have experience with Algol-like languages.
<dylan> Except all the VB people. But I don't consider them programmers normally. Or humans.
Smerdyakov has quit ["Leaving"]
Skal has joined #ocaml
slipstream-- has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
ski_ has quit [Read error: 110 (Connection timed out)]
ski_ has joined #ocaml
vodka-goo has joined #ocaml
dark_light has quit ["Fui embora"]
khaladan has joined #ocaml
wimp has joined #ocaml
<wimp> how can I understand the ocaml optimizing compiler? (I want to write a scheme -> asembly cojmpiler and leverage ocaml's backend)
<sieni> probably you would have to read the source ^_^
<wimp> wonderful; nothing better I can hope for?
<joshcryer> I just tried googling, unfortunately I can't find the paper I was looking for, but it discussed Ocaml's compiler to great depth.
ski_ has quit [Read error: 110 (Connection timed out)]
ski_ has joined #ocaml
m3ga has joined #ocaml
<wimp> remember any thing about th epaper?
<joshcryer> Nah, way *way* over my head.
vodka-goo has quit ["Connection reset by by pear"]
<wimp> no
<wimp> I jeant
<wimp> authors
<wimp> or title
<wimp> or anythigng>
<joshcryer> Ooh.
<joshcryer> No, but, this Ocaml for Scientists thing looks familiar, but it doesn't seem to actually delve into what I read before.
<wimp> wsesome
<wimp> thanks
<joshcryer> David Tarditi is the guy definitely.
<joshcryer> Good luck man, that stuff is *way* out of my league. Would be cool to have some serious optimizing Scheme compilers out there. ;)
<wimp> lol; thanks for the reference :-)
AI_coder has quit [Connection timed out]
AI_coder has joined #ocaml
pabs3 has joined #ocaml
ski_ is now known as ski
<pabs3> hi all, what should I do if I get this message on some architectures? ocamlfind: Not supported in your configuration: ocamlopt full build logs: http://buildd.debian.org/fetch.php?pkg=mtasc&arch=hppa&ver=1.12-1&stamp=1142953569&file=log
_fab has joined #ocaml
pango is now known as pangoafk
love-pingoo has joined #ocaml
pangoafk is now known as pango
pauldia has joined #ocaml
bluestorm has joined #ocaml
wimp has quit ["Leaving"]
Snark has joined #ocaml
revision17_ has joined #ocaml
piggy_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
glorb has joined #ocaml
<glorb> hello
<glorb> is it possible to construct a type equivalent to
<glorb> type t = A of {a:int; b:bool} | B of {c:int; d:t}
<bluestorm> you mean, without declaring the record types ?
<flux__> type t = A of a | B of b and a = { a: int; b: bool } and b = {c:int; d:t}
<glorb> thanks flux__ that looks good
<bluestorm> flux__,
<bluestorm> will the a and b types be accessible outside ?
<bluestorm> (it seems they will, but it may be better if they wouldn't)
<flux__> if someone does match foo with A b -> .. , b needs to have some type
<bluestorm> hum
<bluestorm> you're right
slipstream has joined #ocaml
pabs3 has quit ["Don't rest until all the world is paved in poems."]
slipstream-- has quit [Read error: 110 (Connection timed out)]
pauldia has quit ["Leaving"]
m3ga has quit ["disappearing into the sunset"]
glorb has left #ocaml []
VB has joined #ocaml
piggy_ has left #ocaml []
Smerdyakov has joined #ocaml
Snark has quit ["Leaving"]
Anarchos has joined #ocaml
VB has quit [Read error: 104 (Connection reset by peer)]
ulfdoz has quit [Remote closed the connection]
ulfdoz has joined #ocaml
<Smerdyakov> Exciting new channel #pltheory on the theory of programming languages!
<dylan> Smerdyakov: Does it have strippers?
<Smerdyakov> It has no strippers.
<dylan> Good. that would be distracting.
<dylan> What about tacos?
<Smerdyakov> EOF
<dylan> :(
<Anarchos> any expert of interfacing with C here ?
<dylan> Anarchos: still having problems with the blocking-section stuff?
* Smerdyakov likes MLton's FFI. ;)
<Anarchos> dylan yes : i have a call to caml_oldify_one which does not terminate,
<dylan> Anarchos: I've only done simple things with the ocaml FFI, sadly. :(
<Anarchos> dylan ok. i have interfaced native API multithreaded in C++ with ocaml ...
<dylan> right, you said you're using Ocaml <-> C <-> C++
<Anarchos> yes and i made stubs in C++ to use my own methods instead of those of the system. In my own methods i call back ocaml code....
<dylan> Curiouser and curiouser, alice said to the rabbit...
<Anarchos> i don't know where to put my code to be available on the net
love-pingoo has quit ["Leaving"]
<Anarchos> is it a mean to ensure that calls to ocaml coming form different threads use the same runtime mutex ?
khaladan has quit [Read error: 104 (Connection reset by peer)]
jer has quit [Read error: 110 (Connection timed out)]
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
jer has joined #ocaml
pauldia has joined #ocaml
ski_ has joined #ocaml
ski has quit [Nick collision from services.]
ski_ is now known as ski
smimou has joined #ocaml
Skal has quit [Remote closed the connection]
Snark has joined #ocaml
pango is now known as pangoafk
pauldia has quit [Read error: 110 (Connection timed out)]
pangoafk is now known as pango
Submarine has joined #ocaml
mattam has quit ["leaving"]
mattam has joined #ocaml
mikeX has joined #ocaml
revision17_ has quit ["Ex-Chat"]
jips has left #ocaml []
asymptote has joined #ocaml
<asymptote> I can't tell... does the standard library support DNS querying for record types other than A?
exa has joined #ocaml
mrsolo has joined #ocaml
asymptote has quit ["Leaving"]
Snark has quit ["Leaving"]
as has joined #ocaml
khaladan has joined #ocaml
as has quit ["q"]
bluestorm has quit [Remote closed the connection]
smimou has quit [Remote closed the connection]