Difference between revisions of "Blog articles/Comparisons"

From HaskellWiki
Jump to: navigation, search
(Oz: No more Oz...)
(Coq: Updated link to "Coq and simple group theory" (to Web Archive))
Line 73: Line 73:
 
== Coq ==
 
== Coq ==
   
* [http://blog.mikael.johanssons.org/archive/2007/08/coq-and-simple-group-theory/ Coq and simple group theory]
+
* [https://web.archive.org/web/20110225053451/http://blog.mikael.johanssons.org/archive/2007/08/coq-and-simple-group-theory/ Coq and simple group theory] (Web archive)
 
* [http://sequence.complete.org/node/358 Coq and The Monad Laws: Introduction]
 
* [http://sequence.complete.org/node/358 Coq and The Monad Laws: Introduction]
 
   
 
== Isabelle ==
 
== Isabelle ==

Revision as of 22:44, 20 November 2015


Articles comparing Haskell to other languages, or describing the use of Haskell techniques in other languages.

Functional programming

CAL

F#

OCaml

Erlang

Lisp


Qi

Prolog

A Wake Up Call for the Logic Programming Community

Scheme

XSLT

CAS Mathematica

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

ActionScript

Lua

Perl

Python

Ruby