Angel \”Java\” Lopez on Blog

August 22, 2011

Haskell: Links, News and resources (1)

Filed under: Functional Programming, Haskell, Links, Programming Languages — ajlopez @ 3:41 pm

I’m interested in programming languages and in functional programming. Haskell study and practice is a good step towards grasping functional ideas. These are my links about this language:

http://en.wikipedia.org/wiki/Haskell_%28programming_language%29

Haskell (pronounced /ˈhæskəl/)[3][4] is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing.[5] It is named after logician Haskell Curry. In Haskell, "a function is a first-class citizen" of the programming language.[6] As a functional programming language, the primary control construct is the function. The language is rooted in the observations of Haskell Curry and his intellectual descendants, that "a proof is a program; the formula it proves is a type for the program".

Learn You a Haskell for Great Good! – Higher Order Functions
http://learnyouahaskell.com/higher-order-functions

Haskell :: Functional Programming with Types
http://en.wikibooks.org/wiki/Haskell

How to learn Haskell – Stack Overflow
http://stackoverflow.com/questions/1012573/how-to-learn-haskell

Try Haskell! An interactive tutorial in your browser
http://tryhaskell.org/

A Neighborhood of Infinity: The Infinitude of the Primes
http://blog.sigfpe.com/2011/07/infinitude-of-primes.html

InfoQ: Multicore Programming in Haskell
http://www.infoq.com/presentations/Multicore-Programming-in-Haskell

Yesod :: Enumerator Package
http://www.yesodweb.com/book/enumerator

The implementation of the Gofer functional programming system
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.5058

I1M2010: Operaciones con el TAD de los polinomios en Haskell | Vestigium
http://www.glc.us.es/~jalonso/vestigium/i1m2010-operaciones-con-el-el-tad-de-los-polinomios-en-haskell/

Un problema de las olimpiadas rusas en Haskell | Vestigium
http://www.glc.us.es/~jalonso/vestigium/un-problema-de-las-olimpiadas-rusas-en-haskell/

Applicative Programming with Effects
http://www.soi.city.ac.uk/~ross/papers/Applicative.html

Arrows: A General Interface to Computation
http://www.haskell.org/arrows/

Haskell/Understanding arrows – Wikibooks, open books for an open world
http://en.wikibooks.org/wiki/Haskell/Understanding_arrows

Haskell :: Functional Programming with Types
http://www.cse.chalmers.se/~rjmh/Papers/whyfp.html

Functional Languages will Rule (but not this year) – Good Stuff
http://goodstuff.im/functional-languages-will-rule-but-not-this-y

Ruminations of a Programmer: Combinators as the sublanguage of DSL syntax
http://debasishg.blogspot.com/2011/05/combinators-as-sublanguage-of-dsl.html

The Algebra of Data, and the Calculus of Mutation » Lab49 Blog
http://blog.lab49.com/archives/3011

Type inference – Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Type_inference

The Joy of Haskell, parte 1 – Introdução « Ars Physica
http://arsphysica.wordpress.com/2011/04/18/haskell1/

A Neighborhood of Infinity: Generalising Gödel’s Theorem with Multiple Worlds. Part II.
http://blog.sigfpe.com/2010/12/generalising-godels-theorem-with_24.html

The Arrows Calculus
http://homepages.inf.ed.ac.uk/wadler/papers/arrows-jfp/arrows-jfp.pdf

Wadler’s Blog: The Arrow Calculus
http://wadler.blogspot.com/2010/11/arrow-calculus.html

Program Haskell with Lisp Syntax Using Liskell or Lisk
http://www.readwriteweb.com/hack/2010/11/haskell-with-lisp-syntax.php

Lisk – Lisp and Haskell
http://chrisdone.com/posts/2010-11-25-lisk-lisp-haskell.html

johang88’s haskellinjavascript at master – GitHub
http://github.com/johang88/haskellinjavascript

Conal Elliott » “Everything is a function” in Haskell?
http://conal.net/blog/posts/everything-is-a-function-in-haskell/

Haskell: The Confusing Parts
http://echo.rsmw.net/n00bfaq.html

Video presentations – HaskellWiki
http://www.haskell.org/haskellwiki/Video_presentations

A Neighborhood of Infinity: Products, Limits and Parametric Polymorphism
http://blog.sigfpe.com/2010/03/products-limits-and-parametric.html

My Links
http://www.delicious.com/ajlopez/haskell

Angel “Java” Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

2 Comments »

  1. [...] I published a post about Haskell. Now, it’s time to visit Erlang programming languages. My links and [...]

    Pingback by Erlang: Links, News and Resources (1) « Angel “Java” Lopez on Blog — August 24, 2011 @ 9:45 am

  2. [...] Haskell: Links, News and resources (1) [...]

    Pingback by Functional Programming: Links, News and Resources (1) « Angel “Java” Lopez on Blog — October 1, 2011 @ 10:50 am


RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Theme: Shocking Blue Green. Get a free blog at WordPress.com

Follow

Get every new post delivered to your Inbox.

Join 67 other followers

%d bloggers like this: