Me and Ope: maoe? maoe Maoe and Ope: Me and Ope: Me and Ope: Reactive Programming Excel reactive programming Maoe and Ope: Excel reactive programming

Size: px

Start display at page:

Download "Me and Ope: maoe? maoe Maoe and Ope: Me and Ope: Me and Ope: Reactive Programming Excel reactive programming Maoe and Ope: Excel reactive programming "

えつみやまのかみしゃ
7 years ago
Views:

1 Me and Ope: HIMA#4 4 HIMA(Haskell Internet Meeting Anytime) HIMA Haskell Haskell ROM ( ) 20:00 23:00 Functional Reactive Programming (FRP) : Maoe and Ope: Nobsun and Ope: wave It's All Text! and Ope: and Ope: and Ope: and Ope: Tadashi Hirata and Ope: > Me and Ope: Kazu and Ope: Me and Ope: Google Wave FRP maoe

2 Me and Ope: maoe? maoe Maoe and Ope: Me and Ope: Me and Ope: Reactive Programming Excel reactive programming Maoe and Ope: Excel reactive programming Me and Ope: Maoe and Ope: reactive programming Maoe and Ope: Haskell Me and Ope: Haskell FRP Maoe and Ope: IO reactive Kazu and Ope: maoe bellevent = beepaction <$> beeptimer bellevent = bellaction <$> beeptimer bell beep Maoe and Ope: Maoe and Ope: Me and Ope: Applicative Event (IO a) IO a Behavior Event

3 reactive Me and Ope: Yampa (?)? > shelarcy Shelarcy and Ope: Yampa Conal reactive Yampa Yampa Conal reactive Grapefuit Yampa Yampa rective Conal wxhaskell wxhaskell FRP GUI Conal Me and Ope: Yampa Causal commutative arrows and their optimization Shelarcy and Ope: Yampa Yampa Shelarcy and Ope: HackageDB Conal reactive Maoe and Ope: memory leak time leak arrowised FRP yampa yampa Shelarcy and Ope: : 4up.pdf Me and Ope: Maoe and Ope: Behavior snapshot Event Event Me and Ope: Me and Ope: FRP push pull pull

4 push Maoe and Ope: pull push push Me and Ope:? Maoe and Ope: reactive Kazu and Ope: FRP web GET IO a Maoe and Ope: Event Request -> Event Response Event Response -> Event Action IO Response HTTP irc Ltakeshi and Ope: Nobsun and Ope: Haskell IO Haskell Maoe and Ope: IO Event (IO ()) IO IO Me and Ope: Shelarcy and Ope: POPL Workshop Symposium FRP Shelarcy and Ope: "Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL" Shelarcy and Ope: Paul Hudak FRP Web Me and Ope:?

5 Shelarcy and Ope: Hai Liu FRP Maoe and Ope: FRP Safe Functional Reactive Programming through Dependent Types reactive Me and Ope: ICFP2009 Me and Ope: FRP? Shelarcy and Ope: YampaSynth Yampa Henrik Nilsson FRP Fuctional Reactive Programming Me and Ope: The FHM design was originally inspired by Functional Reactive Programming (FRP) [4], particularly Yampa [12]. A key difference is that FRP provides functions on signals whereas FHM generalises this to relations on signals. Me and Ope:? Behavior Kazuhiko Sakaguchi and Ope: Me and Ope: Maoe and Ope: FRP Behavior Shelarcy and Ope: Event Behavior Yampa Event Me and Ope:? Yampa SF Signal! Signal Signal = Behavior Event? Shelarcy and Ope: Yampa

6 Me and Ope:? Maoe and Ope: Conal arrow event behavior event Me and Ope: SF a b a, b Maybe? Shelarcy and Ope: Maybe data Event a = Event a NoEvent Me and Ope: Yampa Reactive Behavior Arrows, Robots, and Functional Reactive Programming Functional Reactive Robotics: An Exercise in Principled Integration of Domain-Specific Languages Maoe and Ope: integral Behavior IntegralI.hs time leak integral Me and Ope: : time leak? Maoe and Ope: CPU Me and Ope: cabal install reactive CPU Windows GHC ghc --make -O IntegralI.hs Me and Ope: print Maoe and Ope: hsetecho Me and Ope: adapte $ print <$>... print Maoe and Ope: > < Me and Ope:

7 IKEGAMI Daisuke and Ope: Integral.hs cabal install reactive Integral.hs 2 (Double) leak -O 100% CPU Me and Ope: Mac? Windows Linux Linux IKEGAMI Daisuke and Ope: Mac Maoe and Ope: IntegralI.hs Maoe and Ope: 2 -O IKEGAMI Daisuke and Ope: [0.2..] Maoe and Ope: Oh! Integral.hs IntegralI.hs Integral IKEGAMI Daisuke and Ope: Integral.hs -O leak Integrall.hs IntegralI.hs -O time leak '0' Maoe and Ope: > Maoe and Ope: Linux GHC Shelarcy and Ope: -O -O2 Me and Ope: -O Maoe and Ope: Me and Ope: ICFPC FRP FRP

8 Maoe and Ope: FRP Me and Ope: Arrow Maoe and Ope: Arrow Yampa SF Me and Ope: SF -- Mealy Automata newtype Automata i o = Automata{ next :: i -> (Automata i o, o) } Maoe and Ope: Arrow reactive Nobsun and Ope: ( ) Arrow 2 IKEGAMI Daisuke and Ope: Arrow notation Maoe and Ope: Conal Elliott IKEGAMI Daisuke and Ope: Arrow theoretical Parsec monadic parser combination Me and Ope: Arrow Monad Maoe and Ope: Arrow Nobsun and Ope: Me and Ope: Maoe and Ope: Me and Ope:

9 IKEGAMI Daisuke and Ope: John Hughes Nobsun and Ope: 4 IKEGAMI Daisuke and Ope: 4 AIMXI FLOPS 2010 (Apr 19-21) Nobsun and Ope: Me, IKEGAMI Daisuke and Ope: reactive Arrow Reactive Shelarcy and Ope:! Me and Ope: w IKEGAMI Daisuke and Ope: Playback Nobsun and Ope: Me and Ope: Nobsun and Ope: Shelarcy and Ope: Maoe and Ope: Me and Ope: Google Wave IKEGAMI Daisuke and Ope: Mac Firefox IME

10 Shelarcy and Ope: IME Safari Reply Opera Wave Me and Ope: Google Wave IKEGAMI Daisuke and Ope: Wave Files "Download all" Firefox Me and Ope: IKEGAMI Daisuke and Ope: Shelarcy and Ope: "Step 1 Use Firefox. Google Chrome works great for Wave, but Firefox is needed for this trick." Me and Ope: PDF IKEGAMI Daisuke and Ope: PDF Google Chrome Me and Ope: User Agent Switcher User Agent iphone Firefox Wave IKEGAMI Daisuke, Shelarcy and Ope: [X] Wave IKEGAMI Daisuke and Ope: Wave Me and Ope: Tags: haskell HIMA Next wave

... 3... 3... 3... 3... 4... 7... 10... 10... 11... 12... 12... 13... 14... 15... 18... 19... 20... 22... 22... 23 2

1 ... 3... 3... 3... 3... 4... 7... 10... 10... 11... 12... 12... 13... 14... 15... 18... 19... 20... 22... 22... 23 2 3 4 5 6 7 8 9 Excel2007 10 Excel2007 11 12 13 - 14 15 16 17 18 19 20 21 22 Excel2007