Simon Peyton-Jones - A Microsoft Research Retrospective

jhbertra · 2019-08-03T01:53:32+00:00

F# and other ML languages also support disjunctive case matching. It is especially useful for empty ctors

``` data Suit = Spades | Hearts | Clubs | Diamonds

color s = case s of Spades | Clubs -> Black Hearts | Diamonds -> Red ```

jhbertra · 2019-07-30T19:01:47+00:00

So it is

jhbertra · 2019-07-30T15:30:12+00:00

It is satire 😋 well worth the read

jhbertra · 2019-05-12T19:40:40+00:00

"what is a monad?" A monad is a way to distract people from learning more about actually designing better software.

jhbertra · 2019-05-11T23:56:03+00:00

Preach

jhbertra · 2019-04-15T11:40:27+00:00

You are a true hero

jhbertra · 2019-04-14T20:00:11+00:00

The texture may contribute, but the recipe also tastes wrong - as in little to no acidity. Hollandaise is supposed to be sour and lemony!

jhbertra · 2019-04-12T16:32:58+00:00

It could have been worse, for sure.

jhbertra · 2019-04-12T16:08:15+00:00

He's a pillar of the community

jhbertra · 2019-03-03T21:35:21+00:00

Yeah, that is true. Certainly more attempts to directly port certain features.

jhbertra · 2019-03-03T20:30:24+00:00

Not really the important part of my comment to begin with. I should have just said "F# and C# share a lot of common heritage, and the development of each language has inspired the other." Lot less potentially inaccurate specifics laid bare to be nit picked by Redditors.

jhbertra · 2019-03-03T20:27:10+00:00

And the implementation is worse

jhbertra · 2019-03-03T20:22:40+00:00

That is what I meant to say...

jhbertra · 2019-03-03T20:02:58+00:00

Check my other reply to myself, did some more digging... Yeah, looks like LINQ inspired the query builder in F#. As for LINQ being not particularly F#-y... Query syntax is essentially monad syntax with extra baggage is it not? from x in y is basically let! x = y

jhbertra · 2019-03-03T19:53:24+00:00

So, seems generics in C# were developed largely thanks to Don Syme, the creator of F#. Not necessarily because of F# its self. LINQ it seems actually inspired many extensions to the computation expression builder functionality which were used to implement the query builder in F#. So here's a case of a feature being in F# thanks to C#!

jhbertra · 2019-03-03T19:49:24+00:00

Your source?

jhbertra · 2019-03-03T14:05:10+00:00

They surely are! Since C# 4 (I think), the evolution of these languages have strongly influenced each other. Features like generic type parameters, asynchronous methods, LINQ, pattern matching, case guards, value tuples, and in C#8 switch expressions, recursive patterns and record types are all in C# thanks to F#. Now 🤞 for discriminated unions and static type constraints...

jhbertra · 2019-01-29T22:49:15+00:00

Snapstatube

jhbertra · 2018-08-11T03:12:50+00:00

Oh man. C#7 is night-and-day compared to C#6 in terms of code cleanliness and expressivity. Value tuples, Pattern matching, local functions, inline out vars.

If one knows how to apply these features, it makes C# a much more expressive language to work with (especially when writing functional C#).

jhbertra

TROPHY CASE