Personal tools

Blog articles/Comparisons

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(JavaScript/Haskell comparison (hubris alert: my own blog))
(Oz: No more Oz...)
 
(6 intermediate revisions by 4 users not shown)
Line 22: Line 22:
 
== OCaml ==
 
== OCaml ==
   
* [http://enfranchisedmind.com/blog/archive/2007/08/06/307 A Monad Tutorial for Ocaml]
+
* [http://enfranchisedmind.com/blog/posts/a-monad-tutorial-for-ocaml/ A Monad Tutorial for Ocaml]
* [http://wagerlabs.com/archives/92.html Who let the dogs out]
+
* [http://alaska-kamtchatka.blogspot.com/2008/01/pointless-polymorphism.html Pointfree programming in OCaml]
* [http://alaska-kamtchatka.blogspot.com/2008/01/pointless-polymorphism.html Pointfree programming in OCaml]]
 
* [http://fhtr.blogspot.com/2008/02/simple-unix-tools-in-ocaml.html Simple UNIX tools in OCaml]
 
   
 
== Erlang ==
 
== Erlang ==
 
* [http://www.acooke.org/cute/ErlangsSyn0.html Small comparison of Erlang's syntactic difficulties]
 
* [http://www.acooke.org/cute/ErlangsSyn0.html Small comparison of Erlang's syntactic difficulties]
* [http://blog.tornkvist.org/?id=1185571582964040 Compiling Haskell to Erlang]
 
 
* [http://chlorophil.blogspot.com/2007/11/pare-parallel-execution-in-erlang.html PARE - PARallel Execution in Erlang - a response to Haskell]
 
* [http://chlorophil.blogspot.com/2007/11/pare-parallel-execution-in-erlang.html PARE - PARallel Execution in Erlang - a response to Haskell]
   
Line 35: Line 34:
 
* [http://blog.superadditive.com/2007/11/09/list-comprehensions-in-common-lisp/ List comprehensions in Common Lisp]
 
* [http://blog.superadditive.com/2007/11/09/list-comprehensions-in-common-lisp/ List comprehensions in Common Lisp]
   
== Oz ==
+
* [http://boriken.frayser.org/wordpress/2007/07/04/appreciating-chr-constraint-handling-rules-systems/ Appreciating Constraint Programming]
 
   
 
== Qi ==
 
== Qi ==
Line 45: Line 44:
 
== Prolog ==
 
== Prolog ==
   
* [http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/dec07/content/Articles/tom/content.htmlA Wake Up Call for the Logic Programming Community]
+
[http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/dec07/content/Articles/tom/content.html A Wake Up Call for the Logic Programming Community]
   
 
== Scheme ==
 
== Scheme ==
Line 55: Line 54:
 
== 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 =

Latest revision as of 15:45, 26 January 2012


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