Blog articles/Comparisons
From HaskellWiki
(Difference between revisions)
(→Agda) |
(→Javascript) |
||
| Line 121: | Line 121: | ||
== Javascript == | == Javascript == | ||
* [http://satta.org/2007/01/08/foldr-and-foldl-in-javascript/ foldr and foldl in JavaScript] | * [http://satta.org/2007/01/08/foldr-and-foldl-in-javascript/ foldr and foldl in JavaScript] | ||
| + | * [http://osteele.com/sources/javascript/functional/ Functional Javascript] | ||
== Lua == | == Lua == | ||
Revision as of 18:37, 27 September 2007
Articles comparing Haskell to other languages.
Contents |
1 Functional programming
1.1 CAL
1.2 F#
1.3 OCaml
1.4 Erlang
1.5 Lisp
1.6 Oz
1.7 Qi
- Foldl and Foldr
- SKI in Qi's type system
- Haskell-like Type Classes in Qi
- Existential Data Constructors in Haskell and Qi
1.8 Scheme
1.9 XSLT
2 Theorem provers
2.1 Epigram
2.2 Agda
- Simple proof of stack correctness for a tiny language (in Agda)
- My First Agda Program: Append, Reverse, and Merge
- Agda Exercise: Sized Mergesort
2.3 Coq
2.4 Isabelle
3 Stack programming
3.1 Forth
3.2 Factor
3.3 Cat
4 Imperative, statically typed
4.1 Ada
4.2 C
4.3 C#
- Haskell for C# 3 Programmers
- The New Lambda Expressions Feature in C# 3.0
- Immutability, Purity, and Referential Transparency in C#
- 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
- Lazy functions in C#
4.4 C++
4.5 Eiffel
4.6 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
4.7 Scala
5 Imperative, dynamically typed
5.1 Javascript
5.2 Lua
5.3 Perl 6
5.4 Python
- Haskell versus Python
- Using Haskell in Python: haskellembed
- Understanding Monads Via Python List Comprehensions
