https://github.com/phadej/denotational-frp

Denotational semantics for discrete-time FRP
https://github.com/phadej/denotational-frp

Last synced: 14 days ago
JSON representation

Denotational semantics for discrete-time FRP

• Host: GitHub
• URL: https://github.com/phadej/denotational-frp
• Owner: phadej
• License: mit
• Created: 2015-01-02T10:18:27.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2015-01-02T13:13:13.000Z (about 10 years ago)
• Last Synced: 2024-11-07T03:48:47.350Z (2 months ago)
• Language: Haskell
• Size: 117 KB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# denotational-frp

> Denotational semantics for discrete-time FRP

## Example's output

```

concatMap . flatMap . zip

s1    = a.....b..............c

s2    = ..1.2.3

zip   = ..a1..b2.............c3

      = ....a.a.1.1.b.b.2.2....c.c.3.3

      = [(4,'a'),(6,'a'),(8,'1'),(10,'1'),(12,'b'),(14,'b'),(16,'2'),(18,'2'),(23,'c'),(25,'c'),(27,'3'),(29,'3')]

concatMap . merge

s1    = a.....b..............c

s2    = ..1.2.3

merge = a.1.2.b..............c

      = ..a.a.1.1.2.2.b.b.3.3..c.c

      = [(2,'a'),(4,'a'),(6,'1'),(8,'1'),(10,'2'),(12,'2'),(14,'b'),(16,'b'),(18,'3'),(20,'3'),(23,'c'),(25,'c')]

fairScheduler

s1    = a.....b..............c

s2    = ..1.2.3

fair  = ..a.a.1.1.b.b.2.2.3.3..c.c

      = [(2,'a'),(4,'a'),(6,'1'),(8,'1'),(10,'b'),(12,'b'),(14,'2'),(16,'2'),(18,'3'),(20,'3'),(23,'c'),(25,'c')]

```