Difference between revisions of "Blog articles/Comparisons"

From HaskellWiki
Jump to navigation Jump to search
Line 45: Line 45:
   
 
* [http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=70 Peano induction for binary numbers (bis)]
 
* [http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=70 Peano induction for binary numbers (bis)]
  +
* [http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=72 Peano: episode 3]
   
 
== Agda ==
 
== Agda ==

Revision as of 16:46, 23 September 2007


Articles comparing Haskell to other languages.

Functional programming

CAL

F#

OCaml

Erlang

Lisp

Oz

Qi

Scheme

XSLT

Theorem provers

Epigram

Agda

Coq


Isabelle

Stack programming

Forth

Factor

Cat

Imperative, statically typed

Ada

C

C#

C++

Eiffel

Java

Scala

Imperative, dynamically typed

Javascript

Lua

Perl 6

Python

Ruby