Some Details on F# Computation Expressions

re: Some Details on F# Computation Expressions

rog — Tue, 02 Oct 2007 19:13:11 GMT

this is interesting, and i think understand a reasonable portion of what's going on in the "de-sugarisation" process. i'm confused, however, by the difference between let and bind (let vs. let! ?) and between return and return!. return! and let! seem like keywords to me, but don't seem to be mentioned in the F# manual page.

any pointers to a reference or a blog entry talking about these things?

the point at which i stumble in the example is at:

let! n2 = failIfBig inp2

let sum = n1 + n2

that is, i can't work out how the addition

can be valid if n2 is the

result of calling failIfBig, hence of type

Attempt<int>, i.e. (unit -> int option)

and there's no addition operator specified in terms of that type.

[ Don says: the "let!" strips of the Attempt<_> from the Attempt<int> through the process of calling Bind in the de-sugared version. That's what bind is for. So n1 has type "int". ]

Introducing F# Asynchronous Workflows

Don Syme's WebLog on F# and Other Research Projects — Thu, 11 Oct 2007 04:03:22 GMT

F# 1.9.2.9 includes a pre-release of new F# functionality called asynchronous workflows . In this blog

Software Transactional Memory for F#

Hell Is Other Languages — Tue, 15 Jan 2008 17:45:38 GMT

I have written a library for using software transactional memory in F#. The library exposes memory transactions...

Greg Neverov: Software Transactional Memory for F#

Don Syme's WebLog on F# and Other Research Projects — Fri, 18 Jan 2008 04:25:47 GMT

Greg Neverov (of active patterns fame) has placed an implementation of Software Transactional Memory

Parameterized State Transformer Monad in F#?

This Blog Can Also Be A Hat — Wed, 05 Nov 2008 08:30:35 GMT

I have have been playing around with F# and I decided to create a state monad. This worked out really

Programming > > > Computer Science

sUpER pOke — Sat, 27 Dec 2008 03:54:38 GMT

Pre nešto više od pet godina sa nekoliko drugara otvorio sam školu računara i oo tada se vikendom u njoj

What is F#?

Change the world with Microsoft Technology — Mon, 23 Feb 2009 19:18:24 GMT

These pages document F# as a research project. You can find out all about the latest happenings with