[B! Haskell][frp] r-westã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

r-west id:r-west

Haskellã¨frpã«é–¢ã™ã‚‹r-westã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (8)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

FRPã®è©± - maoeã®ãƒ–ãƒã‚°
Haskell Advent Calender 2012ã§ä¹…ã€…ã«ãƒ–ãƒã‚°ã‚’æ›¸ãã¨ã„ã†ã“ã¨ã§ã€ã¤ã„ã§ã«ã¯ã¦ãªãƒ€ã‚¤ã‚¢ãƒªãƒ¼ã‹ã‚‰ã¯ã¦ãªãƒ–ãƒã‚°ã«ç§»è¡Œã—ã¦ã¿ãŸã€‚è¨˜äº‹ã‚„ã‚³ãƒ¡ãƒ³ãƒˆã¯ã‚‚ã¡ã‚ã‚“ã®ã“ã¨ã€ã¯ã¦ãƒ–ã‚‚ç§»è¡Œã§ãã€ãªãŠã‹ã¤undoã‚‚ã§ãã‚‹ã¨ã„ã†ç´ æ™´ã‚‰ã—ã„ä»•æ§˜ãªã®ã§ã€å®‰å¿ƒã—ã¦ç§»è¡Œã™ã‚‹ã“ã¨ãŒã§ããŸã€‚ ã•ã¦ã€ä»Šå›žã¯Functional Reactive Programmingï¼ˆFRPï¼‰ã®è©±ã€‚FRPã¨ã¯ã€æ™‚é–“ã‚„ã‚·ã‚¹ãƒ†ãƒ å¤–éƒ¨ã‹ã‚‰ã®å…¥åŠ›ã«å¯¾ã—ã¦å¿œç”ã™ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’é–¢æ•°çš„ã«è¡¨ç¾ã™ã‚‹æ–¹æ³•ã¨ã§ã‚‚è¨€ãˆã°ã‚ˆã„ã ã‚ã†ã‹ã€‚ FRPã¨ã„ã†ã¨ã¾ã å®šç•ªã®å®Ÿè£…ã‚‚ãªãã€å®Ÿç”¨ã«ã¯ã»ã©é ã„ã¨è€ƒãˆã‚‹äººã‚‚ã„ã‚‹ã‹ã‚‚ã—ã‚Œãªã„ã€‚å®Ÿéš›ã€FRPã®å®Ÿè£…ã«é–¢ã—ã¦ã¯ã¾ã ã„ã‚ã„ã‚ç ”ç©¶ãƒ»æ”¹è‰¯ã®ä½™åœ°ãŒã‚ã‚‹ã¨ã¯æ€ã†ã‚‚ã®ã®ã€ä»¥å‰ã®ã‚ˆã†ã«ç°¡å˜ã«ãƒ¡ãƒ¢ãƒªãƒªãƒ¼ã‚¯ã™ã‚‹ã‚ˆã†ãªã“ã¨ã‚‚ç„¡ãã€æœ€è¿‘ã§ã¯è©¦ã—ã¦ãªã‚‹ã»ã©ä¾¿åˆ©ãã†ã¨æ€ãˆã‚‹æ®µéšŽã«ã¾ã§ã¯æ´—ç·´ã•ã‚Œã¦ãã¦ã„ã‚‹ã¨æ€ã†ã€‚ FRPãŒç™»å ´ã—ã¦ã‹ã‚‰ã®1
r-west 2012/12/29
haskell

functional

frp
ãƒªãƒ³ã‚¯
What's the status of current Functional Reactive Programming implementations?
I'm trying to visualize some simple automatic physical systems (such things as pendulum, robot arms,etc.) in Haskell. Often those systems can be described by equations like df/dt = c*f(t) + u(t) where u(t) represents some kind of 'intelligent control'. Those systems look to fit very nicely in the Functional Reactive Programming paradigm. So I grabbed the book "The Haskell School of Expression" by
r-west 2012/11/23
frp

functional

haskell

å¾Œã§èªã‚€
ãƒªãƒ³ã‚¯
é–¢æ•°ãƒªã‚¢ã‚¯ãƒ†ã‚£ãƒ–ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®å®Ÿè·µ
ãƒªã‚¢ã‚¯ãƒ†ã‚£ãƒ–ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã£ã¦ä½•ï¼Ÿ æ™‚åˆ»ã«ã‚ˆã£ã¦å¤‰åŒ–ã™ã‚‹å€¤ã‚’ä½¿ã£ã¦è¨ˆç®—ã™ã‚‹ x = mouse_position.x y = mouse_position.y sum = x + y printf("(%d, %d); sum=%d", x, y, sum) å…¥åŠ›ãŒå¤‰ã‚ã‚‹ãŸã³ã«å†è¨ˆç®— ç”¨é€”: UIã€ã‚·ãƒŸãƒ¥ãƒ¬ãƒ¼ã‚·ãƒ§ãƒ³ãªã© Haskell/MLä¸Šã®ãƒªã‚¢ã‚¯ãƒ†ã‚£ãƒ–ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° Behavior a: æ™‚åˆ»ã«ã‚ˆã£ã¦å¤‰åŒ–ã™ã‚‹å€¤(ä¸èº«aåž‹) Event a: ç¹°ã‚Šè¿”ã—ç™ºç”Ÿã—å¾—ã‚‹ã‚¤ãƒ™ãƒ³ãƒˆ(aåž‹ã®å€¤ãŒä»˜å±ž) mousePosition :: Behavior (Int, Int) mouseClick :: Event () ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ mapB :: (a -> b) -> Behavior a -> Behavior b mapE :: (a -> b) -> Event a -> Event b
r-west 2012/09/03
programming

haskell

frp

å¾Œã§èªã‚€
ãƒªãƒ³ã‚¯
Specification for a Functional Reactive Programming language
I'm glad you're starting by asking about a specification rather than implementation first. There are a lot of ideas floating around about what FRP is. From the very start in the early 90's (when I was working in interactive graphics at Sun Microsystems and then Microsoft Research), it has been about two properties (a) denotative and (b) temporally continuous. Many folks drop both of these properti
r-west 2011/05/05
functional

FRP

programming

haskell
ãƒªãƒ³ã‚¯
è«–æ–‡ã‚ˆã¿ã€‚Lowering: A Static Optimization Technique for Transparent Functional Reactivity - è¨€èªžã‚²ãƒ¼ãƒ
ã“ã®æœŸã«åŠã‚“ã§ç¾å®Ÿé€ƒé¿ãƒ¢ãƒ¼ãƒ‰ã€‚è«–æ–‡ã‚’èªã¿ã¾ã™ã€‚http://kimbly.com/papers/bck-pepm-2007.pdf 1 æžšç›® FRP ã«ã¤ã„ã¦ã®èª¬æ˜Žã§ã™ã€‚FRP ã¨è¨€ã£ã¦ã‚‚æ¨¹è„‚ã˜ã‚ƒãªãã¦é–¢æ•°åå¿œåž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®äº‹ã§ã™ã€‚å®£è¨€çš„ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨å‘½ä»¤çš„ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ä¸Šæ‰‹ãæ··ãœã‚‹æ–¹æ³•ã¨ã—ã¦ã€ä¼çµ±çš„ãªãƒ‡ãƒ¼ã‚¿ãƒ•ãƒãƒ¼ã‚’ç™ºå±•ã•ã›ãŸç‰©ã ãã†ã§ã™ã€‚ FRP ã¯ã€ã‚ã£ã¡ã®å€¤ãŒå¤‰åŒ–ã™ã‚Œã°ãã‚Œã«åå¿œã—ã¦ã“ã£ã¡ã®å€¤ãŒå¤‰åŒ–ã™ã‚‹ã‚ˆã†ãªç‰©ã‚’ä½œã‚‹ã®ã«ä½¿ã„ã¾ã™ã€‚å®Ÿè£…æ–¹æ³•ã¯ã€ä¾å˜é–¢ä¿‚ã«å¿œã˜ã¦ã‚°ãƒ©ãƒ•(ãƒˆãƒ¼ãƒŠãƒ¡ãƒ³ãƒˆè¡¨ã®ã‚ˆã†ãªæœ¨æ§‹é€ )ã‚’ä½œã£ã¦ã€åå¿œã‚’ä¼æ’ã•ã›ã¦ã„ãã¾ã™ã€‚ é€éŽ FRP ã§ã¯ã€ãµã¤ã†ã®æ¼”ç®—ãŒè‡ªå‹•çš„ã« lift (æŒã¡ä¸Šã’)ã•ã‚Œã¾ã™ã€‚lift ã¨ã„ã†ã®ã¯ãã®å ´ã§ã™ãæ¼”ç®—ã™ã‚‹ã‚“ã˜ã‚ƒãªãã¦ã€åå¿œã—ãŸã¨ãã«æ¼”ç®—ã™ã‚‹ã‚ˆã†ãªæ§‹é€ ã‚’ä½œã‚‹äº‹ã§ã™ã€‚ã“ã®æ–¹å¼ã®æ¬ ç‚¹ã¯ã©ã‚“ã©ã‚“ã‚°ãƒ©ãƒ•ãŒå¤§ãããªã£ã¦é…ãå¤§ãããªã‚‹äº‹ã§ã™ã€‚ã“ã®è«–
r-west 2007/09/16
å¾Œã§èªã‚€

haskell

scheme

FRP
ãƒªãƒ³ã‚¯
Flapjax
Flapjax is a new programming language designed around the demands of modern, client-based Web applications. Its principal features include: Event-driven, reactive evaluation An event-stream abstraction for communicating with web services Interfaces to external web services Flapjax is easy to learn: it is just a JavaScript framework. Furthermore, because Flapjax is built entirely atop JavaScript, i
r-west 2007/09/16
JSã§ã®FRPãªãƒ•ãƒ¬ãƒ¼ãƒ ãƒ¯ãƒ¼ã‚¯(è¨€èªž)ã€‚

å¾Œã§èªã‚€

haskell

javascript

web

FRP
ãƒªãƒ³ã‚¯
CiteSeerX
r-west 2007/09/16
Schemeã§ã®FRP

å¾Œã§èªã‚€

haskell

scheme

FRP
ãƒªãƒ³ã‚¯
è«–æ–‡èªã¿: 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 ã¤ã¾ã‚Šã€ã‚·ã‚°ãƒŠãƒ«ã¨ã¯æ™‚é–“ã®é–¢æ•°ã§ã™ã€‚ä¾‹ãˆã°ã‚·ãƒ ãƒœãƒƒãƒˆã¯è»Šè¼ªãŒäºŒã¤ã‚ã‚‹ã®ã§
r-west 2007/04/09
haskell

programming

å¾Œã§èªã‚€

FRP
ãƒªãƒ³ã‚¯
1