Difference between revisions of "Blog articles"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (→Maths) |
DonStewart (talk | contribs) (lots of maths articles) |
||
Line 15: | Line 15: | ||
* [http://blogs.nubgames.com/code/?p=22 Haskell I/O for imperative programmers] |
* [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://programming.reddit.com/goto?id=jgbf Simple Unix Tools in Elegant 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] |
||
=== Web === |
=== Web === |
||
Line 26: | Line 31: | ||
=== Maths === |
=== Maths === |
||
− | * [http:// |
+ | * [http://sigfpe.blogspot.com/2006/09/learn-maths-with-haskell.html Learn Maths with 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 L�b'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://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://scienceblogs.com/goodmath/2006/11/why_haskell.php Why Haskell?] |
||
+ | * [http://scienceblogs.com/goodmath/2006/09/programs_are_proofs_models_and_1.php Programs are Proofs: Models and Types in Lambda Calculus] |
||
+ | * [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] |
||
+ | |||
+ | |||
=== Regular expressions === |
=== Regular expressions === |
||
* [http://www.serpentine.com/blog/2007/02/27/a-haskell-regular-expression-tutorial/ A regular expression tutorial] |
* [http://www.serpentine.com/blog/2007/02/27/a-haskell-regular-expression-tutorial/ A regular expression tutorial] |
||
+ | |||
+ | === Cabal and libraries === |
||
+ | |||
+ | * [http://www.serpentine.com/blog/2007/02/20/haskell-cabal-now-with-extra-crunchy-rpm-goodness/ Cabal and rpms] |
||
Todo: sort by category. Add more links. |
Todo: sort by category. Add more links. |
Revision as of 01:19, 1 March 2007
Popular Haskell articles from across the web
General
First impressions
IO
Parsing
Web
- Haskell and Web Applications
- Ruby and Haskell: write your Rails backend code in Haskell instead of C
- Writing a Simple Search Engine in Haskell
Maths
- Learn Maths with Haskell
- Why isn't ListT list a monad?
- Reverse Engineering Machines with the Yoneda Lemma
- Variable substitution gives a...
- [http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.html From L�b's Theorem to Spreadsheet Evaluation]
- Games, Strategies and the Self-Composition of the List Monad.
- Practical Synthetic Differential Geometry
- More Low Cost Geometric Algebra
- Algebraic Topology in Haskell
- Infinitesimal Types
- Geometric Algebra for Free!
- Eleven Reasons to use Haskell as a Mathematician
- Laws of Form: An Opinion
- A-algebras and group cohomology
- Prototyping thought
- Computational Group Theory in Haskell
- Carry bits and group cohomology
- Why Haskell?
- Programs are Proofs: Models and Types in Lambda Calculus
- Polynomials as numbers
- Non-standard analysis, automatic differentiation, Haskell
- Haskell for Maths: commutative algebra, combinatorics, number theory, and group theory
- Two-dimensional spatial hashing with space-filling curves
Regular expressions
Cabal and libraries
Todo: sort by category. Add more links.