Difference between revisions of "Blog articles"
Jump to navigation
Jump to search
RossPaterson (talk | contribs) (move to maths of Haskell) |
(use internal links instead of external links) |
||
| (150 intermediate revisions by 10 users not shown) | |||
| Line 1: | Line 1: | ||
| − | Many areas of Haskell have been explored in the form of blog posts. This |
+ | 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: |
||
| + | New material is posted to the [http://www.reddit.com/r/haskell/ Haskell Reddit] and [http://www.dohaskell.com/ dohaskell] |
||
| − | === Introductions to Haskell === |
||
| + | == Introductory material == |
||
| − | * [http://www.alpheccar.org/en/posts/show/67 Haskell Study Plan] |
||
| − | * [http://programming.reddit.com/goto?id=uzuc On Haskell, Intuition And Expressive Power] |
||
| − | * [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] |
||
| + | * [[/Introductions|Introductions to Haskell]] |
||
| − | ==== First impressions ==== |
||
| + | * [[/Comparisons|Comparing Haskell to other languages]] |
||
| + | * [[/Functional_programming|Functional programming in general]] |
||
| + | * [[/Exercises|Small programming exercises]] |
||
| + | == Specific topics == |
||
| − | * [http://blogs.nubgames.com/code/?p=15 Haskell First Impressions] |
||
| − | * [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] |
||
| + | * [[/Algorithms|Algorithms and techniques]] |
||
| − | === Comparisons to other languages === |
||
| + | * [[/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]] |
||
| − | + | == Further reading == |
|
| + | 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/ruby-vs-haskell-choose-what-works.html Ruby vs Haskell: choose what works] |
||
| − | * [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] |
||
| − | * [http://praisecurseandrecurse.blogspot.com/2007/03/haskell-for-short-attention-span-run.html Run length encoding in Haskell and Ruby] |
||
| + | For libraries divided into similar topics, see: |
||
| − | ==== Java ==== |
||
| − | * [http:// |
+ | * [http://hackage.haskell.org/packages/archive/pkg-list.html the Hackage database] |
| + | * [[Applications and libraries]] |
||
| − | * [http://syntaxfree.wordpress.com/2006/12/23/et-tu-brute/ Type classes in Java] |
||
| − | * [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 ==== |
||
| − | |||
| − | * [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://alangloria.blogspot.com/2006/11/okay.html Diff in Haskell] |
||
| − | * [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://gimbo.org.uk/archives/2006/12/#001887 Fibonacci series one-liner in Haskell] |
||
| − | * [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://kenta.blogspot.com/2006/11/eratosthenes-sieve.html Eratosthenes sieve] |
||
| − | * [http://mult.ifario.us/articles/2006/10/25/solitaire-cipher-in-haskell Software Cipher] |
||
| − | * [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://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://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://praisecurseandrecurse.blogspot.com/2007/03/haskell-for-short-attention-span-run.html Run Length Encoding] |
||
| − | * [http://sancho-ex.livejournal.com/7056.html Overlap function in Haskell for rectangles] |
||
| − | * [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/139-Haskell-as-a-puzzle-Solver.html Haskell as a puzzle solver] |
||
| − | * [http://www.joachim-breitner.de/blog/archives/152-Hangman-AI-in-haskell.html Hangman AI in Haskell] |
||
| − | * [http://www.joachim-breitner.de/blog/archives/161-Brainfuck-interpreter-in-Haskell.html Brainf*k interpreter in Haskell] |
||
| − | * [http://www.joachim-breitner.de/blog/archives/210-FourFours-in-Haskell.html FourFours in Haskell] |
||
| − | * [http://www.randomhacks.net/articles/2007/02/22/bayes-rule-and-drug-tests Using Bayesian filtering instead of 'if' in Haskell] |
||
| − | * [http://www.xprogramming.com/xpmag/dbcHaskellBowling.htm Haskell Bowling] |
||
| − | |||
| − | === 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] |
||
| − | * [http://www.haskell.org/pipermail/haskell-cafe/2007-February/022315.html Reading GHC Core and tuning assembly output] |
||
| − | |||
| − | === 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] |
||
| − | * [http://gbacon.blogspot.com/2007/02/my-first-monadic-program.html Monadic parsing] |
||
| − | |||
| − | === Monads === |
||
| − | * [http://www.alpheccar.org/en/posts/show/60 A newbie in Haskell land or another monad tutorial] |
||
| − | * [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] |
||
| − | * [http://syntaxfree.wordpress.com/2007/02/11/finally-some-hacking-of-my-own-a-counter-datatype/ A counter datatype with constant-time update] |
||
| − | === 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://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] |
||
| − | |||
| − | ==== XML, Atom, RSS ==== |
||
| − | |||
| − | * [http://mult.ifario.us/articles/2007/02/27/really-simple-atom-syndication Really simple Atom syndication] |
||
| − | * [http://cale.yi.org/index.php/HRSS A simple RSS aggregator in 50 lines of Haskell using HXT] |
||
| − | |||
| − | === 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?] |
||
| − | * [http://www.onebadseed.com/blog/?p=51 Don't need the Y combinator] |
||
| − | |||
| − | === Testing === |
||
| − | |||
| − | * [http://haskell.org/haskellwiki/Introduction_to_QuickCheck Introduction to QuickCheck] |
||
| − | * [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] |
||
| − | |||
| − | === Tips and tricks === |
||
| − | |||
| − | * [http://www.joachim-breitner.de/blog/archives/156-Haskell-on-the-Command-Line.html Using Haskell from the command line] |
||
| − | |||
| − | === 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] |
||
| + | For in-depth research into these topics: |
||
| + | * [[Research papers]] |
||
| + | |||
[[Category:Tutorials]] |
[[Category:Tutorials]] |
||
Latest revision as of 11:34, 27 February 2019
Many areas of Haskell have been explored in the form of blog posts. This 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:
New material is posted to the Haskell Reddit and dohaskell
Introductory material
- Introductions to Haskell
- Comparing Haskell to other languages
- Functional programming in general
- Small programming exercises
Specific topics
- Algorithms and techniques
- Data and control structures
- Databases in Haskell
- Error handling and exceptions
- GUIs in Haskell
- Graphics
- HTML and XML and the Web
- Hardware and robots
- Haskell language features
- High performance Haskell
- IO in Haskell
- The FFI: interfaces to other languages
- Libraries and packages
- Mathematics and Haskell
- Monads, Comonads, Arrows
- Networking
- Parallel and concurrent programming
- Parsing, regular expressions
- Domain specific languages and code generation
- Programming with types
- Testing, correctness and proofs
Further reading
Further material on these topics is available in The Haskell Wikibook
For libraries divided into similar topics, see:
For in-depth research into these topics: