Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Not quite - iirc Yesod still runs in some kind of IO monad, i.e. it is stateful. In contrast signal functions are declarative (pure).


The IO monad is also declarative. But, just like FRP signal functions, functions in it can be used to describe stateful systems.


Interacting with a DB or reading a html file from disk is in essence non-pure.


[1] is a good simple explanation of what FRP is about. A DB interaction for example can be viewed as a pure function from a signal of Requests to a signal of Records. Same with files (Signal Path -> Signal FileContents), etc.

[1] http://elm-lang.org/learn/What-is-FRP.elm




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: