jcreigh has quit ["Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."]
tristram has joined #ocaml
smimou has joined #ocaml
shekmalhen has quit ["ah merde"]
falconair has joined #ocaml
<falconair>
if I'm defining a type (type whatever = x of a | y of a | z of a ...), how do i make a constructor which accepts a function (type whatever = x of (a->b) | ... doesn't work)...or do I just use the return type of the function?
<smimou>
type t = F of (int -> int) works
<smimou>
constructors must start with an Uppercase letter BTW
<falconair>
hm...what if i don't know what the type will be (i don't know if it will be int->int) ... i am trying to translate the following (from a paper): lift :: (a->b) -> Obs a -> Obs b (where Obs is a type)
<smimou>
type 'a obs = Obs of 'a
<smimou>
type ('a,'b) t = Lift of (('a -> 'b) -> 'a obs -> 'b obs)
<smimou>
I would do smth like that
<falconair>
ok, thanks smimou, i feel like i'm back in undergrad trying to understand if/else statements :)
<smimou>
(heh
youknow365 has joined #ocaml
<youknow365>
what up
<youknow365>
anyone up around now
Revision17 has joined #ocaml
dark_light has quit [Remote closed the connection]
revision17_ has quit [Read error: 110 (Connection timed out)]
smimou has quit ["bli"]
hikozaemon has quit ["Leaving..."]
Yan49 has joined #ocaml
Yan49 has left #ocaml []
ppsmimou has joined #ocaml
dvekravy_ has joined #ocaml
dvekravy has quit [Read error: 113 (No route to host)]
_fab has joined #ocaml
Smerdyakov has joined #ocaml
falconair has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
finelemon has joined #ocaml
finelemo1 has joined #ocaml
finelemo2 has quit [Read error: 110 (Connection timed out)]
finelemon has quit [Read error: 110 (Connection timed out)]
dvekravy_ is now known as dvekravy
_fab has quit []
_fab has joined #ocaml
_JusSx_ has joined #ocaml
<_JusSx_>
who partecipated to icfp this year?
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
_JusSx_ has quit ["leaving"]
Revision17 has quit ["Ex-Chat"]
asbeta has joined #ocaml
shawn has quit [Client Quit]
tristram has quit [Read error: 110 (Connection timed out)]
_fab has quit []
Jonex has joined #ocaml
shawn has joined #ocaml
d-bug has quit ["This computer has gone to sleep"]