From HaskellWiki

Revision as of 18:28, 17 April 2008 (edit) DonStewart (Talk | contribs) ← Previous diff		Revision as of 21:41, 29 April 2008 (edit) (undo) DRMacIver (Talk | contribs) m Next diff →
Line 144:		Line 144:
	* [http://blog.tmorris.net/the-power-of-type-classes-with-scala-implicit-defs Type classes]		* [http://blog.tmorris.net/the-power-of-type-classes-with-scala-implicit-defs Type classes]
	* [http://www.cs.kuleuven.be/~adriaan/?q=cft_intro Generics for type-safe persistence]		* [http://www.cs.kuleuven.be/~adriaan/?q=cft_intro Generics for type-safe persistence]
-	* [http://unenterprise.blogspot.com/2008/01/why-not-scala.html Why not Scala?]	+	* [http://www.drmaciver.com/2008/01/why-not-scala/ Why not Scala?]
	* [http://debasishg.blogspot.com/2008/03/monads-another-way-to-abstract.html Monads in Scala]		* [http://debasishg.blogspot.com/2008/03/monads-another-way-to-abstract.html Monads in Scala]
	* [http://patricklogan.blogspot.com/2008/01/scala-buzzzzings.html Scala Buzzzzings]		* [http://patricklogan.blogspot.com/2008/01/scala-buzzzzings.html Scala Buzzzzings]

---

Revision as of 21:41, 29 April 2008

Articles comparing Haskell to other languages, or describing the use of Haskell techniques in 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
• The Rise Of Functional Programming: F#/Scala/Haskell and the failing of Lisp
• Software Transactional Memory for 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

• 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
• [http://blog.plt-scheme.org/2007/11/getting-rid-of-set-car-and-set-cdr.html

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

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