Personal tools

Blog articles/Comparisons

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Agda =)
Line 42: Line 42:
 
= Theorem provers =
 
= Theorem provers =
   
== Agda ===
+
== Agda ==
   
* [http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=71]
+
* [http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=71 Coq]
   
 
== Coq ==
 
== Coq ==

Revision as of 16:43, 23 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

1.8 Scheme

1.9 XSLT

2 Theorem provers

2.1 Agda

2.2 Coq


2.3 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#

4.4 C++

4.5 Eiffel

4.6 Java

4.7 Scala

5 Imperative, dynamically typed

5.1 Javascript

5.2 Lua

5.3 Perl 6

5.4 Python

5.5 Ruby