Playing with monad transformers
Yesterday someone posted a link to a great monad transformers tutorial. It's incredible. I think I finally start to understand (or at least being able to use) it. As part of testing my fresh knowledge I've written a simple virtual machine for a Forth-like language. Code (as usual - Literate Haskell, so you can just put it into .lhs file and run it) below. Enjoy! > module Main where > > import Cont
A Neighborhood of Infinity: Evaluating cellular automata is comonadic
Paul Potts's post inspired me to say something about cellular automata too. So here's the deal: whenever you see large datastructures pieced together from lots of small but similar computations there's a good chance that we're dealing with a comonad. In cellular automata we compute the value of each cell in the next generation by performing a local computation based on the neighbourhood of that ce
2007-09-18
x86のオペコード体系がだんだん綺麗に見えてきた。 前回の内容を踏まえて、今回は、Haskellで記述されたアセンブリプログラムをアセンブルして、それを前回述べた方法を用いて実行することを目標とする。 本項ではHaskell上でアセンブリプログラムを記述するための言語を構築し、それに対するアセンブラを作成する。 記述の利便性のため、Haskell上で構築する言語はモナドで構成する。普通のアセンブラで扱えるような形で記述できればうれしい。 foo :: CodeBlock (IO Int) foo = assemble $ do movl eax 777 movl eax ecx movl eax (mem(eax)) movl eax (mem(eax,ebx)) movl eax (mem(eax,(ebx,4))) movl eax (mem(eax,4)) movl eax (mem
2007-02-04
前回のエントリーで Haskellで実際にモナド書きかけたけれど、仕事ほっぽり出して遊んでしまいそうだったので、自重。 こんな事を言ってましたが、週末でちょっと手が空いたのでやってみました。元ネタはココとかココとか。 「Haskellの」モナド機構を使わないバージョン（←紛らわしい…） いきなりHaskellのモナドに翻訳しようとすると手こずったので、まずはm-hiyamaさんとこの書き方に割と忠実に、モナド機構を利用しないで書いてみました。 {- 型の定義 -} type Text = String data Template a = Templ { runTemplate :: a } {- テンプレート展開処理 -} processTemplate :: Template Text -> (Text -> Template Text) -> Template Text process
A Note on Declarative Programming Paradigms and the Future of Definitional Programming
UtbildningForskningSamarbeta med ossOm ChalmersAktuelltInstitutioner InstitutionenData- och informationsteknikVi bedriver forskning och utbildning inom AI, cybersäkerhet, interaktionsdesign, software engineering, computing science och datateknik - från grundforskning till direkta tillämpningar. Vi utbildar för framtiden och bedriver forskning nära näringslivet, organisationer och akademin för att
Harpy - Runtime code generation for x86 machine code
Description Harpy is a library for run-time code generation in Haskell programs. If you want to have a quick impression of Harpy's "look and feel", you may want to take a look at our short tutorial. We even have a slightly larger tutorial, for those who are even more curious. Harpy requires several Haskell extensions and GHC-specific features (the Haskell FFI, Template Haskell, multi-parameter typ
Refactoring Functional Programs
Refactoring is about `improving the design of existing code' and as such, it has been practised as long as programs have been written. The term refactoring specifically refers to a common activity in programming and software maintenance: changing the structure of a program without changing its semantics. Often, refactoring precedes a program modification or extension, bringing the program into a f
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
University of York
uonoue/HaskellExcel - PukiWiki
Ordinals, part 2
Things that amuse me
AutoForms
http://www.jmuk.org/diary/index.php/2007/05/26/0/
IOSpec
Factor and Haskell comparison | The Haskell Sequence
[Haskell] Polymorphic variants (extensible, recursive sums) with HList
DrHylo - Personal/Alcino - TWiki
Termination Competition'2007
Liens et articles sur les langages
Things that amuse me