jcreigh has quit ["Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."]
pango_ has joined #ocaml
pango has quit [Remote closed the connection]
pango__ has joined #ocaml
jcreigh has joined #ocaml
jcreigh has quit ["Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."]
pango__ has quit [Remote closed the connection]
pango has joined #ocaml
clog has joined #ocaml
<falconair>
can someone please take a look at the following: http://paste.devpipe.com/755 , I'm trying to write a lift function, like the ones in some haskell papers and libraries, line three is giving me a type error (I've tried a few variations)
<postalchris>
How's this: let lift1 (f:'a->'b) (Obs o) = Obs (fun t-> f (o t));;
<postalchris>
I'm not doing your homework, am I?
slipstream-- has joined #ocaml
<falconair>
no no, I'm trying to learn functional programming by implementing the paper "How to write a financial contract" ... homework days were more than half a decade ago :)
<falconair>
wow, that seems to work, so I needed to define the parameter as Obs o, not just o, thanks again postalchris
<postalchris>
you could also pattern match: let lift1 f o = match o with Obs g -> Obs (fun t -> f (g t))
<postalchris>
No prob
slipstream has quit [Read error: 110 (Connection timed out)]
semi has left #ocaml []
smimou has joined #ocaml
Wild_Cat has joined #ocaml
Snark has joined #ocaml
pango has joined #ocaml
Wild_Cat has left #ocaml []
dark_light has quit [Remote closed the connection]
araujo has joined #ocaml
ziggurat has quit ["This computer has gone to sleep"]
ziggurat has joined #ocaml
ziggurat has quit [Client Quit]
Boojum has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
Boojum is now known as Snark
slipstream-- has quit ["leaving"]
hcarty has joined #ocaml
slipstream has joined #ocaml
mnemonic has joined #ocaml
<mnemonic>
hi
postalchris has left #ocaml []
pango has quit ["Leaving"]
pango has joined #ocaml
_jol_ has joined #ocaml
hcarty has left #ocaml []
Snark has quit [niven.freenode.net irc.freenode.net]
oracle1 has quit [niven.freenode.net irc.freenode.net]
_jol_ has quit [niven.freenode.net irc.freenode.net]
slipstream has quit [niven.freenode.net irc.freenode.net]
buggs has quit [niven.freenode.net irc.freenode.net]
finelemo1 has quit [niven.freenode.net irc.freenode.net]
Demitar has quit [niven.freenode.net irc.freenode.net]
shans has quit [niven.freenode.net irc.freenode.net]
ertai has quit [niven.freenode.net irc.freenode.net]
flux__ has quit [niven.freenode.net irc.freenode.net]
TaXules has quit [niven.freenode.net irc.freenode.net]
ulfdoz has quit [niven.freenode.net irc.freenode.net]
descender has quit [niven.freenode.net irc.freenode.net]
Kai1111 has quit [niven.freenode.net irc.freenode.net]
Amorphous has quit [niven.freenode.net irc.freenode.net]
mellum has quit [niven.freenode.net irc.freenode.net]
_jol_ has joined #ocaml
mellum has joined #ocaml
Demitar has joined #ocaml
shans has joined #ocaml
slipstream has joined #ocaml
descender has joined #ocaml
_jol_ has quit [Client Quit]
Snark has joined #ocaml
shans_home has quit [niven.freenode.net irc.freenode.net]
Amorphous has joined #ocaml
oracle1 has joined #ocaml
buggs has joined #ocaml
ertai has joined #ocaml
ristinak has joined #ocaml
ulfdoz has joined #ocaml
flux__ has joined #ocaml
TaXules has joined #ocaml
finelemon has joined #ocaml
Kai1111 has joined #ocaml
_jol_ has joined #ocaml
Demitar has quit [niven.freenode.net irc.freenode.net]
shawn has quit [niven.freenode.net irc.freenode.net]
cmeme has quit [niven.freenode.net irc.freenode.net]
danly has quit [niven.freenode.net irc.freenode.net]
falconair has quit [niven.freenode.net irc.freenode.net]
Hadaka has quit [niven.freenode.net irc.freenode.net]
Demitar has joined #ocaml
danly has joined #ocaml
shawn has joined #ocaml
cmeme has joined #ocaml
finelemo1 has joined #ocaml
mnemonic has quit ["leaving"]
dylan has left #ocaml []
finelemon has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Leaving"]
finelemon has joined #ocaml
_jol_ has quit ["leaving"]
finelemo1 has quit [Read error: 110 (Connection timed out)]