Personal tools

Blog articles/Comparisons

From HaskellWiki

< Blog articles(Difference between revisions)
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 ==

Latest revision as of 22:44, 20 November 2015


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

Contents

[edit] 1 Functional programming

[edit] 1.1 CAL

[edit] 1.2 F#

[edit] 1.3 OCaml

[edit] 1.4 Erlang

[edit] 1.5 Lisp


[edit] 1.6 Qi

[edit] 1.7 Prolog

A Wake Up Call for the Logic Programming Community

[edit] 1.8 Scheme

[edit] 1.9 XSLT

[edit] 1.10 CAS Mathematica

[edit] 2 Theorem provers

[edit] 2.1 Epigram

[edit] 2.2 Agda

[edit] 2.3 Coq

[edit] 2.4 Isabelle

[edit] 3 Stack programming

[edit] 3.1 Forth

[edit] 3.2 Factor

[edit] 3.3 Cat

[edit] 4 Imperative, statically typed

[edit] 4.1 Ada

[edit] 4.2 C

[edit] 4.3 C#

[edit] 4.4 C++

[edit] 4.5 Eiffel

[edit] 4.6 Java

[edit] 4.7 Scala

[edit] 5 Imperative, dynamically typed

[edit] 5.1 Javascript

[edit] 5.2 ActionScript

[edit] 5.3 Lua

[edit] 5.4 Perl

[edit] 5.5 Python

[edit] 5.6 Ruby