Personal tools

Blog articles/Comparisons

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(fix typo)
m (Functional programming)
Line 58: Line 58:
 
== XSLT ==
 
== XSLT ==
 
* [http://porg.es/blog/computing-with-xslt Computing with XSLT]
 
* [http://porg.es/blog/computing-with-xslt Computing with XSLT]
  +
  +
== CAS Mathematica ==
  +
* [http://zufaellige-reflektion.blogspot.com/2011/01/haskell-eiger-for-mathematica.html Functional programming examples]
   
 
= Theorem provers =
 
= Theorem provers =

Revision as of 23:16, 11 January 2011


Articles comparing Haskell to other languages, or describing the use of Haskell techniques in 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 Prolog

A Wake Up Call for the Logic Programming Community

1.9 Scheme

1.10 XSLT

1.11 CAS Mathematica

2 Theorem provers

2.1 Epigram

2.2 Agda

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#

4.4 C++

4.5 Eiffel

4.6 Java

4.7 Scala

5 Imperative, dynamically typed

5.1 Javascript

5.2 ActionScript

5.3 Lua

5.4 Perl

5.5 Python

5.6 Ruby