deploy: e61044e

tassiluca · Mar 7, 2024 · a4e4d58 · a4e4d58
1 parent 32fd464
commit a4e4d58
Show file tree

Hide file tree

Showing 17 changed files with 532 additions and 439 deletions.
diff --git a/404.html b/404.html
@@ -18,7 +18,7 @@
 <link rel="canonical" href="https://tassiluca.github.io/direct-style-experiments/404.html">
 <link rel="stylesheet" href="/direct-style-experiments/book.min.42504dd4648e8da78376617fd32b73c3ae6afbe9f805c36868bc831b07002332.css" integrity="sha256-QlBN1GSOjaeDdmF/0ytzw65q&#43;&#43;n4BcNoaLyDGwcAIzI=" crossorigin="anonymous">
   <script defer src="/direct-style-experiments/flexsearch.min.js"></script>
-  <script defer src="/direct-style-experiments/en.search.min.103fe240c64dfac838151e2076d9e47f9cf5e03187ec7af6348c675d1835a82e.js" integrity="sha256-ED/iQMZN&#43;sg4FR4gdtnkf5z14DGH7Hr2NIxnXRg1qC4=" crossorigin="anonymous"></script>
+  <script defer src="/direct-style-experiments/en.search.min.3f8b6945cd08ef775004f85d77654ec92ace96dfa5464784bf41f620c35ae240.js" integrity="sha256-P4tpRc0I73dQBPhdd2VOySrOlt&#43;lRkeEv0H2IMNa4kA=" crossorigin="anonymous"></script>
 <!--
 Made with Book Theme
 https://github.com/alex-shpak/hugo-book

diff --git a/categories/index.html b/categories/index.html
@@ -17,7 +17,7 @@
 <link rel="canonical" href="https://tassiluca.github.io/direct-style-experiments/categories/">
 <link rel="stylesheet" href="/direct-style-experiments/book.min.42504dd4648e8da78376617fd32b73c3ae6afbe9f805c36868bc831b07002332.css" integrity="sha256-QlBN1GSOjaeDdmF/0ytzw65q&#43;&#43;n4BcNoaLyDGwcAIzI=" crossorigin="anonymous">
   <script defer src="/direct-style-experiments/flexsearch.min.js"></script>
-  <script defer src="/direct-style-experiments/en.search.min.103fe240c64dfac838151e2076d9e47f9cf5e03187ec7af6348c675d1835a82e.js" integrity="sha256-ED/iQMZN&#43;sg4FR4gdtnkf5z14DGH7Hr2NIxnXRg1qC4=" crossorigin="anonymous"></script>
+  <script defer src="/direct-style-experiments/en.search.min.3f8b6945cd08ef775004f85d77654ec92ace96dfa5464784bf41f620c35ae240.js" integrity="sha256-P4tpRc0I73dQBPhdd2VOySrOlt&#43;lRkeEv0H2IMNa4kA=" crossorigin="anonymous"></script>
 <link rel="alternate" type="application/rss+xml" href="https://tassiluca.github.io/direct-style-experiments/categories/index.xml" title="direct-style-experiments" />
 <!--
 Made with Book Theme
@@ -70,7 +70,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/01-boundaries/" class="">01 Boundaries</a>
+    <a href="/direct-style-experiments/docs/01-overview/" class="">01 Overview</a>
 
 
         </li>
@@ -83,7 +83,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/02-basics/" class="">02 Basics</a>
+    <a href="/direct-style-experiments/docs/02-boundaries/" class="">02 Boundaries</a>
 
 
         </li>
@@ -96,7 +96,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/03-channels/" class="">03 Channels</a>
+    <a href="/direct-style-experiments/docs/03-basics/" class="">03 Basics</a>
 
 
         </li>
@@ -109,7 +109,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/04-rears/" class="">04 Rears</a>
+    <a href="/direct-style-experiments/docs/04-channels/" class="">04 Channels</a>
 
 
         </li>
@@ -122,7 +122,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/05-conclusions/" class="">05 Conclusions</a>
+    <a href="/direct-style-experiments/docs/05-rears/" class="">05 Rears</a>
 
 
         </li>

diff --git a/docs/01-overview/index.html b/docs/01-overview/index.html
diff --git a/docs/01-boundaries/index.html → docs/02-boundaries/index.html b/docs/01-boundaries/index.html → docs/02-boundaries/index.html
@@ -11,17 +11,17 @@
 <meta property="og:description" content="boundary &amp; break # boundary &amp; break Modeling error handling data types with non-local breaks Optional Either &#43; ? boundary &amp; break mechanism provides a cleaner alternative to non-local returns:
 boundary: is short for boundary.apply: the indented code below, passed as body, is a context function that is called within boundary.apply to break, an in-scope given instance of Label is required (i.e. is impossible to break without an enclosing boundary) Users don&rsquo;t define Label instances themselves." />
 <meta property="og:type" content="article" />
-<meta property="og:url" content="https://tassiluca.github.io/direct-style-experiments/docs/01-boundaries/" /><meta property="article:section" content="docs" />
+<meta property="og:url" content="https://tassiluca.github.io/direct-style-experiments/docs/02-boundaries/" /><meta property="article:section" content="docs" />
 
-<meta property="article:modified_time" content="2024-03-04T23:03:38+01:00" />
+<meta property="article:modified_time" content="2024-03-07T12:58:54+01:00" />
 
-<title>01 Boundaries | direct-style-experiments</title>
+<title>02 Boundaries | direct-style-experiments</title>
 <link rel="manifest" href="/direct-style-experiments/manifest.json">
 <link rel="icon" href="/direct-style-experiments/favicon.png" >
-<link rel="canonical" href="https://tassiluca.github.io/direct-style-experiments/docs/01-boundaries/">
+<link rel="canonical" href="https://tassiluca.github.io/direct-style-experiments/docs/02-boundaries/">
 <link rel="stylesheet" href="/direct-style-experiments/book.min.42504dd4648e8da78376617fd32b73c3ae6afbe9f805c36868bc831b07002332.css" integrity="sha256-QlBN1GSOjaeDdmF/0ytzw65q&#43;&#43;n4BcNoaLyDGwcAIzI=" crossorigin="anonymous">
   <script defer src="/direct-style-experiments/flexsearch.min.js"></script>
-  <script defer src="/direct-style-experiments/en.search.min.103fe240c64dfac838151e2076d9e47f9cf5e03187ec7af6348c675d1835a82e.js" integrity="sha256-ED/iQMZN&#43;sg4FR4gdtnkf5z14DGH7Hr2NIxnXRg1qC4=" crossorigin="anonymous"></script>
+  <script defer src="/direct-style-experiments/en.search.min.3f8b6945cd08ef775004f85d77654ec92ace96dfa5464784bf41f620c35ae240.js" integrity="sha256-P4tpRc0I73dQBPhdd2VOySrOlt&#43;lRkeEv0H2IMNa4kA=" crossorigin="anonymous"></script>
 <!--
 Made with Book Theme
 https://github.com/alex-shpak/hugo-book
@@ -73,7 +73,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/01-boundaries/" class="active">01 Boundaries</a>
+    <a href="/direct-style-experiments/docs/01-overview/" class="">01 Overview</a>
 
 
         </li>
@@ -86,7 +86,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/02-basics/" class="">02 Basics</a>
+    <a href="/direct-style-experiments/docs/02-boundaries/" class="active">02 Boundaries</a>
 
 
         </li>
@@ -99,7 +99,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/03-channels/" class="">03 Channels</a>
+    <a href="/direct-style-experiments/docs/03-basics/" class="">03 Basics</a>
 
 
         </li>
@@ -112,7 +112,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/04-rears/" class="">04 Rears</a>
+    <a href="/direct-style-experiments/docs/04-channels/" class="">04 Channels</a>
 
 
         </li>
@@ -125,7 +125,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/05-conclusions/" class="">05 Conclusions</a>
+    <a href="/direct-style-experiments/docs/05-rears/" class="">05 Rears</a>
 
 
         </li>
@@ -167,7 +167,7 @@ <h2 class="book-brand">
     <img src="/direct-style-experiments/svg/menu.svg" class="book-icon" alt="Menu" />
   </label>
 
-  <strong>01 Boundaries</strong>
+  <strong>02 Boundaries</strong>
 
   <label for="toc-control">
 
@@ -295,8 +295,8 @@ <h3 id="optional">
 
 
 
-<a  href="/direct-style-experiments/"   class="book-btn">
-  <strong>Home</strong>
+<a  href="/direct-style-experiments/docs/01-overview/"   class="book-btn">
+  <strong>Overview</strong>
 </a>
 
 
@@ -305,7 +305,7 @@ <h3 id="optional">
 
 
 
-<a  href="/direct-style-experiments/docs/02-basics/"   class="book-btn">
+<a  href="/direct-style-experiments/docs/03-basics/"   class="book-btn">
   <strong>Next</strong>: Basic asynchronous constructs
 </a>
 
@@ -318,9 +318,9 @@ <h3 id="optional">
   <div class="flex flex-wrap justify-between">
 
 
-  <div><a class="flex align-center" href="https://github.com/tassiLuca/direct-style-experiments/commit/53c376e6be3b85e6251a9e65605ef261019724a7" title='Last modified by Luca Tassinari | March 4, 2024' target="_blank" rel="noopener">
+  <div><a class="flex align-center" href="https://github.com/tassiLuca/direct-style-experiments/commit/e61044e3afd86718ea14d14cd1442f44e99a713e" title='Last modified by Luca Tassinari | March 7, 2024' target="_blank" rel="noopener">
       <img src="/direct-style-experiments/svg/calendar.svg" class="book-icon" alt="Calendar" />
-      <span>March 4, 2024</span>
+      <span>March 7, 2024</span>
     </a>
   </div>
 

diff --git a/docs/02-basics/index.html → docs/03-basics/index.html b/docs/02-basics/index.html → docs/03-basics/index.html
@@ -11,17 +11,17 @@
 <meta property="og:description" content="Basic asynchronous constructs # Basic asynchronous constructs The need for a new Future construct Example: a blog posts service Structure Current monadic Future Direct style: Scala version with gears Kotlin Coroutines Takeaways The need for a new Future construct # The current implementation of the Future monadic construct suffers the following main cons:
 Lack of referential transparency; Lack of cancellation mechanisms and structured concurrency; Accidental Sequentiality. To show these weaknesses in practice, a simple example of the core of a web service implementation is presented." />
 <meta property="og:type" content="article" />
-<meta property="og:url" content="https://tassiluca.github.io/direct-style-experiments/docs/02-basics/" /><meta property="article:section" content="docs" />
+<meta property="og:url" content="https://tassiluca.github.io/direct-style-experiments/docs/03-basics/" /><meta property="article:section" content="docs" />
 
-<meta property="article:modified_time" content="2024-03-05T16:19:30+01:00" />
+<meta property="article:modified_time" content="2024-03-07T12:58:54+01:00" />
 
-<title>02 Basics | direct-style-experiments</title>
+<title>03 Basics | direct-style-experiments</title>
 <link rel="manifest" href="/direct-style-experiments/manifest.json">
 <link rel="icon" href="/direct-style-experiments/favicon.png" >
-<link rel="canonical" href="https://tassiluca.github.io/direct-style-experiments/docs/02-basics/">
+<link rel="canonical" href="https://tassiluca.github.io/direct-style-experiments/docs/03-basics/">
 <link rel="stylesheet" href="/direct-style-experiments/book.min.42504dd4648e8da78376617fd32b73c3ae6afbe9f805c36868bc831b07002332.css" integrity="sha256-QlBN1GSOjaeDdmF/0ytzw65q&#43;&#43;n4BcNoaLyDGwcAIzI=" crossorigin="anonymous">
   <script defer src="/direct-style-experiments/flexsearch.min.js"></script>
-  <script defer src="/direct-style-experiments/en.search.min.103fe240c64dfac838151e2076d9e47f9cf5e03187ec7af6348c675d1835a82e.js" integrity="sha256-ED/iQMZN&#43;sg4FR4gdtnkf5z14DGH7Hr2NIxnXRg1qC4=" crossorigin="anonymous"></script>
+  <script defer src="/direct-style-experiments/en.search.min.3f8b6945cd08ef775004f85d77654ec92ace96dfa5464784bf41f620c35ae240.js" integrity="sha256-P4tpRc0I73dQBPhdd2VOySrOlt&#43;lRkeEv0H2IMNa4kA=" crossorigin="anonymous"></script>
 <!--
 Made with Book Theme
 https://github.com/alex-shpak/hugo-book
@@ -73,7 +73,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/01-boundaries/" class="">01 Boundaries</a>
+    <a href="/direct-style-experiments/docs/01-overview/" class="">01 Overview</a>
 
 
         </li>
@@ -86,7 +86,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/02-basics/" class="active">02 Basics</a>
+    <a href="/direct-style-experiments/docs/02-boundaries/" class="">02 Boundaries</a>
 
 
         </li>
@@ -99,7 +99,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/03-channels/" class="">03 Channels</a>
+    <a href="/direct-style-experiments/docs/03-basics/" class="active">03 Basics</a>
 
 
         </li>
@@ -112,7 +112,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/04-rears/" class="">04 Rears</a>
+    <a href="/direct-style-experiments/docs/04-channels/" class="">04 Channels</a>
 
 
         </li>
@@ -125,7 +125,7 @@ <h2 class="book-brand">
 
 
 
-    <a href="/direct-style-experiments/docs/05-conclusions/" class="">05 Conclusions</a>
+    <a href="/direct-style-experiments/docs/05-rears/" class="">05 Rears</a>
 
 
         </li>
@@ -167,7 +167,7 @@ <h2 class="book-brand">
     <img src="/direct-style-experiments/svg/menu.svg" class="book-icon" alt="Menu" />
   </label>
 
-  <strong>02 Basics</strong>
+  <strong>03 Basics</strong>
 
   <label for="toc-control">
 
@@ -790,7 +790,7 @@ <h2 id="takeaways">
 <ul>
 <li>Scala Gears offers, despite the syntactical differences, very similar concepts to Kotlin Coroutines, with structured concurrency and cancellation mechanisms;</li>
 <li>Kotlin Coroutines handles the cancellation of nested coroutines more easily than Scala Gears, where special attention is required;</li>
-<li>As <a href="https://github.com/lampepfl/gears/issues/19#issuecomment-1732586362">stated by M. Odersky</a> the <code>Async</code> capability is better than <code>suspend</code> because let defines functions that work for synchronous as well as asynchronous function arguments, while suspending functions in Kotlin require to be called from a coroutine.</li>
+<li>As <a href="https://github.com/lampepfl/gears/issues/19#issuecomment-1732586362">stated by M. Odersky</a> the <code>Async</code> capability is better than <code>suspend</code> because let defines functions that work for synchronous as well as asynchronous function arguments without changing anything, while in Kotlin suspendable functions passed as an argument in higher-order functions must be tagged with <code>suspend</code> keyword.</li>
 </ul>
 </blockquote>
 
@@ -799,7 +799,7 @@ <h2 id="takeaways">
 
 
 
-<a  href="/direct-style-experiments/docs/01-boundaries/"   class="book-btn">
+<a  href="/direct-style-experiments/docs/02-boundaries/"   class="book-btn">
   <strong>Previous</strong>: boundary &amp; break
 </a>
 
@@ -809,7 +809,7 @@ <h2 id="takeaways">
 
 
 
-<a  href="/direct-style-experiments/docs/03-channels/"   class="book-btn">
+<a  href="/direct-style-experiments/docs/04-channels/"   class="book-btn">
   <strong>Next</strong>: Channels as a communication primitive
 </a>
 
@@ -822,9 +822,9 @@ <h2 id="takeaways">
   <div class="flex flex-wrap justify-between">
 
 
-  <div><a class="flex align-center" href="https://github.com/tassiLuca/direct-style-experiments/commit/60d6d28658617bbb10a22bc0be5be1228edd0da6" title='Last modified by Danilo Pianini | March 5, 2024' target="_blank" rel="noopener">
+  <div><a class="flex align-center" href="https://github.com/tassiLuca/direct-style-experiments/commit/e61044e3afd86718ea14d14cd1442f44e99a713e" title='Last modified by Luca Tassinari | March 7, 2024' target="_blank" rel="noopener">
       <img src="/direct-style-experiments/svg/calendar.svg" class="book-icon" alt="Calendar" />
-      <span>March 5, 2024</span>
+      <span>March 7, 2024</span>
     </a>
   </div>