Difference between revisions of "Blog articles/Comparisons"
Jump to navigation
Jump to search
DonStewart (talk | contribs) |
DonStewart (talk | contribs) |
||
Line 39: | Line 39: | ||
== XSLT == |
== XSLT == |
||
* [http://porg.es/blog/computing-with-xslt Computing with XSLT] |
* [http://porg.es/blog/computing-with-xslt Computing with XSLT] |
||
+ | |||
+ | = Theorem provers = |
||
+ | |||
+ | == Agda === |
||
+ | |||
+ | * [http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=71] |
||
+ | |||
+ | == Coq == |
||
+ | |||
+ | * [http://blog.mikael.johanssons.org/archive/2007/08/coq-and-simple-group-theory/ Coq and simple group theory] |
||
+ | * [http://sequence.complete.org/node/358 Coq and The Monad Laws: Introduction] |
||
+ | |||
+ | |||
+ | == Isabelle == |
||
= Stack programming = |
= Stack programming = |
Revision as of 16:43, 23 September 2007
Articles comparing Haskell to other languages.
Functional programming
CAL
F#
OCaml
Erlang
Lisp
Oz
Qi
- Foldl and Foldr
- SKI in Qi's type system
- Haskell-like Type Classes in Qi
- Existential Data Constructors in Haskell and Qi
Scheme
XSLT
Theorem provers
Agda =
Coq
Isabelle
Stack programming
Forth
Factor
Cat
Imperative, statically typed
Ada
C
C#
- The New Lambda Expressions Feature in C# 3.0
- Immutability, Purity, and Referential Transparency in C#
- Haskell for C# 3 Programmers
- Null pointers vs None vs Maybe
- The "ole in the middle "pattern
- How much Haskell can I squeeze out of C#?
- Monadic Parser Combinators using C# 3.0
C++
Eiffel
Java
- More Haskell in Java 7 or 8?
- Type classes in Java
- Closures and bottom for Java
- An infinite list in Java
- Parser combinators in Java
- Maybe monad in Java
- Point-free Programming in Java 7 - Beyond Closures
Scala
Imperative, dynamically typed
Javascript
Lua
Perl 6
Python
- Haskell versus Python
- Using Haskell in Python: haskellembed
- Understanding Monads Via Python List Comprehensions