Интересное интервью с Доном Саймом о F# а также Haskell, Scala.
Я, например, не знал, что F# мог быть, на самом деле, Haskell.Net
Он отвечает на следующие вопросы:
I've heard that there was a project where Microsoft started to integrate Haskell on .NET and then it was replaced with the F# project. Is that true? If it's true, why?
The promise of F# was this seamless interoperability with the .NET framework. Did you achieve that? Don't you think that the problem got transferred to semantic differences between 2 paradigms?When designing F#, did you have to explore all that exists in the CLR as functionalities, like extension method, or you did a choice to expose that?
Often, laziness gets associated with functional programming and we know that F# is, somehow, a functional programming language, yet you chose to make it strict by default and laziness as option. Why did you decide to do this?
Talking about Haskell, what do you think of type classes?
Where does the power of F# come from? What is the power of F#?
Do you think that F#, because now it's getting a first class language in the .NET platform, competes with C# or each one will have its own domain of application?
Frameworks, like Ruby on Rails, get a lot of success and there is an argument that says that the success came from the fact that it's implemented using the semantics of Rails. Do you think that will or should be frameworks written with the semantics of F# for persistence or web or whatever other concerns?
Usually, I don't know why, but each time we talk about F#, there is Scala that is mentioned, as if there are some similarities between them. What do you think of Scala?
There is an interesting feature of F#, called asynchronous workflows. Can you tell us briefly about this feature?
Usually, in the Microsoft Research, there are several projects, and one project proves interesting and we can get inspired from it in existing technologies or mainstream technologies. That didn't happen with F#; we are shipping F#. What do you feel about it?
On the subject of generics, do you think that there are some more powerful constrains that can be added to that generic system?
Now we are on a CTP of F#. Will there be any breaking changes in the F# language?
We know on the C# 4.0 there will be some dynamic features and dynamic type. Are you considering adding these things to F#?
Интервью можно посмотреть/почитать
здесь.
Luck in life always exists in the form of an abstract class that cannot be instantiated directly and needs to be inherited by hard work and dedication.