From HaskellWiki

Revision as of 05:56, 17 August 2008

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

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
• The Rise Of Functional Programming: F#/Scala/Haskell and the failing of Lisp
• Software Transactional Memory for F#
• QuickCheck for F#
• Catamorphisms in F#

1.3 OCaml

• A Monad Tutorial for Ocaml
• Who let the dogs out
• Pointfree programming in OCaml]
• Simple UNIX tools in OCaml

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

A Wake Up Call for the Logic Programming Community

1.9 Scheme

• Floating point in ElSchemo (a scheme written in Haskell)
• Haskell versus Scheme
• Haskell-style parser combinators in Scheme
• Immutable lists for PLT 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#
• "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

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?
• Monads in Scala
• Scala Buzzzzings
• unfolds in scala

5 Imperative, dynamically typed

5.1 Javascript

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

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
• 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)

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

Category: Tutorials