Difference between revisions of "Blog articles/Comparisons"

From HaskellWiki
Jump to navigation Jump to search
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

Scheme

XSLT

Theorem provers

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