Blog articles/Comparisons

Articles comparing Haskell to other languages.

Functional programming

CAL

• Haskell code/Java UI

F#

• monadic syntax

OCaml

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

Erlang

• Small comparison of Erlang's syntactic difficulties
• Compiling Haskell to Erlang

Lisp

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

Oz

• Appreciating Constraint Programming

Qi

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

Scheme

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

XSLT

• Computing with XSLT

Theorem provers

Epigram

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

Agda

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

Coq

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

Isabelle

• Proving Haskell programs correct with Isabelle/HOL

Stack programming

Forth

• Forth as a Haskell DSL
• Functional Forth

Factor

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

Cat

• Cat in Haskell

Imperative, statically typed

Ada

• Describing Haskell to an Ada programmer

C

• The functional C programmer
• Functional versus Imperative programming

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#

C++

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

Eiffel

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

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

Scala

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

Imperative, dynamically typed

Javascript

• foldr and foldl in JavaScript
• Functional Javascript

Lua

• Lazy streams for Lua

Perl 6

• Perl 6

Python

• Haskell versus Python
• Using Haskell in Python: haskellembed
• Understanding Monads Via Python List Comprehensions

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
• Pattern matching in Ruby
• 37 Reasons to Love Haskell
• Pattern matching in Ruby