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)]
<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
<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)]