Blog articles/Comparisons

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

Functional programming

CAL

• Haskell code/Java UI

F#

• monadic syntax
• Haskell and F#: Language Design
• FParsec - A Parser Combinator Library for F#
• zip in F# and Haskell
• The Rise Of Functional Programming: F#/Scala/Haskell and the failing of Lisp
• Software Transactional Memory for F#
• QuickCheck for F#
• Catamorphisms in F#

OCaml

• A Monad Tutorial for Ocaml
• Pointfree programming in OCaml

Erlang

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

Lisp

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

Qi

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

Prolog

A Wake Up Call for the Logic Programming Community

Scheme

• Floating point in ElSchemo (a scheme written in Haskell)
• Haskell versus Scheme
• Haskell-style parser combinators in Scheme
• Immutable lists for PLT Scheme

XSLT

• Computing with XSLT

CAS Mathematica

• Functional programming examples

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 (Web archive)
• 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#
• "Immutable data structures are the way of the future 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#...
• The Marvels of Monads (in C#)
• Immutable types can copy the world& safely!
• Immutability in C# Part Seven: More on Binary Trees
• Creating an immutable value object in C# - Part V - Using a library

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
• Structure of a functional Java, er, method

Scala

• Haskell, CAL and Scala
• Type classes
• Generics for type-safe persistence
• Why not Scala?
• Monads in Scala
• Scala Buzzzzings
• unfolds in scala

Imperative, dynamically typed

Javascript

• foldr and foldl in JavaScript
• Functional Javascript
• Algebraic data types in JS
• JavaScript translated and compared to Haskell

ActionScript

• Haskell and ActionScript

Lua

• Lazy streams for Lua

Perl

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

Python

• Haskell versus Python
• Using Haskell in Python: haskellembed
• Understanding Monads Via Python List Comprehensions
• Solve Ball Clock Puzzle in Python and Haskell
• Property checking with Python's nose testing framework
• Why are my monads (in Python) so slow?
• Monads in Python (with nice syntax!)
• Haskell's do syntax for python and ruby
• Error handling in Python: monads are too much for me
• Purely functional recursive types in Haskell and Python
• Pysec: Monadic Combinatoric Parsing in Python (aka Parsec in Python)
• Immutable Data in Python (Record or Named Tuple)

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
• Prospering with ruby vs. haskell
• Monads in Ruby (with nice syntax!)