|
|
| (163 intermediate revisions by 13 users not shown) |
| Line 1: |
Line 1: |
| − | Many areas of Haskell have been explored in the form of blog posts. This page | + | Many areas of Haskell have been explored in the form of blog posts. This |
| − | collects the best of those articles from across the web. | + | page collects the best of those articles from across the web. Due to the |
| | + | vast amount of material, this page is divided into sub-categories: |
| | | | |
| − | === Introductions to Haskell ===
| + | New material is posted to the [http://www.reddit.com/r/haskell/ Haskell Reddit] and [http://www.dohaskell.com/ dohaskell] |
| | | | |
| − | * [http://programming.reddit.com/goto?id=uzuc On Haskell, Intuition And Expressive Power]
| + | == Introductory material == |
| − | * [http://programming.reddit.com/goto?id=15bx1 Haskell: Raising the bar]
| |
| − | * [http://printf.wordpress.com/2007/02/27/haskell-functional-programming-language/ Learning the Haskell programming language]
| |
| − | * [http://osfameron.vox.com/library/post/on-learning-haskell.html On learning Haskell]
| |
| − | * [http://onthebalcony.wordpress.com/2007/02/19/my-evolution-as-a-haskell-programmer/ My evolution as a Haskell programmer]
| |
| − | * [http://qftblog.wordpress.com/2007/02/14/why-its-so-hard-for-imperative-programmers-to-learn-funtional-languages/ Why its hard for imperative programmers to learn Haskell]
| |
| − | * [http://johnleesmiller.blogspot.com/2007/02/first-post.html Flirting with Functional Programming]
| |
| − | * [http://toomuchcode.blogspot.com/2007/02/building-firewall-against-complexity.html Building a Firewall Against Complexity]
| |
| − | * [http://syntaxfree.wordpress.com/2007/01/08/haskell-bondage-and-discipline-and-separation-of-concerns-programming/ Haskell, bondage-and-discipline and separation-of-concerns programming]
| |
| − | * [http://programming.reddit.com/info/xbc7/comments/cxfs0 Type systems as safety belts]
| |
| − | * [http://blog.interlinked.org/tutorials/haskell_introduction.html Haskell introduction for beginners]
| |
| − | * [http://blog.interlinked.org/tutorials/haskell_2.html Haskell Basics]
| |
| − | * [http://scienceblogs.com/goodmath/2006/11/haskell_preliminaries_implemen.php Haskell Preliminaries: Implementations and Tools]
| |
| − | * [http://scienceblogs.com/goodmath/2006/11/simple_functions_in_haskell_1.php Simple Functions in Haskell]
| |
| − | * [http://monad.carnalreason.org/wordpress/?p=20 Reconsidering my approach to learning Haskell]
| |
| | | | |
| − | ==== First impressions ====
| + | * [[/Introductions|Introductions to Haskell]] |
| | + | * [[/Comparisons|Comparing Haskell to other languages]] |
| | + | * [[/Functional_programming|Functional programming in general]] |
| | + | * [[/Exercises|Small programming exercises]] |
| | | | |
| − | * [http://blogs.nubgames.com/code/?p=15 Haskell First Impressions]
| + | == Specific topics == |
| − | * [http://blogs.nubgames.com/code/?p=17 One month in Haskell]
| |
| − | * [http://kevin.scaldeferri.com/blog/2007/02/12/OneWeek.html Thoughts on one week in Haskell]
| |
| − | * [http://www.stonecode.org/blog/?p=101 Haskell, first impressions (with sexy results)]
| |
| − | * [http://clemens.endorphin.org/weblog/archives/2006-06.shtml#e2006-06-23T09_16_52.txt The beauty of Haskell]
| |
| | | | |
| − | === Comparisons to other languages ===
| + | * [[/Algorithms|Algorithms and techniques]] |
| | + | * [[/Data|Data and control structures]] |
| | + | * [[/Databases|Databases in Haskell]] |
| | + | * [[/Errors|Error handling and exceptions]] |
| | + | * [[/GUIs|GUIs in Haskell]] |
| | + | * [[/Graphics|Graphics]] |
| | + | * [[/Web|HTML and XML and the Web]] |
| | + | * [[/Hardware|Hardware and robots]] |
| | + | * [[/Language|Haskell language features]] |
| | + | * [[/Performance|High performance Haskell]] |
| | + | * [[/IO|IO in Haskell]] |
| | + | * [[/FFI|The FFI: interfaces to other languages]] |
| | + | * [[/Libraries|Libraries and packages]] |
| | + | * [[/Mathematics|Mathematics and Haskell]] |
| | + | * [[/Monads|Monads, Comonads, Arrows]] |
| | + | * [[/Network|Networking]] |
| | + | * [[/Parallel|Parallel and concurrent programming]] |
| | + | * [[/Parsing|Parsing, regular expressions]] |
| | + | * [[/EDSLs|Domain specific languages and code generation]] |
| | + | * [[/Types|Programming with types]] |
| | + | * [[/Testing|Testing, correctness and proofs]] |
| | | | |
| − | ==== Ruby ==== | + | == Further reading == |
| | | | |
| − | * [http://notes-on-haskell.blogspot.com/2007/01/ruby-vs-haskell-choose-what-works.html Ruby vs Haskell: choose what works]
| + | Further material on these topics is available in [http://en.wikibooks.org/wiki/Haskell The Haskell Wikibook] |
| − | * [http://notes-on-haskell.blogspot.com/2007/01/haskell-open-secret.html Haskell: open secret in Ruby land]
| |
| − | * [http://meta-meta.blogspot.com/2006/12/monads-in-ruby-part-1-identity.html Monads in Ruby Part 1: Identity]
| |
| − | * [http://meta-meta.blogspot.com/2006/12/monads-in-ruby-part-15-identity.html Monads In Ruby Part 1.5: Identity]
| |
| − | * [http://rushcheck.rubyforge.org/ RushCheck, a lightweight random testing tool for Ruby similar to QuickCheck]
| |
| | | | |
| − | ==== Java ====
| + | For libraries divided into similar topics, see: |
| | | | |
| − | * [http://blogs.msdn.com/ralflammel/archive/2006/12/21/more-haskell-in-java-7-or-8.aspx More Haskell in Java 7 or 8?] | + | * [http://hackage.haskell.org/packages/archive/pkg-list.html the Hackage database] |
| − | * [http://syntaxfree.wordpress.com/2006/12/23/et-tu-brute/ Type classes in Java] | + | * [[Applications and libraries]] |
| − | * [http://www.javac.info/closures-v03.html Closures and bottom for Java]
| |
| − | * [http://jpmoresmau.blogspot.com/2006/12/in-haskell-you-can-define-infinite.html An infinite list in Java]
| |
| − | * [http://blog.tmorris.net/maybe-monad-in-java/ Maybe monad in Java]
| |
| | | | |
| − | ==== Eiffel ====
| + | For in-depth research into these topics: |
| − | | |
| − | * [http://teameiffel.blogspot.com/2006/11/type-system-of-ecma-eiffel.html The type system of ECMA Eiffel (modelled in Haskell)]
| |
| − | | |
| − | ==== Javascript ====
| |
| − | | |
| − | * [http://satta.org/2007/01/08/foldr-and-foldl-in-javascript/ foldr and foldl in JavaScript]
| |
| − | | |
| − | ==== C ====
| |
| − | | |
| − | * [http://jaortega.wordpress.com/2007/01/29/the-functional-c-programmer/ The functional C programmer]
| |
| − | | |
| − | ==== C# ====
| |
| − | | |
| − | * [http://www.developer.com/net/csharp/article.php/3598381 The New Lambda Expressions Feature in C# 3.0]
| |
| − | * [http://blogs.msdn.com/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx Immutability, Purity, and Referential Transparency in C#]
| |
| − | | |
| − | ==== Scala ====
| |
| − | | |
| − | * [http://blog.tmorris.net/ignorance-is-mostly-bliss-but-not-always/ Haskell, CAL and Scala]
| |
| − | | |
| − | ==== Python ====
| |
| − | | |
| − | * [http://wiki.python.org/moin/PythonVsHaskell Haskell versus Python]
| |
| − | * [http://www.kuarepoti-dju.net/index.php?p=86 Using Haskell in Python: haskellembed]
| |
| − | * [http://lukeplant.me.uk/blog.php?id=1107301643 Understanding Monads Via Python List Comprehensions]
| |
| − | | |
| − | ==== Scheme ====
| |
| − | | |
| − | * [http://programming.reddit.com/goto?id=nq1k Haskell versus Scheme]
| |
| − | | |
| − | ==== Factor ====
| |
| − | | |
| − | * [http://www.bluishcoder.co.nz/2006/10/factor-parser-combinator-example.html Haskell-style parser combinators in Factor: s-expression reader]
| |
| − | | |
| − | ==== Lisp ====
| |
| − | | |
| − | * [http://www.defmacro.org/ramblings/lisp-in-haskell.html Writing lisp in Haskell]
| |
| − | | |
| − | ==== Lua ====
| |
| − | | |
| − | * [http://salimma.livejournal.com/72850.html Lazy streams for Lua]
| |
| − | | |
| − | === Functional programming ===
| |
| − | | |
| − | * [http://www.yomi.at/archive/2007/02/115 A fold-like procedure in C]
| |
| − | * [http://notes-on-haskell.blogspot.com/2007/02/whats-wrong-with-for-loop.html What's wrong with for loops]
| |
| − | * [http://notes-on-haskell.blogspot.com/2007/02/whats-wrong-with-for-loop-revisited.html More on what's wrong with for loops]
| |
| − | * [http://blogs.nubgames.com/code/?p=4 Liberating Myself from the von Neumann Style]
| |
| − | * [http://josefsblog.blogspot.com/2007/01/programming-productivity-and.html Programming Productivity and Programming Languages]
| |
| − | * [http://channel9.msdn.com/ShowPost.aspx?PostID=261386#261386 Haskell - A valuable language]
| |
| − | * [http://www.pbell.com/index.cfm/2006/11/26/On-Functional-Programming On Functional Programming]
| |
| − | * [http://cogito.blogthing.com/2006/12/06/no-silver-bullet-and-functional-programming/ Functional programming is a silver bullet]
| |
| − | * [http://cogito.blogthing.com/2006/12/08/silverbulletsincoming/ Silver Bullets Incoming!]
| |
| − | * [http://dynamic.ropine.com/yesh/article/computers-were-invented-to-keep-track-of-boring-things Computers were invented to keep track of boring things]
| |
| − | * [http://www.defmacro.org/ramblings/fp.html Functional programming for the rest of us]
| |
| − | * [http://www.gaetanocaruana.com/2006/10/02/what-is-so-cool-about-functional-programming/ What is so cool about Functional Programming?]
| |
| − | | |
| − | === Programming exercises ===
| |
| − | | |
| − | * [http://mult.ifario.us/articles/2006/12/22/secret-santas-in-haskell-iii-collect-reap-repeat Secret Santas in Haskell III: Lather, Rinse, Repeat 1]
| |
| − | * [http://www.randomhacks.net/articles/2007/02/22/bayes-rule-and-drug-tests Using Bayesian filtering instead of 'if' in Haskell]
| |
| − | * [http://sigfpe.blogspot.com/2006/12/tying-knots-generically.html Tying Knots Generically]
| |
| − | * [http://vandreev.wordpress.com/2006/12/24/quick-and-dirty-theorem-prover/ A quick and dirty theorem prover in Haskell]
| |
| − | * [http://www.joachim-breitner.de/blog/archives/210-FourFours-in-Haskell.html FourFours in Haskell]
| |
| − | * [http://gimbo.org.uk/archives/2006/12/#001887 Fibonacci series one-liner in Haskell]
| |
| − | * [http://praisecurseandrecurse.blogspot.com/2006/12/dot-matrix-printhead-haskell-toy.html The Dot-Matrix Printhead: a Haskell Toy]
| |
| − | * [http://praisecurseandrecurse.blogspot.com/2006/12/revised-dot-matrix-printhead.html The Revised Dot-Matrix Printhead]
| |
| − | * [http://mult.ifario.us/articles/2006/12/18/secret-santas-in-haskell-i-preliminaries Secret Santas in Haskell I: Preliminaries]
| |
| − | * [http://mult.ifario.us/articles/2006/12/18/secret-santas-in-haskell-ii-orbits-and-lists Secret Santas in Haskell II: Orbits and Lists]
| |
| − | * [http://alangloria.blogspot.com/2006/11/okay.html Diff in Haskell]
| |
| − | * [http://kenta.blogspot.com/2006/11/eratosthenes-sieve.html Eratosthenes sieve]
| |
| − | * [http://sancho-ex.livejournal.com/7056.html Overlap function in Haskell for rectangles]
| |
| − | * [http://blog.moertel.com/articles/2006/10/31/introductory-haskell-solving-the-sorting-it-out-kata Introductory Haskell: Solving the Sorting-It-Out Kata]
| |
| − | * [http://www.xprogramming.com/xpmag/dbcHaskellBowling.htm Haskell Bowling]
| |
| − | * [http://jcreigh.blogspot.com/2006/11/simple-rpn-calculator-in-haskell.html A Simple RPN Calculator in Haskell]
| |
| − | * [http://jpmoresmau.blogspot.com/2006/11/my-first-haskell-adventure-game.html My first Haskell adventure game!]
| |
| − | * [http://mult.ifario.us/articles/2006/10/25/solitaire-cipher-in-haskell Software Cipher]
| |
| − | | |
| − | === Laziness ===
| |
| − | | |
| − | * [http://blog.interlinked.org/tutorials/haskell_laziness.html Haskell laziness]
| |
| − | * [http://mult.ifario.us/articles/2007/01/25/laziness-and-fizzbuzz-in-haskell Laziness and fizzbuzz in Haskell]
| |
| − | * [http://community.livejournal.com/evan_tech/206250.html Lazy lists as iterators]
| |
| − | | |
| − | === IO ===
| |
| − | | |
| − | * [http://blogs.nubgames.com/code/?p=22 Haskell I/O for imperative programmers]
| |
| − | * [http://programming.reddit.com/goto?id=jgbf Simple Unix Tools in Elegant Haskell]
| |
| − | * [http://blog.moertel.com/articles/2007/02/22/a-simple-directory-tree-printer-in-haskell A filesystem tree printer]
| |
| − | * [http://cod3po37ry.blogspot.com/2007/02/more-on-haskell-io-and-interact.html Introductory console IO in Haskell]
| |
| − | * [http://therning.org/magnus/archives/228 Listing files in Haskell]
| |
| − | * [http://journal.conal.net/#%5B%5Bseparating%20IO%20from%20logic%20--%20example%5D%5D separating IO from logic -- example]
| |
| − | * Programming Haskell
| |
| − | ** [http://cgi.cse.unsw.edu.au/~dons/blog/2006/12/16#programming-haskell-intro Programming Haskell: part 1]
| |
| − | ** [http://www.cse.unsw.edu.au/~dons/blog/2006/12/17#programming-haskell-part-2 Programming Haskell: part 2]
| |
| − | ** [http://cgi.cse.unsw.edu.au/~dons/blog/2006/12/18#ph-3 Programming Haskell: part 3]
| |
| − | * [http://blog.kfish.org/software/haskell/intro-haskell-unix.html Introductory Haskell Programming in the UNIX Environment]
| |
| − | | |
| − | === Network ===
| |
| − | | |
| − | * [http://blog.nurd.se/hype/?p=30 An IRC client/server in Haskell]
| |
| − | * [http://sequence.complete.org/node/258 Simple STM TCP server]
| |
| − | * [http://haskell.org/haskellwiki/Roll_your_own_IRC_bot Roll your own Haskell IRC bot]
| |
| − | | |
| − | === Concurrency ===
| |
| − | | |
| − | * [http://radar.oreilly.com/archives/2007/01/threads_conside.html Threads]
| |
| − | | |
| − | === Performance ===
| |
| − | | |
| − | * [http://www.randomhacks.net/articles/2007/01/22/high-performance-haskell High performance Haskell]
| |
| − | | |
| − | === Parsing ===
| |
| − | | |
| − | * [http://www.serpentine.com/blog/2007/01/31/parsing-a-simple-config-file-in-haskell/ Config file parsing]
| |
| − | * [http://www.serpentine.com/blog/2007/01/19/playing-fast-and-loose-with-parsec-for-parsing-in-haskell/ Playing fast and loose with Parsec for parsing in Haskell]
| |
| − | * [http://mikeburrell.wordpress.com/2007/02/25/combinator-parsing/ Combinator parsing]
| |
| − | * [http://www-etud.iro.umontreal.ca/~laurieti/parser.html Interesting parsers in Haskell]
| |
| − | * [http://sequence.complete.org/node/231 Parser with Writer monad]
| |
| − | * [http://a-preponderance-of-pondering.blogspot.com/2006/12/parser-combinators.html Parser combinators]
| |
| − | * [http://jpmoresmau.blogspot.com/2006/12/adventures-in-haskell-parsing-game.html Adventures in Haskell: parsing the game world]
| |
| − | * [http://jpmoresmau.blogspot.com/2006/12/adventures-in-haskell-parsec-magic.html Adventures in Haskell: the Parsec magic weapon]
| |
| − | * [http://www.knowing.net/PermaLink,guid,0cc63c2f-e167-406d-a00e-4f390e9494f6.aspx Explicit Typing, Trail Blazing, and Packrat Parsing]
| |
| − | | |
| − | === Monads ===
| |
| − | | |
| − | * [http://www.serpentine.com/blog/2007/01/09/haskell-bootstrapping-into-a-clue-about-monads/ Haskell: bootstrapping into a clue about monads]
| |
| − | * [http://sigfpe.blogspot.com/2007/02/monads-for-vector-spaces-probability.html Monads for vector spaces, probability and quantum mechanics pt. I]
| |
| − | * [http://www.sdowney.org/2007/01/monads-rest-and-c-template.html Monads work because they have a tight interface]
| |
| − | * [http://scienceblogs.com/goodmath/2007/01/the_theory_of_monads_and_the_m_1.php The theory of monads]
| |
| − | * [http://sigfpe.blogspot.com/2007/01/monads-hidden-behind-every-zipper.html The monad behind every zipper]
| |
| − | * [http://neilbartlett.name/blog/?p=13 More on Haskell, Side Effects and Code Reuse]
| |
| − | * [http://hierodule.livejournal.com/69052.html Monads]
| |
| − | * [http://scienceblogs.com/goodmath/2007/01/haskell_a_first_step_into_mona_1.php A First Step Into Monads]
| |
| − | * [http://scienceblogs.com/goodmath/2007/01/more_monads_stateful_programmi_1.php More Monads: Stateful Programming]
| |
| − | * [http://www.alpheccar.org/en/posts/show/61 A newbie in Haskell land : The (->) monad]
| |
| − | * [http://cgi.cse.unsw.edu.au/~dons/blog/2006/12/11#interpreters-with-reader-monads Quick interpreters with the Reader monad]
| |
| − | * [http://cale.yi.org/index.php/The_Monad_Laws The monad laws]
| |
| − | * [http://sigfpe.blogspot.com/2006/11/variable-substitution-gives.html Variable substitution gives a ... monad]
| |
| − | * [http://sigfpe.blogspot.com/2006/10/monads-field-guide.html Monads: a field guide]
| |
| − | | |
| − | ==== Monad transformers ====
| |
| − | | |
| − | * [http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Monad_transformers.html A twisted history of monad transformers]
| |
| − | * [http://cale.yi.org/index.php/How_To_Use_Monad_Transformers How To Use Monad Transformers]
| |
| − | * [http://sigfpe.blogspot.com/2006/09/local-and-global-side-effects-with.html Local and global side effects with monad transformers]
| |
| − | | |
| − | ==== Arrows ====
| |
| − | | |
| − | * [http://kpreid.livejournal.com/7351.html Concatenative programming in Haskell's Arrows]
| |
| − | | |
| − | ==== Comonads ====
| |
| − | | |
| − | * [http://sigfpe.blogspot.com/2007/02/comonads-and-reading-from-future.html Comonads and reading from the future]
| |
| − | * [http://sigfpe.blogspot.com/2006/12/evaluating-cellular-automata-is.html Evaluating cellular automata is co-monadic]
| |
| − | | |
| − | === Error handling and exceptions ===
| |
| − | | |
| − | * [http://edwinb.wordpress.com/2007/01/15/error-handling-in-haskell/ Error handling in Haskell]
| |
| − | * [http://praisecurseandrecurse.blogspot.com/2006/11/some-very-basic-haskell-and-thoughts-on.html Some Very Basic Haskell and Thoughts on Error Diagnosis]
| |
| − | | |
| − | === Types ===
| |
| − | | |
| − | * [http://blog.moertel.com/articles/2006/10/18/a-type-based-solution-to-the-strings-problem A type-based solution to the 'strings problem']
| |
| − | * [http://www.cs.nott.ac.uk/~pni/Papers/Notes/GADTs.html Generalised Algebraic Data Types, Phantom Types, and Dependent Types]
| |
| − | * [http://scienceblogs.com/goodmath/2006/12/functions_types_function_types_1.php Functions, Types, Function Types, and Type Inference]
| |
| − | * [http://scienceblogs.com/goodmath/2006/12/building_datatypes_in_haskell_1.php Building Datatypes in Haskell (part 1)]
| |
| − | * [http://cucumariid.livejournal.com/36757.html Rank-2 polymorphism is a strange thing]
| |
| − | | |
| − | ==== Type classes ====
| |
| − | | |
| − | * [http://www.cs.nott.ac.uk/~pni/Papers/Notes/typeClassOvld.html Type Classes: Not Quite Overloading"]
| |
| − | * [http://scienceblogs.com/goodmath/2007/01/haskell_the_basics_of_type_cla_1.php Haskell: the Basics of Type Classes]
| |
| − | | |
| − | === Data structures ===
| |
| − | | |
| − | * [http://www.randomhacks.net/articles/2007/02/08/haskell-queues-without-pointers Queues without pointers]
| |
| − | * [http://scienceblogs.com/goodmath/2006/12/a_tree_grows_up_in_haskell_bui_1.php A Tree Grows Up in Haskell: Building a Dictionary Type]
| |
| − | * [http://progexpr.blogspot.com/2006/11/haskell-stacks-two-different-ways.html Haskell Stacks : Two Different Ways]
| |
| − | | |
| − | === Combinators ===
| |
| − | | |
| − | * [http://www.acooke.org/andrew/writing/folds.html Second order folds]
| |
| − | * [http://mikeburrell.wordpress.com/2007/02/01/functional-idempotence-optimization/ Folds and functional programming]
| |
| − | * [http://cale.yi.org/index.php/Fold_Diagrams Fold diagrams]
| |
| − | * [http://monad.carnalreason.org/wordpress/?p=19 foldr, foldl]
| |
| − | | |
| − | === GUIs ===
| |
| − | | |
| − | * [http://j-van-thiel.speedlinq.nl/EddyAhmed/GladeGtk2Hs.html Developing Gnome Apps with Glade]
| |
| − | | |
| − | === Web and XML ===
| |
| − | | |
| − | * [http://cale.yi.org/index.php/HRSS A simple RSS aggregator in 50 lines of Haskell using HXT]
| |
| − | * [http://programming.reddit.com/goto?id=139vk Haskell and Web Applications]
| |
| − | * [http://programming.reddit.com/goto?id=12a6a Ruby and Haskell: write your Rails backend code in Haskell instead of C]
| |
| − | * Writing a Simple Search Engine in Haskell
| |
| − | ** [http://blogs.nubgames.com/code/?p=18 Part 0 Introduction]
| |
| − | ** [http://blogs.nubgames.com/code/?p=19 Part 1 Maybe and List]
| |
| − | * [http://haskell-web.blogspot.com/2006/12/some-ideas-in-progress_13.html Haskell and the web: some ideas in progress]
| |
| − | * [http://haskell-web.blogspot.com/2006/11/search-engine-written-in-haskell.html A search engine (core) written in Haskell]
| |
| − | * [http://haskell-web.blogspot.com/2006/11/transactional-cache-for-haskell.html Haskell Transactional Cache]
| |
| − | | |
| − | === Maths ===
| |
| − | | |
| − | ==== Haskell for Mathematics ====
| |
| − | * [http://sigfpe.blogspot.com/2006/09/learn-maths-with-haskell.html Learn Maths with Haskell]
| |
| − | * [http://sigfpe.blogspot.com/2006/09/practical-synthetic-differential.html Practical Synthetic Differential Geometry]
| |
| − | * [http://sigfpe.blogspot.com/2006/09/more-low-cost-geometric-algebra.html More Low Cost Geometric Algebra]
| |
| − | * [http://sigfpe.blogspot.com/2006/08/algebraic-topology-in-haskell.html Algebraic Topology in Haskell]
| |
| − | * [http://sigfpe.blogspot.com/2006/09/infinitesimal-types.html Infinitesimal Types]
| |
| − | * [http://sigfpe.blogspot.com/2006/08/geometric-algebra-for-free_30.html Geometric Algebra for Free!]
| |
| − | * [http://sigfpe.blogspot.com/2006/01/eleven-reasons-to-use-haskell-as.html Eleven Reasons to use Haskell as a Mathematician]
| |
| − | * [http://sigfpe.blogspot.com/2006/06/laws-of-form-opinion.html Laws of Form: An Opinion]
| |
| − | * [http://blog.mikael.johanssons.org/archive/2006/11/a-algebras-and-group-cohomology/ A-algebras and group cohomology]
| |
| − | * [http://blog.mikael.johanssons.org/archive/2006/10/prototyping-thought/ Prototyping thought]
| |
| − | * [http://blog.mikael.johanssons.org/archive/2006/10/computational-group-theory-in-haskell-1-in-a-series/ Computational Group Theory in Haskell]
| |
| − | * [http://blog.mikael.johanssons.org/archive/2006/07/carry-bits-and-group-cohomology/ Carry bits and group cohomology]
| |
| − | * [http://www.quetzal.com/sambangu/2006/12/polynomials-as-numbers Polynomials as numbers]
| |
| − | * [http://vandreev.wordpress.com/2006/12/04/non-standard-analysis-and-automatic-differentiation/ Non-standard analysis, automatic differentiation, Haskell]
| |
| − | * [http://www.polyomino.f2s.com/ Haskell for Maths]: commutative algebra, combinatorics, number theory, and group theory
| |
| − | * [http://www.serpentine.com/blog/2007/01/11/two-dimensional-spatial-hashing-with-space-filling-curves/ Two-dimensional spatial hashing with space-filling curves]
| |
| − | * [http://vandreev.wordpress.com/2007/01/07/arithmetic-coding/ Arithmetic coding in Haskell]
| |
| − | * [http://japple.blogspot.com/2007/02/countable-ordinals-in-haskell.html Countable Ordinals in Haskell]
| |
| − | * [http://www.quetzal.com/sambangu/2006/12/polynomials-as-numbers Polynomials as numbers]
| |
| − | * The Division Bell
| |
| − | ** [http://praisecurseandrecurse.blogspot.com/2006/12/division-bell-tolls-for-me.html Part One]
| |
| − | ** [http://praisecurseandrecurse.blogspot.com/2006/12/division-bell-tolls-for-me-part-two.html Part Two]
| |
| − | ** [http://praisecurseandrecurse.blogspot.com/2006/12/division-bell-tolls-for-me-part-three.html Part Three]
| |
| − | ** [http://praisecurseandrecurse.blogspot.com/2006/12/division-bell-tolls-for-me-part-four.html Part Four (Conclusion)]
| |
| − | ** [http://praisecurseandrecurse.blogspot.com/2006/12/divisive-aftermath.html The Divisive Aftermath]
| |
| − | * [http://www.alpheccar.org/en/posts/show/57 Haskell, PDF and penrose tilings]
| |
| − | | |
| − | ==== Mathematics of Haskell ====
| |
| − | * [http://sigfpe.blogspot.com/2006/11/why-isnt-listt-monad.html Why isn't ListT list a monad?]
| |
| − | * [http://sigfpe.blogspot.com/2006/11/yoneda-lemma.html Reverse Engineering Machines with the Yoneda Lemma]
| |
| − | * [http://sigfpe.blogspot.com/2006/11/variable-substitution-gives.html Variable substitution gives a...]
| |
| − | * [http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.html From Lb's Theorem to Spreadsheet Evaluation]
| |
| − | * [http://sigfpe.blogspot.com/2006/10/games-strategies-and-self-composition.html Games, Strategies and the Self-Composition of the List Monad.]
| |
| − | * [http://scienceblogs.com/goodmath/2006/09/programs_are_proofs_models_and_1.php Programs are Proofs: Models and Types in Lambda Calculus]
| |
| − | * [http://scienceblogs.com/goodmath/2006/11/why_haskell.php Why Haskell?]
| |
| − | | |
| − | === Testing ===
| |
| − | | |
| − | * [http://blogs.teamb.com/craigstuntz/archive/2006/12/08/UnitTestingAndTypeSafety.aspx On Unit Testing and Type Safety]
| |
| − | * [http://chiralos.blogspot.com/2006/11/testing-testing.html Testing ... testing]
| |
| − | | |
| − | === Regular expressions ===
| |
| − | | |
| − | * [http://www.serpentine.com/blog/2007/02/27/a-haskell-regular-expression-tutorial/ A regular expression tutorial]
| |
| − | | |
| − | === The foreign function interface ===
| |
| − | | |
| − | * [http://blog.acolyte.co.za/articles/2007/01/01/simple-demonstration-of-haskell-ffi Simple demonstration of Haskell FFI]
| |
| − | | |
| − | === Cabal and libraries ===
| |
| − | | |
| − | * [http://www.serpentine.com/blog/2007/02/20/haskell-cabal-now-with-extra-crunchy-rpm-goodness/ Cabal and rpms]
| |
| − | * [http://www.serpentine.com/blog/2007/01/05/getting-started-with-installing-third-party-haskell-packages/ Getting started with installing third-party Haskell packages]
| |
| − | * [http://www.cse.unsw.edu.au/~dons/blog/2006/12/11#release-a-library-today The lambda revolution: how you can help]
| |
| − | * [http://pupeno.com/blog/the-lambda-revolution-episode-v-the-deb-strikes-back The lambda revolution, Episode V, the deb strikes back]
| |
| − | * [http://sambangu.blogspot.com/2006/12/questions-on-haskell-style-and Questions on Haskell Style (and Polynomials redux)]
| |
| − | | |
| − | === Hardware description languages ===
| |
| − | | |
| − | * [http://iguanarama.com/blog/?p=8 Haskell and HDL's]
| |
| − | | |
| − | === Theory ===
| |
| − | | |
| − | ==== Lambda calculus ====
| |
| − | | |
| − | * [http://www.onebadseed.com/blog/?p=51 Don't need the Y combinator]
| |
| | | | |
| | + | * [[Research papers]] |
| | + | |
| | [[Category:Tutorials]] | | [[Category:Tutorials]] |