Personal tools

Blog articles/Comparisons

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Isabelle)
(C#)
Line 85: Line 85:
   
 
== C# ==
 
== C# ==
  +
* [http://themechanicalbride.blogspot.com/2007/04/haskell-for-c-3-programmers.html Haskell for C# 3 Programmers]
 
* [http://www.developer.com/net/csharp/article.php/3598381 The New Lambda Expressions Feature in C# 3.0]
 
* [http://www.developer.com/net/csharp/article.php/3598381 The New Lambda Expressions Feature in C# 3.0]
 
* [http://blogs.msdn.com/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx Immutability, Purity, and Referential Transparency in C#]
 
* [http://blogs.msdn.com/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx Immutability, Purity, and Referential Transparency in C#]
* [http://themechanicalbride.blogspot.com/2007/04/haskell-for-c-3-programmers.html Haskell for C# 3 Programmers]
 
 
* [http://lukeplant.me.uk/blog.php?id=1107301659 Null pointers vs None vs Maybe]
 
* [http://lukeplant.me.uk/blog.php?id=1107301659 Null pointers vs None vs Maybe]
 
* [http://enfranchisedmind.com/blog/archive/2007/07/10/279 The "ole in the middle "pattern]
 
* [http://enfranchisedmind.com/blog/archive/2007/07/10/279 The "ole in the middle "pattern]
 
* [http://realfiction.net/?q=node/117 How much Haskell can I squeeze out of C#?]
 
* [http://realfiction.net/?q=node/117 How much Haskell can I squeeze out of C#?]
 
* [http://blogs.msdn.com/lukeh/archive/2007/08/19/monadic-parser-combinators-using-c-3-0.aspx Monadic Parser Combinators using C# 3.0]
 
* [http://blogs.msdn.com/lukeh/archive/2007/08/19/monadic-parser-combinators-using-c-3-0.aspx Monadic Parser Combinators using C# 3.0]
  +
* [http://www.aboutcode.net/2007/09/27/Lazy+Functions+In+LINQ.aspx Lazy functions in C#]
   
 
== C++ ==
 
== C++ ==

Revision as of 16:21, 27 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 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 Lua

5.3 Perl 6

5.4 Python

5.5 Ruby