[B! arrow] motemenのブックマーク

motemen id:motemen

arrowに関するmotemenのブックマーク (4)

Arrows and Computation
Ross Paterson. The Fun of Programming, edited by Jeremy Gibbons and Oege de Moor, Palgrave, 2003, 201-222. Abstract Many programs and libraries involve components that are `function-like', in that they take inputs and produce outputs, but are not simple functions from inputs to outputs. This chapter explores the features of such `notions of computation', defining a common interface, called `arrows
motemen 2008/07/03
arrow
リンク
論文読み: Arrows, Robots, and Functional Reactive Programming http://www.haskell.org/yampa/AFPLectureNotes.pdf - 言語ゲーム
Haskell のアニメーションライブラリ Yampa についてのチュートリアル。またもや FRP (Functional Reactive Programming) の話題です。SOE の FAL は休憩して、その未来の姿である Yampa に寄り道します。Monad を一般化した Arrow なるものを使って、time / space leak なる物を排除し、モバイルロボットのプログラムをきっちり記述します。プログラムの例として、シムボット(ロボットシミュレータ)を扱います。シムボットは二つの独立して動く車輪を持ち、ぶつかりセンサーや、前後左右に光学センサーを持ちます。また、他のシムボットの位置を知る事も出来ます。シグナル (p 3) 一番重要な概念はシグナルです。 Signal a = Time -> a つまり、シグナルとは時間の関数です。例えばシムボットは車輪が二つあるので
motemen 2008/07/03
arrow

frp

compsci
リンク
References, Arrows and Categories - 21 thoughts
Recap: functional referencesLast time (okay, it was over two months ago) I talked about overloading functional references so that they can be used both as regular functions and as references. The data type of references I used was data FRef s a = FRef { get :: s -> a , set :: a -> s -> s } While I arrived at the type class, class Ref r where ref :: (a -> b) -> (b -> a -> a) -> r a b (.) :: r b c -
motemen 2008/07/03
haskell

arrow

read_later
リンク
arrow_for_2ch
Arrowの紹介 for 2ch 2007年7月1日前口上 HaskellスレでArrow分からんって何回か書かれてるけどArrowは怖くないよ。 Arrowは面白いよ。計算を g とか f g 見たいな図で表せて面白い。前口上このスライドはJohn Hughes(じょんひゅーず)の・ Generalising Monads to Arrows http://www.cs.chalmers.se/~rjmh/Papers/arrows.pdf って言うArrowの元になった論文を元にしたArrowの紹介だよ。でも論文とは結構違う説明してるから注意。 Arrowって何よ ArrowはMonadと同じような役割に使われる。 ArrowはMonadよりも一般的。 Monad mに対して Arrow aが機械的に定義できる。 Arrow aに対して Monad
motemen 2008/07/03
haskell

arrow
リンク
1