User loginNavigation |
What work in FRP models programs which can change the type of output and input they have?A simple model of programs in an FRP style is "newtype Putter a b = Putter (a -> (b, Putter a b))". I tried using GADT's to fix this and got data PushAndPull i o where PushAndPull :: i o2 -> (o i2, PushAndPull i2 o2) but it doesn't type check. Instead I can only have data Pusher i o where Pusher :: i -> (o u, Pusher u o) and data Puller i o where Puller :: i u -> (o, Puller i u) Because I can't figure out a model which typechecks, I want to find out alternate FRP models of programs which can change the type of input and output they have. What work in FRP models programs which can change the type of output and input they have? By Steven StewartGallus at 2012-03-12 00:15 | LtU Forum | previous forum topic | next forum topic | other blogs | 3662 reads
|
Browse archives
Active forum topics |
Recent comments
6 weeks 15 hours ago
6 weeks 19 hours ago
6 weeks 19 hours ago
28 weeks 2 days ago
32 weeks 3 days ago
34 weeks 1 day ago
34 weeks 1 day ago
36 weeks 5 days ago
41 weeks 3 days ago
41 weeks 3 days ago