From HaskellWiki

Revision as of 00:24, 6 January 2008 (edit) DonStewart (Talk | contribs) (more comparisons) ← Previous diff		Revision as of 02:22, 29 March 2008 (edit) (undo) DonStewart (Talk | contribs) (→Javascript) Next diff →
Line 138:		Line 138:
	* [http://satta.org/2007/01/08/foldr-and-foldl-in-javascript/ foldr and foldl in JavaScript]		* [http://satta.org/2007/01/08/foldr-and-foldl-in-javascript/ foldr and foldl in JavaScript]
	* [http://osteele.com/sources/javascript/functional/ Functional Javascript]		* [http://osteele.com/sources/javascript/functional/ Functional Javascript]
		+
		+	== ActionScript ==
		+
		+	*[http://gasi.ch/blog/2008/03/29/functional-actionscript-part-1/ Haskell and ActionScript]
	== Lua ==		== Lua ==

---

Revision as of 02:22, 29 March 2008

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 Prolog 1.9 Scheme 1.10 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 ActionScript 5.3 Lua 5.4 Perl 5.5 Python 5.6 Ruby

1 Functional programming

1.1 CAL

• Haskell code/Java UI

1.2 F#

• monadic syntax
• Haskell and F#: Language Design
• FParsec - A Parser Combinator Library for F#
• zip in F# and Haskell

1.3 OCaml

• A Monad Tutorial for Ocaml
• Who let the dogs out

1.4 Erlang

• Small comparison of Erlang's syntactic difficulties
• Compiling Haskell to Erlang
• PARE - PARallel Execution in Erlang - a response to Haskell

1.5 Lisp

• Writing lisp in Haskell
• Haskell like data structures in Common Lisp
• List comprehensions in Common Lisp

1.6 Oz

• Appreciating Constraint Programming

1.7 Qi

• Foldl and Foldr
• SKI in Qi's type system
• Haskell-like Type Classes in Qi
• Existential Data Constructors in Haskell and Qi

1.8 Prolog

• Wake Up Call for the Logic Programming Community

1.9 Scheme

• Floating point in ElSchemo (a scheme written in Haskell)
• Haskell versus Scheme

1.10 XSLT

• Computing with XSLT

2 Theorem provers

2.1 Epigram

• Peano induction for binary numbers (bis)
• Peano: episode 3

2.2 Agda

• Simple proof of stack correctness for a tiny language (in Agda)
• My First Agda Program: Append, Reverse, and Merge
• Agda Exercise: Sized Mergesort

2.3 Coq

• Coq and simple group theory
• Coq and The Monad Laws: Introduction

2.4 Isabelle

• Proving Haskell programs correct with Isabelle/HOL

3 Stack programming

3.1 Forth

• Forth as a Haskell DSL
• Functional Forth

3.2 Factor

• Haskell-style parser combinators in Factor: s-expression reader
• Factor with a dash of curry

3.3 Cat

• Cat in Haskell

4 Imperative, statically typed

4.1 Ada

• Describing Haskell to an Ada programmer

4.2 C

• The functional C programmer
• Functional versus Imperative programming

4.3 C#

• Haskell for C# 3 Programmers
• The New Lambda Expressions Feature in C# 3.0
• Immutability, Purity, and Referential Transparency in C#
• Null pointers vs None vs Maybe
• The "ole in the middle "pattern
• How much Haskell can I squeeze out of C#?
• Monadic Parser Combinators using C# 3.0
• Lazy functions in C#
• Functional Programming on .NET - Part 1
• Laziness in C#/LINQ
• Improve Your C#! Borrow from F#...

4.4 C++

• GADTs in C++
• Maybe in C++
• Type metaprogramming in Haskell and C++

4.5 Eiffel

• The type system of ECMA Eiffel (modelled in Haskell)

4.6 Java

• More Haskell in Java 7 or 8?
• Type classes in Java
• Closures and bottom for Java
• An infinite list in Java
• Parser combinators in Java
• Maybe monad in Java
• Point-free Programming in Java 7 - Beyond Closures
• Structure of a functional Java, er, method

4.7 Scala

• Haskell, CAL and Scala
• Type classes
• Generics for type-safe persistence
• Why not Scala?

5 Imperative, dynamically typed

5.1 Javascript

• foldr and foldl in JavaScript
• Functional Javascript

5.2 ActionScript

• Haskell and ActionScript

5.3 Lua

• Lazy streams for Lua

5.4 Perl

• Comparative terseness of Perl and Haskell
• Perl 6
• Haskell 'words' and Perl 'split'

5.5 Python

• Haskell versus Python
• Using Haskell in Python: haskellembed
• Understanding Monads Via Python List Comprehensions
• Solve Ball Clock Puzzle in Python and Haskell

5.6 Ruby

• Ruby vs Haskell: choose what works
• Haskell: open secret in Ruby land
• Haskell Eye for the Ruby Guy
• Monads in Ruby
  • Part 1: Identity
  • Part 1.5: Identity
• RushCheck, a lightweight random testing tool for Ruby similar to QuickCheck
• part 1
• zip and transpose
• 37 Reasons to Love Haskell
• Pattern matching in Ruby
• Pattern matching in Ruby
• Anamorphisms in Ruby
• Python, Haskell, Ruby Smackdown

Category: Tutorials