Earlier quoted context omitted.
OCaml doesn't come with the ecosystem that F# does. It isn't about availability, but APIs to play with.
I'm not sure I buy the ecosystem argument. We've recently seem other languages come from out of nowhere, with no ecosystem, to become major languages (Golang, for example). I don't think there's really anything stopping OCaml from being more widely adopted, except for lack of attention from trend-setters.
Microsoft Launches Its .NET Distribution for Linux and Mac
141–150 of 249 posts
Re: Microsoft Launches Its .NET Distribution for Linux and Mac
#142My first question was "So how do I build "Hello World"? For anyone else wondering that, go to https://github.com/dotnet/coreclr/blob/master/Documentation/... .
For those of you who want to save the click: you need to build half the stuff on a windows machine and the copy it over - and you need mono to fetch the dependencies(!).
Re: Microsoft Launches Its .NET Distribution for Linux and Mac
#143Earlier quoted context omitted.
I'm not sure I buy the ecosystem argument. We've recently seem other languages come from out of nowhere, with no ecosystem, to become major languages (Golang, for example). I don't think there's really anything stopping OCaml from being more widely adopted, except for lack of attention from trend-setters.
Go gets a lot of buzz on places like HN, but that's a long way away from being a major language.
Re: Microsoft Launches Its .NET Distribution for Linux and Mac
#144This is the same thing Microsoft did to IBM. Microsoft will do it to any "partner" they feel they can cannibalize. The Halloween Documents are not only relevant, but canon with this move.
Re: Microsoft Launches Its .NET Distribution for Linux and Mac
#145Earlier quoted context omitted.
It is like the Java runtime, but started afresh with all of Java's learned lessons taken into account (although Java with 7 and 8 in particular is catching up). Up until now however it has only ran on Windows which was its biggest "downside" Vs. Java which runs on many platforms.
The JVM is much more sophisticated than the CLR. Its GCs and JIT are many, many years ahead of the CLR's.
A reference to back your statement up would be great... (i couldn't find a good one quickly). Are you aware of the capabilities of the CLR's next generation RyuJIT? What you say is at odds with what I thought, but I'd love my perceptions to be corrected if they are indeed incorrect.
Re: Microsoft Launches Its .NET Distribution for Linux and Mac
#146In order to stay relevant, Microsoft attempts to supplant Xamarin's stakehold in the Linux/iPhone market, by directly eating their lunch. This is the same thing Microsoft did to IBM. Microsoft will do it to any "partner" they feel they can cannibalize. The Halloween Documents are not only relevant, but canon with this move.
Re: Microsoft Launches Its .NET Distribution for Linux and Mac
#147Re: Microsoft Launches Its .NET Distribution for Linux and Mac
#148I'm curious, is there enough released yet to build server-side web apps? Would there be an apache mod, or some other web server? Or is there something more akin to a node app? I really enjoy C#, but everything that I did was either a Windows-only desktop app or a web app served through IIS. Thanks for any insight.
Re: Microsoft Launches Its .NET Distribution for Linux and Mac
#149Re: Microsoft Launches Its .NET Distribution for Linux and Mac
#150F# is a real breath of fresh air in comparison to something like Scala. It's direct ML heritage really shows, also just diving in with an IDE (like Xamarin, or I suppose Visual Studio) is super easy. I see it as the future of pop-functional programming. For example look at the way it handles type inference w/ JSON parsing. Compare that to what you have to do to parse JSON in Scala. It's subtle, but a major usability…
"F* is a new higher order, effectful programming language (like ML) designed with program verification in mind. Its type system is based on a core that resembles System Fω (hence the name), but is extended with dependent types, refined monadic effects, refinement types, and higher kinds. Together, these features allow expressing precise and compact specifications for programs, including functional correctness properties. The F* type-checker aims to prove that programs meet their specifications using an automated theorem prover (usually Z3) behind the scenes to discharge proof obligations. Programs written in F* can be translated to OCaml, F#, or JavaScript for execution. "
It's open source too: https://github.com/FStarLang/FStar