ayrnieu changed the topic of #ocaml to: OCaml 3.08.4 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/
brx has quit [Remote closed the connection]
brx has joined #ocaml
exa has quit [Remote closed the connection]
brx has quit [Remote closed the connection]
brx has joined #ocaml
cmeme has quit [Connection timed out]
cmeme has joined #ocaml
Submarine has quit ["Leaving"]
brx has quit [Read error: 104 (Connection reset by peer)]
brx has joined #ocaml
shirogane has quit [Read error: 104 (Connection reset by peer)]
lus|wats has quit [""I could see how [James Randi] comes off as a bit abrasive, as he uses terms like "gobbledigook" and "woo-woo" when referring]
brx has quit [Remote closed the connection]
brx has joined #ocaml
UziMonkey has joined #ocaml
fab_ has quit [Read error: 110 (Connection timed out)]
fab_ has joined #ocaml
<pattern> wow... i didn't know both richard feynman and raymond smullyan were born in long island
<pattern> in the same town, actually
<pattern> within a few months of each other
brx has quit [Remote closed the connection]
<ptolomy> Who is Smullyan?
* ptolomy is too lazy to google.
<Smerdyakov> Famous logician.
<pattern> and writer of popular puzzle books
<pattern> like "The Lady and The Tiger"
<pattern> i loved those as a kid
<pattern> they were all full of logic puzzles... i guess they were probably what introduced me to logic
<pattern> turns out that smullyan got his phd under alonzo church
<Smerdyakov> I know. I had one of his batchmates for one class at CMU, and he mentioned him.
<pattern> and coincidentally, i'm taking a logic course from a guy who was the last person to get his phd from alonzo church
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
<pattern> and in long island
<Smerdyakov> Who?
<pattern> weird coincidences
<pattern> gary mar
<Smerdyakov> Ah. I take a logic class from Peter Andrews.
<pattern> who's he?
* pattern is not very up to date on famous mathematicians
<Smerdyakov> Another Church student. P.I. of the TPS proof assistant project. Won the Herbrand Award in 2003.
<pattern> ah
<pattern> very cool
<pattern> but berkeley is full of brilliant people... so that's kind of to be expected :)
<Smerdyakov> That was at CMU, like I said.
<pattern> ah
<pattern> cmu's not a bad school either ;)
<pattern> godel and von neumann's graves are near one another's at princeton
<Smerdyakov> pattern, are you in research?
<pattern> nope
<pattern> just a hobbyist
<Smerdyakov> OK. I'm not as surprised at your people-obsessed tendencies, then. ;)
<pattern> my interests change too frequently for me to ever be any good at research
ski has quit [Read error: 110 (Connection timed out)]
descender has quit [Remote closed the connection]
threeve has joined #ocaml
descender has joined #ocaml
mfurr has quit [Read error: 110 (Connection timed out)]
kryptt has joined #ocaml
fab_ has quit [Read error: 110 (Connection timed out)]
threeve has quit []
dnm has joined #ocaml
mercurylala has joined #ocaml
albertelegance has quit [Read error: 104 (Connection reset by peer)]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
mercurylala has quit [Read error: 104 (Connection reset by peer)]
mercurylulu has joined #ocaml
UziMonkey has quit [Remote closed the connection]
mfurr has joined #ocaml
cmeme has quit [Read error: 110 (Connection timed out)]
cmeme has joined #ocaml
ski has joined #ocaml
_fab has joined #ocaml
ellism has joined #ocaml
<ellism> If I want to "import" the List "package" so I don't have to qualify hd and tl with List. what do I need to do?
<ellism> sorry for the javaisms
<mfurr> open List
<mfurr> that is, type "open List"
<ellism> mfurr: Ahh, thank you.
lambdawar has quit [Remote closed the connection]
<ellism> You must forgive me again, I have a function that can take an argument of any type. I want to do one thing if the argument is a ref and something else otherwise. I'm unsure how to do this? I figure that I want to use if, but I don't know what question to ask? It doesn't seem there is a isRef predicate...
<mellum> ellism: you should probably create a variant type.
<ellism> Oh, Okay. Thanks!
_fab has quit [Read error: 110 (Connection timed out)]
Skal has joined #ocaml
<pango> ellism: in ocaml, it's more usual to use 'match' to deconstruct lists instead of List.hd and List.tl
_fab has joined #ocaml
<ellism> pango: Oh, okay, thanks!
<pango> match l with
<pango> | [] -> (* empty list case *)
<pango> | h :: l -> (* code using h and l here *)
<pango> I should have picked another identifier... let's say | h :: t -> (* code using h and t here *)
<pango> to avoid confusion (too late ;) )
<ellism> pango: So the problem is that I'm trying to take some scheme code and translate it to OCaml. I really don't know Ocmal, so I'd like to have it look as Scheme like as possible :-)
<ski> you could yse List.hd and List.tl, but it will prolly look nicer if you use pattern-matching when it fits
<ulfdoz> Why don't you use scheme? This would look like scheme.
ellism has quit ["Chatzilla 0.9.68.5 [Firefox 1.0.7/20050915]"]
bobbyz has joined #ocaml
_fab has quit [Read error: 110 (Connection timed out)]
kryptt has quit ["Download Gaim: http://gaim.sourceforge.net/"]
<bobbyz> hello, I am *just* starting to learn ocaml. I was wondering if there are any plans to add readline support to the ocaml interactive interpreter. I'm primarily a python user and I'm sorely missing the history buffer in the interactive interpreter
<pango> use ledit
<pango> locaml='ledit -x -h ~/.ocaml.history ocaml'
<beschmi> or use emacs with one of the ocaml modes
<mflux> I guess they don't want to link in libreadline because it's GPL?
<mflux> (imo reasonable)
UziMonkey has joined #ocaml
<bobbyz> ahh ok...thanks guys
<bobbyz> wow, I've never used ledit before...that's a wonderful tool
bobbyz has quit [Remote closed the connection]
smimou has joined #ocaml
<pango> mflux: must not be it, ledit doesn't use readline
<pango> mmh but I'm not sure ledit license is compatible with QPL either
<mflux> pango, I didn't mean to imply it did (infact I wish it did ;)), but that could be one reason why ocaml doesn't use libreadline
smimou has quit ["?"]
<pango> I'm trying the eclipse (alpha) ocaml plugin... eclipse has some fine features, but it's quite slow on this box (P3 500)
<pango> you have to wait before seeing what you're typing...
<mflux> how much memory?
<pango> on the box ? 384MB
<pango> maybe I'll also try cameleon2... or keep my trusty emacs ;)
<mflux> xemacs!
ptolomy has quit [Read error: 110 (Connection timed out)]
ppsmimou has joined #ocaml
ptolomy has joined #ocaml
revision17_ has joined #ocaml
mfurr has quit [Read error: 110 (Connection timed out)]
Revision17 has quit [Read error: 110 (Connection timed out)]
UziMonkey has quit [Remote closed the connection]
mlh_ has quit [Client Quit]
mfurr has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
exa has joined #ocaml
dnm has quit [Read error: 110 (Connection timed out)]
vezenchio has joined #ocaml
ChipsterOne has joined #ocaml
Submarine has joined #ocaml
<ChipsterOne> salut tout le monde
threeve has joined #ocaml
ski has quit ["out"]
brx has joined #ocaml
Snark has joined #ocaml
threeve has quit []
threeve has joined #ocaml
Smerdyakov has quit ["brb"]
Smerdyakov has joined #ocaml
Submarine has quit ["Leaving"]
Demitar has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
Tachyon76 has joined #ocaml
vodka-goo has joined #ocaml
vodka-goo is now known as estelle
Tachyon76 has quit [Client Quit]
estelle has left #ocaml []
Schmurtz has joined #ocaml
Demitar has joined #ocaml
brx has quit [Remote closed the connection]
brx has joined #ocaml
brx has quit [Remote closed the connection]
brx has joined #ocaml
ppsmimou has quit ["Leaving"]
mrsolo has joined #ocaml
pango has quit ["Leaving"]
pango has joined #ocaml
smimou has joined #ocaml
brx has quit [Remote closed the connection]
brx has joined #ocaml
ski has joined #ocaml
<ulfdoz> Args, I thought, writing a parser using fancy tools is easy.
<smimou> it is :)
<ulfdoz> But a variant type could help me to unify types of control structures and usual commands.
<dylan> hmm?
<ulfdoz> Hard to explain (for me) what I'm thinking about. I had asked earlier else. :)
<dylan> type expr of If (expr, block, block) and block = Block of expr list ...?
<dylan> etc?
<ulfdoz> Yes, something like this.
* dylan is writing a language for a makefile replacement... that has first-class functions.
<dylan> and possibly the slowest lexical variables of any language.
<smimou> dylan: why making another one ? there are plenty of make-likes
<ski> (dylan : slowest lexical variables ?)
<ulfdoz> I try to write some simple tool for managing sieve scripts. Essentially the same like sieve-shell, plus offline-syntax-checking and if I ever finish the first part code generation from given emails.
<dylan> ski: Well, it's O(n) to access them, where n is the number of scopes.
<ski> and special reson why ?
<ski> s/reson/reason/
<dylan> I'm lazy and want my language/make replacement to work
<dylan> Of course, then I take a detour and try to make all my objects purely functional...
<ulfdoz> I agree make isn't really nice. Especially the thousand variants nmake, gmake and another one for every flavor of unix.
<dylan> I just want "%.html: %.tmpl common.inc ..." to work :)
<dylan> if you have a DAG (directed graph) such that %.html <- common.inc, it's not rocket science that when you expand %.html to [foo.html; bar.html; baz.html] that common.inc points to each.
<dylan> gnu make doesn't do that, though.
<ulfdoz> Would be nice to have "%" & Co. replaced by something regex like.
<dylan> That's not generally useful.
<dylan> (well, not to me ;)
<dylan> I'm using '*', and that's the end of it.
brx has quit [Read error: 104 (Connection reset by peer)]
brx has joined #ocaml
brx has quit [Read error: 104 (Connection reset by peer)]
brx has joined #ocaml
ski has quit ["comonadic delimited continuations !"]
brx_ has joined #ocaml
brx has quit [Remote closed the connection]
Snark has left #ocaml []
vodka-goo has joined #ocaml
xaros2000 has joined #ocaml
xaros2000 has left #ocaml []
ulfdoz has quit [zelazny.freenode.net irc.freenode.net]
Skal has quit [zelazny.freenode.net irc.freenode.net]
__DL__ has quit [Remote closed the connection]
Skal has joined #ocaml
Skal has quit ["Client exiting"]
smimou has quit ["?"]
ChipsterOne has quit [Read error: 104 (Connection reset by peer)]
Chipster has joined #ocaml
Chipster has quit [Read error: 104 (Connection reset by peer)]
Chipster has joined #ocaml
ulfdoz has joined #ocaml
<ulfdoz> damn, lost in netsplit.
Chipster has quit []
threeve has quit []
lambdawar has joined #ocaml