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>
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 :)
<
_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";;
<
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 :-)
<
_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_>
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
<
_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
<
_JusSx_>
i'm downloading
<
_JusSx_>
then i will read it
<
_JusSx_>
what's the name of antispammer wrote in ocaml?
<
karryall>
_JusSx_: spamoracle
<
_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