Haskell
Public
Haskell is an advanced purely functional programming language. The product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software.
Recent Activity
Items
-
Slashdot Technology Story | World's First Formally-Proven OS KernelYRO An anonymous reader writes "Operating systems usually have bugs — the 'blue screen of death,' the Amiga Hand, and so forth are known by almost everyone. NICTA's team of researchers has managed to prove that a particular OS kernel is guaranteed to meet its specification . It is fully, ...
zmanian
added
3 months ago
-
Hoopl: Dataflow Optimization Made Simple (Abstract)Hoopl: Dataflow Optimization Made Simple Norman Ramsey , João Dias , and Simon Peyton Jones We present Hoopl, a Haskell library that makes it easy for compiler writers to implement program transformations based on dataflow analyses. The compiler writer must identify (a) logical assertions ...
Bent Rasmussen
added
3 months ago
-
Hoopl: Dataflow Optimization Made Simple | Lambda the UltimateHoopl: Dataflow Optimization Made Simple Hoopl: Dataflow Optimization Made Simple by Norman Ramsey, João Dias, and Simon Peyton Jones. We present Hoopl, a Haskell library that makes it easy for compiler writers to implement program transformations based on dataflow analyses. The compiler ...
Bent Rasmussen
added
3 months ago
-
Random Permutations and SortingRandom Permutations and Sorting Introduction The standard algorithm for shuffling a deck of cards, or generating a random permutation of a finite set with n elements in general, is the Fisher-Yates shuffle . Conventionally, the elements are stored in a mutable array and then randomly ...
Calvin Smith
added
9 months ago
-
PugsWhat is Pugs? Pugs is an implementation of Perl 6, written in Haskell. It aims to implement the full Perl6 specification, as detailed in the Synopses . For more information, please see the overview and this interview Where Are We? The Pugs project was started on February 1st, 2005 by ...
Calvin Smith
added
9 months ago
Comments
-
Modeling quantum computing in HaskellI don't have access, but it looks really really interestingBent Rasmussen added 15 months ago
Members
Active
-
Started Jul. 25, 2008
-
Rules of this twine
This Twine has open membership.
Comments are allowed.
Members may ,add items ,invite people
Twine is about discovering, collecting and sharing the content that interests you. Learn More
Join Twine