diff --git a/2019/index.html b/2019/index.html index 8a7a5ff..86e66ac 100644 --- a/2019/index.html +++ b/2019/index.html @@ -272,7 +272,7 @@ Ramón Soto Mathiesen
Ramón Soto Mathiesen
- T.B.D. + Limiting side-effects of applications at compile-time
diff --git a/2019/schedule.html b/2019/schedule.html index a2e0d62..f5fe0d2 100644 --- a/2019/schedule.html +++ b/2019/schedule.html @@ -281,7 +281,7 @@ All sessions include time for Q&A and to move between rooms.

-
T.B.D.
+
Limiting side-effects of applications at compile-time
Ramón Soto Mathiesen
diff --git a/2019/speakers-and-talks.html b/2019/speakers-and-talks.html index 2a34758..77cc799 100644 --- a/2019/speakers-and-talks.html +++ b/2019/speakers-and-talks.html @@ -548,9 +548,9 @@
Ramón Soto Mathiesen
-
T.B.D.
+
Limiting side-effects of applications at compile-time
- T.B.D. + By using tools where you have a clear separation between code branches that makes effects and the ones that doesn't, as for example Haskell, it's very easy to argue that this can be done in a fairly easy manner. But it's not always the case that if a specific code branch is allowed to have side-effects, these should be all possible side-effects. In this short talk, we will be showcasing how you will be able to further restrict effects, granularly and even recursively, in order to limit these side-effects. An example could be an application that only needs to access data from a specific website, limited to a relative URL, and then print it to the console. These effects restrictions will be designed into the application, which will allow you to outsource development to anyone with the right skill-set, even if they have bad intentions, knowing that they will live up to 100% the design or the application will not build.
Ramón Soto Mathiesen, is a passionate computer scientist, with talent for business, who advocates for: correctness, code quality and high standards, but always with the customer in focus.