Live data from Hacker News

Leaving Microsoft

haskell.org

21–30 of 105 posts

Re: Leaving Microsoft

#21
post #5

GHC? Great Haskell Collider?

Well the strong type system ensures that no collisions are possible. GHC is quite the software gem. I love haskell more and more. Everything that is so simple to write, has no right of being so fast.

I agree. The type inference is a beautiful thing. I had started a project in Scala and I'm finding it hard to stay interested when Haskell is so much more interesting to me. But Scala is a LOT more practical for my project. :(

Re: Leaving Microsoft

#22
post #17
post #4

FYI, Simon Marlow is incredibly big in the Haskell community and is the leading expert in Multi core parallelism via STMs in Haskell. Some of the work he has done for the GHC compiler is frankly fantastic. This is incredibly big news in the Haskell world. The FP community is starting to break boundaries with the industry in the last 5 years with Clojure (and Scala's functional support). Currently, FB seems to use has…

Did not expect that many companies from the Netherlands using Haskell.

Probably because many university students are taught Clean (the 'other' purely functional lazy programming language) [1] which is developed in the Netherlands.

[1] http://en.wikipedia.org/wiki/Clean_(programming_language)

Re: Leaving Microsoft

#23
post #4

FYI, Simon Marlow is incredibly big in the Haskell community and is the leading expert in Multi core parallelism via STMs in Haskell. Some of the work he has done for the GHC compiler is frankly fantastic. This is incredibly big news in the Haskell world. The FP community is starting to break boundaries with the industry in the last 5 years with Clojure (and Scala's functional support). Currently, FB seems to use has…

Pedant calling - Erlang is a functional programming language that has been doing very nicely thank you in a lot of big companies (Amazon, Facebook amongst others) for a good while now.

And F# in the financial world, along with Scala.

Other Functional languages are being used more as well, but since a huge amount of financial software sits on either a .Net or a Java stack, using FP languages which can easily interop with the rest of your libraries makes life a lot easier.

Re: Leaving Microsoft

#24
i'm assuming this guy has done real world work before? the idea of a compiler/language lead programmer effectively having lived in academia is terrifying on many levels.

best of luck to him at any rate. haskell and ghc are a cool language and compiler combo, one i have enjoyed for recreational programming time and time again.

Re: Leaving Microsoft

#25

Earlier quoted context omitted.

Well the strong type system ensures that no collisions are possible. GHC is quite the software gem. I love haskell more and more. Everything that is so simple to write, has no right of being so fast.

I agree. The type inference is a beautiful thing. I had started a project in Scala and I'm finding it hard to stay interested when Haskell is so much more interesting to me. But Scala is a LOT more practical for my project. :(

i dunno i've seen type inference create horrible to debug situations - although mainly where it has been shoehorned into to C++11 and used with templates and auto to create code that fails silently doing nothing when a parameter has the wrong type

Re: Leaving Microsoft

#26
post #24

i'm assuming this guy has done real world work before? the idea of a compiler/language lead programmer effectively having lived in academia is terrifying on many levels. best of luck to him at any rate. haskell and ghc are a cool language and compiler combo, one i have enjoyed for recreational programming time and time again.

"The idea of a compiler/language lead programmer effectively having lived in academia is terrifying on many levels."

The apparent cluelessness level of this statement is so high, I am unable to decide if this is just ignorance or very sophisticated trolling.

If the compiler dev working in a university or a research lab while developing the compiler is "terrifying", you should avoid C, C++, and Python, not to mention smalltalk, Pascal, Prolog, Common Lisp, Scheme, SML and OCaml ....

There is always PHP. Turing Completeness FTW.

Re: Leaving Microsoft

#27

Earlier quoted context omitted.

Well the strong type system ensures that no collisions are possible. GHC is quite the software gem. I love haskell more and more. Everything that is so simple to write, has no right of being so fast.

I agree. The type inference is a beautiful thing. I had started a project in Scala and I'm finding it hard to stay interested when Haskell is so much more interesting to me. But Scala is a LOT more practical for my project. :(

Care to elaborate a bit on that? Why is Haskell much more interesting?

Re: Leaving Microsoft

#28
post #11

Earlier quoted context omitted.

It's the subject of the mailing list message (the [Haskell] being the mailing list subject prefix). I was able to piece together what it meant, but I know that a couple of key people for ghc work for Microsoft Research. I agree in general that it's confusing, but it's not like this is the subject of blog post that was poorly chosen. The 'real' subject is just "Leaving Microsoft".

And how would we know that before we click on the link bait?

Complain to the policy or machinery against editorializing titles that makes every submission title converge towards the on the linked page.

Re: Leaving Microsoft

#29
post #24

i'm assuming this guy has done real world work before? the idea of a compiler/language lead programmer effectively having lived in academia is terrifying on many levels. best of luck to him at any rate. haskell and ghc are a cool language and compiler combo, one i have enjoyed for recreational programming time and time again.

> i'm assuming this guy has done real world work before?

Yes, very much. He's one of the leading voices in the parallel Haskell world and a very accomplished programmer:

* http://hackage.haskell.org/package/stm

* http://hackage.haskell.org/package/async

* http://hackage.haskell.org/package/happy

Post reply on HN