Beautiful differentiation
March 2009 Appeared in ICFP 2009 Abstract Automatic differentiation (AD) is a precise, efficient, and convenient method for computing derivatives of functions. Its forward-mode implementation can be quite simple even when extended to compute all of the higher-order derivatives as well. The higher-dimensional case has also been tackled, though with extra complexity. This paper develops an implement
All About Monads
All About Monads A comprehensive guide to the theory and practice of monadic programming in Haskell Version 1.1.0 This tutorial aims to explain the concept of a monad and its application to functional programming in a way that is easy to understand and useful to beginning and intermediate Haskell programmers. Familiarity with the Haskell language is assumed, but no prior experience with monads i
Closure to Home: Hugs for the Nintendo DS
Sunday, December 9, 2007 Hugs for the Nintendo DS I've been thinking for a long time of the best way of getting Haskell onto the DS. Initially I wanted to get YHC up and running, but for a completely arbitrary reason I chose to try my luck with Hugs. Hugs is a Haskell interpreter/system based on Haskell 98, but with a lot of goodies on the side, including MPTC and rank-2 polymorphism. The far best
A Neighborhood of Infinity: Beyond Regular Expressions: More Incremental String Matching
In my last post I showed how to incrementally match long strings against regular expressions. I now want to apply similar methods to matching languages that can't be described by regular expressions. (Note that 'language' is just jargon for a set of strings that meet some criterion.) In particular, regular expressions can't be used to test a string for balanced parentheses. This is because we need
Leksah - Haskell IDE in Haskell
Leksah is the Haskell IDE of choice. It is written in Haskell, uses Gtk, and runs on Linux, Windows and Mac OS X. Leksah is a practical tool to support the Haskell development process. It requires the Glasgow Haskell Compiler (GHC). Leksah is completely free and distributed under the Gnu General Public License 2.0 Leksah may be worth trying because: It uses the cabal package format and incorporate
Rolling with Ruby on Rails
Now, next, and beyond: Tracking need-to-know trends at the intersection of business and technology AI/ML Few technologies have the potential to change the nature of work and how we live as artificial intelligence (AI) and machine learning (ML). Future of the Firm Everything from new organizational structures and payment schemes to new expectations, skills, and tools will shape the future of the fi
Inemuri nezumi diary(2009-01-19)
_ 論文ファイブが書けない言い訳(skipはご自由に) 職場でも居室でも論文は読むのだが、分量が違いすぎる。職場で読むほうが圧倒的に多いのである。一日あたりをいうと、少ないときは０本（ここは笑う場面です）、多いときはこれは例外的でちょうど７０本読んだ。 ７０ってのはおかしすぎで、実際読んだだけで一日を終えた。これは、詳しくはいえないが、「対象についていけがみがよくわかっていない論文」の査読を依頼されたときである。しかし、著者の主張の解決策は理解できたし、私が詳細に確かめるのも悪くはないかと感じたのだった。そこで、編集者に「私、その対象については、門外漢ですが、査読にあたって最大の努力はしますよ、それで不都合があれば査読者を下ろしてください」というようなやりとりがなされたあとで、査読した（実際、差読者は複数いて、対象の専門の方も査読をなさるということだった）。 で、査読論文の1次参考文献、2
Learning Haskell through Category Theory, and Adventuring in Category Land: Like Flatterland, Only About Categories | Monadically Speaking: Adventures in Programming Language Theory
Learning Haskell through Category Theory, and Adventuring in Category Land: Like Flatterland, Only About Categories Two days ago, there was an interesting post by Andrzej Jaworski, entitled “[Haskell] Teach theory then Haskell as example,” dated “Wed, 14 Jan 2009 04:37:33 +0100,” on the Haskell mailing list on the Haskell programming language, recommending that Haskell be taught “on most abstract
jQuery is a Monad
It’s said that every Haskell programmer writes their own monad tutorial, and with good reason: once you finally understand the definition and capabilities of a monad, you’ll be eager to try and break the mystique surrounding the concept of monads as a whole. To the outsider, monads are an impenetrable barrier to truly understanding Haskell; they’re cursed with a very unfortunate name, have bizarre
A Neighborhood of Infinity: Haskell Monoids and their Uses
Haskell is a great language for constructing code modularly from small but orthogonal building blocks. One of these small blocks is the monoid. Although monoids come from mathematics (algebra in particular) they are found everywhere in computing. You probably use one or two monoids implicitly with every line of code you write, whatever the language, but you might not know it yet. By making them ex
Rolling with Ruby on Rails
Now, next, and beyond: Tracking need-to-know trends at the intersection of business and technology AI/ML Few technologies have the potential to change the nature of work and how we live as artificial intelligence (AI) and machine learning (ML). Future of the Firm Everything from new organizational structures and payment schemes to new expectations, skills, and tools will shape the future of the fi
Why Haskell is beyond ready for Prime Time
I’ve read a few comments about why Haskell is awesome. I even wrote an ironic blog post about it. Today I’m going to explain why I use Haskell for doing real work, entirely in terms of the tools Haskell developers use. Edit: Immediately after posting, I found this article on Sententia cdsmith about reasons why Haskell is a good language. So between this post on tools and his post on the language,
37 Reasons to Love Haskell (playing off the Ruby article)
Here’s an article on reasons to like Ruby. It’s actually very well written and persuasive. So I took it as a challenge. How well would Haskell fare when compared against this specific set of criteria, changing the points as little as possible? The meanings will inevitably shift a bit, and readers will know that Haskell has its own set of advantages, of course. The point of this exercise, thoug
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Diagrams 0.2 release
InfoQ: 現実世界のアプリケーションでHaskellを学習価値があるようにさせるもの
http://mbishop.esoteriq.org/hellosize.html
GitHub - jgm/gitit: A wiki using HAppS, pandoc, and git
INTEL コード & ダウンロード
http://caml.inria.fr/cgi-bin/hump.cgi?contrib=684
A Monad Tutorial for Ocaml | Enfranchised Mind