View source for Denotative continuous-time programming (Conal Elliott)

{{Stub}}

'''Formerly called "functional reactive programming" (FRP).''' <br>
But the meaning associated with the term drifted so far away from the original idea that <br>
it was '''renamed to "denotative continuous-time programming" (DCTP).'''

== Definition ==

(Taken from Conal Elliotts' slides)

'''Two fundamental properties of DCTP:'''
* Precise, simple denotation. (Elegant & rigorous.)
* ''Continuous time.'' (Natural & composable.) 

'''Not DCTP:'''
* graphs
* updates and propagation
* streams (since they are a discrete model, despite the name)
* doing

== Related ==

* [https://futureofcoding.org/essays/dctp.html The Misunderstood Roots of FRP Can Save Programming (on futureofcoding.org – 2019)]
* [http://conal.net/blog/posts/why-program-with-continuous-time Why program with continuous time? (blog-post 2010-01-02)]
* [https://stackoverflow.com/questions/5875929/specification-for-a-functional-reactive-programming-language/5878525#5878525 Aswer to "Specification for a Functional Reactive Programming language"] (2011)

----
* '''Video:''' [https://www.youtube.com/watch?v=j3Q32brCUAI Lambda Jam 2015 - Conal Elliott - The Essence and Origins of Functional Reactive Programming] (2015-01-18)
----
* [https://en.wikipedia.org/wiki/Functional_reactive_programming Functional reactive programming (wikipedia)]
* [https://wiki.haskell.org/Functional_Reactive_Programming Functional Reactive Programming (haskell wiki)]

=== Links needing review ===

* [https://gist.github.com/stevekrouse/aa6adda76df3ed45a893f75a51135481 Notes of Steve Krouse of DCTP (2018)]
* [https://2020.splashcon.org/details/rebls-2020-papers/8/An-Introduction-to-Denotative-Continuous-Spacetime-Programming-Work-in-Progress- An Introduction to Denotative Continuous Spacetime Programming (Work in Progress)] – (Mon 16 Nov 2020) – Adriaan Leijnse – Universidade NOVA de Lisboa
* [https://news.ycombinator.com/item?id=21431217 discussion of DCTP on ycombinator hacker news (2019-11-03)] 

[[Category:Conal Elliott]]