Adventures in F#--Tail Recursion in Three Languages

re: Adventures in F#--Tail Recursion in Three Languages

Bart De Smet — Wed, 19 Sep 2007 23:04:42 GMT

Hi Jomo,

I posted about this topic (C# -> CLI/IL) somewhere in the past, so I though it might be useful for your readers to check this link out as well:

http://community.bartdesmet.net/blogs/bart/archive/2006/09/22/4463.aspx

-Bart

re: Adventures in F#--Tail Recursion in Three Languages

Finnsson — Thu, 20 Sep 2007 09:34:17 GMT

Intresting post. I always thought that F# used something like "OpCodes.Tailcall" (see http://msdn2.microsoft.com/en-us/library/system.reflection.emit.opcodes.tailcall(VS.80).aspx) since that makes it possible to also optimize cases like:

let f1 a

do print a

f2 a

let f2 a

do print a

f1 a

f1 1

re: Adventures in F#--Tail Recursion in Three Languages

Samuel Jack — Thu, 20 Sep 2007 16:11:11 GMT

Re: your last paragraph. Since C# is making the functional model available, will you be considering including this tail-call optimisation in future versions?

re: Adventures in F#--Tail Recursion in Three Languages

Jomo Fisher — Fri, 21 Sep 2007 00:46:36 GMT

Samuel,

There was some enthusiasm for this the last time I brought it up with Doctor T (http://blogs.msdn.com/madst/default.aspx).

The optimization won't be in Orcas for sure. Beyond that, I can't say. If we did do it, I still think it makes sense to do it in the jitter.

Adventures in F#--Corecursion

Jomo Fisher -- C#, LINQ and Whatnot — Mon, 24 Sep 2007 20:09:20 GMT

Jomo Fisher--In a prior post I touched on recursion in F#. One of the comments was about mutually recursive

re: Adventures in F#--Tail Recursion in Three Languages

jliettehk — Tue, 25 Sep 2007 04:09:26 GMT

Hi Jomo,

Like most of us, I followed a link from the official C# Visual page to your post. Discovered your "Adventures in F#" series. Very good. Is there a link between C# & F# ?

The technical answer is threefold : generics, LINQ and lambda. The corporate answer is : both issued by microsoft. The networking answer is : people are supposed to know each other (Don Syme from F# has worked on generics ; the new feature of C#2 3 years ago).

So my question is : as a member of C# team, you seem to depict your "adventures" as if it was in a foreign world. Are you this lonesome cowboy/pionneer visiting a desolated valley ?

Please take your phone, call F# team for a meeting, set up a high return best-of-both-worlds project and be the main contributor of C#4.

We, C# end users, are delighted by C#3 in beta 2 : LINQ, var, lambda. It simplifies the code (shorter/less verbose) and makes it more robust. We expect another simplification in delegates, interfaces, inheritance, polymorphism, virtuals,is/as. In short : level 2 concepts of Object/Classes programming. Ocaml team did not do too well with objects (it was 15 years ago). Will you do better ?

Thanks for your fantastic work.

Chris

re: Adventures in F#--Tail Recursion in Three Languages

MichaelGiagnocavo — Fri, 28 Sep 2007 06:41:07 GMT

Regardless of where it technically is done, the C# spec needs to explicitly say that tail calls will be optimized out, otherwise it's a nearly useless feature since we can't rely on it.

Adventures in F#--Sweet Test-First Kung Fu

Jomo Fisher -- C#, LINQ and Whatnot — Wed, 03 Oct 2007 01:38:23 GMT

Jomo Fisher--Up until now, I've been avoiding using F# with the VS IDE. I've been using notepad.exe and

Immutability and tail recursion

CodeThinked — Mon, 28 Apr 2008 04:49:04 GMT

Immutability and tail recursion

Recursing into Linear, Tail and Binary Recursion

Matthew Podwysocki — Mon, 07 Jul 2008 19:31:27 GMT

In my previous post , I talked about some of the basics of recursion and why you might want to use it

Recursing into Linear, Tail and Binary Recursion

Matthew Podwysocki's Blog — Mon, 07 Jul 2008 19:42:28 GMT

In my previous post , I talked about some of the basics of recursion and why you might want to use it

Recursing into Linear, Tail and Binary Recursion

Community Blogs — Fri, 11 Jul 2008 00:36:06 GMT

In my previous post , I talked about some of the basics of recursion and why you might want to use it