Skip to main content

Home/ Coders/ Group items tagged F#

Rss Feed Group items tagged

Joel Bennett

Code Outlining for Visual F# - Visual F# Tools Team Blog - 2 views

    Add standard code outlining and collapsing capabilities for F# in Visual Studio
Joel Bennett

F# PowerPack - 3 views

    The F# PowerPack is a collection of libraries and tools for F#, provided by the F# team at Microsoft, but which is not part of the core F# release. The PowerPack include features such as a basic Matrix library and supporting math types, FsLex and FsYacc tools for lexing and parsing, support for using F# with LINQ-based libraries, and a tool for generating HTML documentation from F# libraries.
Matteo Spreafico

Joe Duffy's Weblog - OnBeingStateful - 0 views

  • The biggest question left unanswered in my mind is the role state will play in software of the future.
  • The biggest question left unanswered in my mind is the role state will play in software of the future. That seems like an absurd statement, or a naïve one at the very least.  State is everywhere: The values held in memory. Data locally on disk. Data in-flight that is being sent over a network. Data stored in the cloud, including on a database, remote filesystem, etc. Certainly all of these kinds of state will continue to exist far into the future.  Data is king, and is one major factor that will drive the shift to parallel computing.  The question then is how will concurrent programs interact with this state, read and mutate it, and what isolation and synchronization mechanisms are necessary to do so?
  • Many programs have ample gratuitous dependencies, simply because of the habits we’ve grown accustomed to over 30 odd years of imperative programming.  Our education, mental models, books, best-of-breed algorithms, libraries, and languages all push us in this direction.  We like to scribble intermediary state into shared variables because it’s simple to do so and because it maps to our von Neumann model of how the computer works.
  • ...3 more annotations...
  • We need to get rid of these gratuitous dependencies.  Merely papering over them with a transaction—making them “safe”—doesn’t do anything to improve the natural parallelism that a program contains.  It just ensures it doesn’t crash.  Sure, that’s plenty important, but providing programming models and patterns to eliminate the gratuitous dependencies also achieves the goal of not crashing but with the added benefit of actually improving scalability too.  Transactions have worked so well in enabling automatic parallelism in databases because the basic model itself (without transactions) already implies natural isolation among queries.  Transactions break down and scalability suffers for programs that aren’t architected in this way.  We should learn from the experience of the database community in this regard
  • There will always be hidden mutation of shared state inside lower level system components.  These are often called “benevolent side-effects,” thanks to Hoare, and apply to things like lazy initialization and memorization caches.  These will be done by concurrency ninjas who understand locks.  And their effects will be isolated by convention.
  • Even with all of this support, we’d be left with an ecosystem of libraries like the .NET Framework itself which have been built atop a fundamentally mutable and imperative system.  The path forward here is less clear to me, although having the ability to retain a mutable model within pockets of guaranteed isolation certainly makes me think the libraries are salvageable.  Thankfully, the shift will likely be very gradual, and the pieces that pose substantial problems can be rewritten in place incrementally over time.  But we need the fundamental language and type system support first.
Joel Bennett

VSLab - CodePlex - 0 views

    Visual Studio Lab (VSLab) exploits the power of F# to provide an interactive environment similar to MatLab and Mathematica ... and allowing you to easily create additional Add-ins and interact dynamically with them ...
Joel Bennett

The Weekly Source Code 34 - The Rise of F# - Scott Hanselman's Computer Zen - 0 views

    Everyone is agog over F# and getting all functional. Again...
Joel Bennett

Microsoft F# Developer Center - 0 views

    F# is a functional programming language for the .NET Framework. It combines the succinct, expressive, and compositional style of functional programming with the runtime, libraries, interoperability, and object model of .NET. -- and it had a new CTP in September 2008
Joel Bennett

F# (FSharp) - Microsoft Research - 0 views

  • F# is a programming language that provides the much sought-after combination of type safety, performance and scripting,
    • Joel Bennett
      In .Net ...
1 - 10 of 10
Showing 20 items per page