Personal tools

Blog articles

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Comparisons to other languages)
(Maths)
Line 343: Line 343:
 
=== Maths ===
 
=== Maths ===
   
==== Haskell for mathematics ====
+
* [[/Mathematics|Articles on mathematics and Haskell]
 
* [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://vandreev.wordpress.com/2007/06/18/feistel-ciphers-and-des-in-haskell/ Feistel Ciphers and DES in Haskell]
 
* [http://vandreev.wordpress.com/2007/01/07/arithmetic-coding/ Arithmetic coding in 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://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]
 
* Overloading Haskell numbers
 
** [http://augustss.blogspot.com/2007/04/overloading-haskell-numbers-part-1.html Part 1: symbolic expressions]
 
** [http://augustss.blogspot.com/2007/04/overloading-haskell-numbers-part-2.html Part 2: Forward Automatic Differentiation]
 
** [http://augustss.blogspot.com/2007/04/overloading-haskell-numbers-part-3.html Part 3: Fixed Precision]
 
** [http://augustss.blogspot.com/2007/05/i-was-asked-if-my-fixed-number-module.html Dynamic epsilons in Haskell with a bit of type hackery]
 
* Number theory
 
** [http://cdsmith.wordpress.com/2007/06/24/learning-haskell-and-number-theory-gcd-and-higher-order-functions/ GCD and Higher Order Functions]
 
* [http://www.alpheccar.org/en/posts/show/74 Category theory 1]
 
* [http://www.alpheccar.org/en/posts/show/76 Category theory 2]
 
 
==== Theorem proving ====
 
 
* [http://vandreev.wordpress.com/2006/12/24/quick-and-dirty-theorem-prover/ Quick and Dirty Theorem Prover]
 
 
==== Quantum computing ====
 
 
* [http://sigfpe.blogspot.com/2007/02/essence-of-quantum-computing.html The Essence of Quantum Computing]
 
* [http://sigfpe.blogspot.com/2007/02/monads-for-vector-spaces-probability.html Monads for vector spaces, probability and quantum mechanics pt. I]
 
* [http://sigfpe.blogspot.com/2007/03/monads-vector-spaces-and-quantum.html Monads, Vector Spaces and Quantum Mechanics pt. II]
 
* [http://sigfpe.blogspot.com/2007/03/independence-entanglement-and.html Independence, entanglement and decoherence with the quantum monad]
 
* [http://sigfpe.blogspot.com/2007/03/shor-quantum-error-correcting-code-and.html The Shor Quantum Error Correcting Code (and a Monad for Heat)]
 
* [http://www.alpheccar.org/en/posts/show/68 The Frame Of Reference Monad]
 
 
==== 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]
 
* [http://www.rubrication.net/2007/04/21/how-a-real-module-system-should-work/ ML, Haskell and Coq]
 
* [http://www.alpheccar.org/en/posts/show/70 Djinn, Coq, Monad and a bit of Haskell]
 
* [http://www.alpheccar.org/en/posts/show/74 Category Theory and the category of Haskell programs]
 
   
 
=== Testing, correctness and proofs ===
 
=== Testing, correctness and proofs ===

Revision as of 04:34, 28 June 2007

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.

Contents

1 Introductions to Haskell

1.1 First impressions

2 Comparisons to other languages

3 Functional programming

4 Programming exercises

4.1 Games

5 Laziness

6 Records

7 IO

7.1 Command line arguments

7.2 Unix

8 Network

8.1 HTTP

8.2 TCP

8.3 IRC

9 Parallelism and Concurrency

10 Performance

11 Parsing

12 Code generation

13 Monads

13.1 Monad transformers

13.2 Arrows

13.3 Comonads

14 Error handling and exceptions

15 Types

15.1 Type classes

16 Data structures

16.1 Strings

17 Algorithms and techniques

17.1 Folds

17.2 Dynamic programming

17.3 Mutable data

17.4 Sections and Currying

18 GUIs

19 Databases

20 Graphics

21 Web and XML

21.1 HTML

21.2 XML, Atom, RSS

22 Maths

  • [[Blog articles/Mathematics|Articles on mathematics and Haskell]

23 Testing, correctness and proofs

24 Regular expressions

25 The foreign function interface

26 Tips and tricks

27 Cabal and libraries

28 Robots and Hardware

29 Neural networks