rwosync

9 ms·

31.
by rwosync 12y ago
Anthony Cowley has given some really amazing Haskell talks in the past, this keynote should be amazing. http://vimeo.com/m/77164337
32.
by rwosync 12y ago
Static typing is mostly orthogonal, Haskell is mostly blazing fast because of all the aggressive compiler optimizations and the last decade of hard work by Simon Marlow and others on the parallel runtime.
33.
Strongly Typed Publish/Subscribe Over Websockets via Singleton Types(skillsmatter.com)
6 points by rwosync 12y ago|0 comments
34.
Revenge of the Types(lucumr.pocoo.org)
193 points by rwosync 12y ago|133 comments
35.
by rwosync 12y ago
In my experience the failure rate is far below 5% for vanilla HM algorithm. I've never seem a pathological input in the wild that wasn't contrived specifically to test the typechecker.
36.
by rwosync 12y ago
I'm glad that you've taken the time to write more. Your posts have been very articulately stated, especially the one on type systems.
37.
by rwosync 12y ago
Please don't do this. We have enough problems communicating this concept as it is.
38.
by rwosync 12y ago
It's not a pedantic distinction given how much the term has been overloaded to refer to dissimilar concepts.
39.
What I Wish I Knew When Learning Haskell 2.0(stephendiehl.com)
11 points by rwosync 12y ago|0 comments
40.
Reverse Engineering Machines with the Yoneda Lemma (2006)(blog.sigfpe.com)
7 points by rwosync 12y ago|0 comments
41.
JSON validation combinators(ro-che.info)
3 points by rwosync 12y ago|0 comments
42.
Formally Verified Mathematics(cacm.acm.org)
4 points by rwosync 12y ago|0 comments
43.
General Purpose Programming with Dependent Types [video](youtube.com)
3 points by rwosync 12y ago|0 comments
44.
Brutal Introduction to Dependent Types(oxij.org)
2 points by rwosync 12y ago|0 comments
45.
CLaSH: A functional hardware description language(hackage.haskell.org)
87 points by rwosync 12y ago|44 comments
46.
AngularJS integration with Haskell(github.com)
46 points by rwosync 12y ago|13 comments
47.
by rwosync 13y ago
I think this really gets to the core strength of Haskell, which for me has always been having code that we can rapidly prototype but migrate into production and have living in the codebase for a long time. I've written code in good dea
48.
by rwosync 13y ago
Lots of great Haskell material on his site. In particular this derivation of the State monad from first principles was the "Aha!" moment for me understanding monads. http://dev.stephendiehl.com/begin/index.htm
49.
Implementing a JIT Compiled Language with Haskell and LLVM(stephendiehl.com)
207 points by rwosync 13y ago|23 comments
50.
Implementing a JIT Compiled Language with Haskell and LLVM(stephendiehl.com)
3 points by rwosync 13y ago|0 comments
51.
Clang 3.4 Release Notes(llvm.org)
64 points by rwosync 13y ago|7 comments
52.
Odd Odd Even Proof in Agda(brianmckenna.org)
41 points by rwosync 13y ago|2 comments
53.
Haskell for Web Developers(stephendiehl.com)
128 points by rwosync 13y ago|163 comments
54.
by rwosync 13y ago
This is a post about categorical monads, I assume this is why it doesn't use the standard symbols that the Haskell monad uses (>>=, return) and instead refers to the natural transformations (η, μ) as mathematicians do. [1] http
55.
Monads Made Difficult(stephendiehl.com)
139 points by rwosync 13y ago|67 comments
56.
Zen - A new Python graph theory library(github.com)
3 points by rwosync 13y ago|0 comments
57.
Understanding the Yoneda Lemma(bartoszmilewski.com)
8 points by rwosync 13y ago|0 comments