journal/2020-12-23--16-50-17Z--effects_system_in_clojure.org
This commit is contained in:
parent
2a33a168bc
commit
46398031d2
1 changed files with 11 additions and 0 deletions
|
@ -4,3 +4,14 @@
|
|||
|
||||
tags :: [[file:2020-05-26--06-16-14Z--clojure.org][clojure]]
|
||||
source ::
|
||||
|
||||
|
||||
Warning foreword. The Effect system (see type à la carte) from the Freer
|
||||
Monad article takes in root in a precise definition.
|
||||
Here the notion of Effect system will probably feel totally skewed from the
|
||||
perspective of this article.
|
||||
But I will talk about how to use the same ideas in a dynamicly typed
|
||||
programming language. And in particular Clojure.
|
||||
|
||||
On a high level perspective the end goal of an Effect system is to be able
|
||||
to write program such that the semantic of the program will depend on the
|
||||
|
|
Loading…
Reference in a new issue