vect changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn, ICFP'03 http://www.icfpcontest.org/, A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/, A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
gim has quit ["bonne nuit"]
malc has joined #ocaml
malc has quit ["no reason"]
brwill_zzz is now known as brwill
brwill is now known as brwill_out
jdmarshall has joined #ocaml
Kinners has joined #ocaml
jdmarshall has quit []
<Demitar> Can I make this work? let handlers : (string, ((string -> status * 'a) * ('a -> result * string))) Hashtbl.t = Hashtbl.create 16
<Demitar> Hmm... it would be weird if I could. ;-)
<Smerdyakov> Not particularly.
<Smerdyakov> You can only bind non-values at polymorphic type.
<Smerdyakov> A function application is not a value.
<Demitar> This should teach me to not hack late at night. :)
<Smerdyakov> I mean, at non-polymorphic type.
<Smerdyakov> Heard of "the value restriction"?
<Smerdyakov> This is a perfectly valid and equivalent declaration:
<Smerdyakov> let handlers : (string, ((string -> status * 'a) * ('a -> result * string))) Hashtbl.t = (fun x -> Hashtbl.create 16 x)
<Smerdyakov> Er.
<Smerdyakov> OK, that didn't make any sense at all.
<Demitar> Well, I can't intellectually grasp it at this hour, but my gut feeling is telling me that the type I defined can never work in reality. ;-)
<Smerdyakov> I was confused.
<Demitar> Ah, now I figured out what I really, wanted. I'll pass a function with a closure instead.
<Demitar> And now I remembered why that wouldn't work. (my type is wrong anyway).
<Demitar> (I would be passing an 'a list into the second item.)
* Demitar scraps the design which was only really there to provide interesting feedback in a few special cases.
brwill_out is now known as brwill
<Demitar> Can I pass a list of Pervasives.format values to a function?
ms_spock has joined #ocaml
ms_spock has left #ocaml []
<Kinners> Demitar: you might want to check out Printf.kprintf
brwill is now known as brwill_enroute
GreyLensmen has joined #ocaml
Xolution has quit ["The riot be the rhyme of the unheard."]
brwill_enroute is now known as brwill_zzz
Herrchen has quit [Read error: 60 (Operation timed out)]
<async> are there any good symbolic math libraries written in ocaml?
Smerdyakov has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
carm has quit [Read error: 110 (Connection timed out)]
Etaoin has joined #ocaml
Kinners has left #ocaml []
Herrchen has joined #ocaml
GreyLensmen has quit ["Client Exiting"]
jblack has joined #ocaml
jblack has left #ocaml []
srv has joined #ocaml
__DL__ has joined #ocaml
gim has joined #ocaml
cehteh has quit [Remote closed the connection]
cehteh has joined #ocaml
karryall has joined #ocaml
cehteh has quit [Remote closed the connection]
cehteh has joined #ocaml
JX is now known as Teub
mimosa has joined #ocaml
cehteh has quit [Read error: 110 (Connection timed out)]
malc has joined #ocaml
wazze has quit ["If we don't believe in freedom of expression for people we despise, we don't believe in it at all -- Noam Chomsky"]
buggs|afk has joined #ocaml
buggs has quit [Read error: 110 (Connection timed out)]
Kinners has joined #ocaml
Demitar has quit [Remote closed the connection]
Demitar has joined #ocaml
Kinners has left #ocaml []
Kinners has joined #ocaml
malc has quit ["no reason"]
mellum has quit [Remote closed the connection]
teratorn has quit [tolkien.freenode.net irc.freenode.net]
teratorn has joined #ocaml
Xolution has joined #ocaml
Kinners has left #ocaml []
Teub is now known as JX
Xolution has quit [Read error: 104 (Connection reset by peer)]
Xolution has joined #ocaml
XolClaus has joined #ocaml
Xolution has quit [Read error: 104 (Connection reset by peer)]
XolClaus has quit [Read error: 104 (Connection reset by peer)]
XolClaus has joined #ocaml
srv has quit ["leaving"]
_JusSx_ has joined #ocaml
<_JusSx_> wuuru : hey
<wuuru> _JusSx_: hey :-)
<_JusSx_> i read a lot in these days
<_JusSx_> but i can still do nothing :)
<wuuru> :-)
<_JusSx_> how do u change the position of 2 items in a list?
<async> rebuild the list
<_JusSx_> f int list -> int list
<wuuru> _JusSx_: let change_to_items list = match list with x::y::t -> y::x::t | _ -> failwith "too few items";;
<wuuru> _JusSx_: let change_two_items list = match list with x::y::t -> y::x::t | _ -> failwith "too few items";;
<_JusSx_> ok
<wuuru> # change_to_items [1;2;3;4];;
<wuuru> - : int list = [2; 1; 3; 4]
<_JusSx_> i would like to write a function for sorting a list
<wuuru> _JusSx_: you have really read few :-)
<async> List.sort
<_JusSx_> well i read at work
<_JusSx_> but the main prob is functional programming
<_JusSx_> i can code in procedural way
<wuuru> _JusSx_: you should have probably read an example of sorting funccion :-)
<_JusSx_> ok
<_JusSx_> but where can i find it?
<wuuru> _JusSx_: in the introduction part of the ocaml manual
<wuuru> _JusSx_: there is a line "As an example, here is insertion sort on a list" there :-)
<wuuru> _JusSx_: read at least the introduction and only then try to write your functions :-)
<_JusSx_> i didn't read that
<wuuru> so do? :-)
<_JusSx_> i read ocaml-ora-book chapter 2
<_JusSx_> then i read a whole book of 110 pages but this one really sucks
<wuuru> the introduction part of the ocaml manual is much shorter
<wuuru> of the oficial manual, I mean
<_JusSx_> they all lacks of exercises
<wuuru> and it has an example of sorting function :-)
<_JusSx_> i never downloaded that book
<_JusSx_> so i can't say anything about it
<wuuru> so do? :-)
<_JusSx_> i'm downloading
<_JusSx_> then i will read it
<_JusSx_> :)
<_JusSx_> what's the name of antispammer wrote in ocaml?
<karryall> _JusSx_: spamoracle
<_JusSx_> thanxù
<_JusSx_> wuuru : u have a great memory
<_JusSx_> it's the first example
mattam_ has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
<_JusSx_> wuuru : the prob is that i was trying to change position to the item of the list
<_JusSx_> wuuru : but that's wrong. i need make a new sorted list
<_JusSx_> wuuru : async was right
XolClaus has quit [Read error: 54 (Connection reset by peer)]
XolClaus has joined #ocaml
mattam_ is now known as mattam
JX has quit [Read error: 110 (Connection timed out)]
JX has joined #ocaml
Xolution has joined #ocaml
XolClaus has quit [Read error: 104 (Connection reset by peer)]
owll has joined #ocaml
owll_ has joined #ocaml
owll_ has left #ocaml []
owll has quit [Client Quit]
karryall has quit ["home"]
demitar_ has joined #ocaml
Demitar has quit [Read error: 54 (Connection reset by peer)]
carm has joined #ocaml
demitar__ has joined #ocaml
demitar__ is now known as Demitar
demitar_ has quit [Read error: 110 (Connection timed out)]
wazze has joined #ocaml
brwill_zzz is now known as brwill
malc has joined #ocaml
brwill is now known as brwill_work
rt has joined #ocaml
Xolution has quit [Read error: 104 (Connection reset by peer)]
XolClaus has joined #ocaml
<XolClaus> I need an adjective to describe OCaml
<XolClaus> (as part of a title for a paper)
<XolClaus> the current title is "Objective Caml: A Brief Introduction to an Obscure Language"
<XolClaus> But I don't really like calling ocaml obscure
<Demitar> Objective Caml: A Brief Introduction to a Type-Inferred, Statically Typed, Functional, Imperative, Object Oriented Language"? Lots of adjectives there. ;-)
<XolClaus> My other title was "A Sexy Language with a French Accent"
XolClaus has quit ["The riot be the rhyme of the unheard."]
_JusSx_ has quit ["No windows for this server"]
__DL__ has quit ["Bye Bye"]
XolClaus has joined #ocaml
lms has joined #ocaml
<lms> hi, anyone know of a mirror for ocaml 3.06 for windows? (inria.fr seems broke)
<lms> huh, looks like it's up to 3.07 actually