changeset 61:b4bf52190b5a

Update slides
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 12 Aug 2014 17:04:50 +0900
parents cfb00e108b97
children af2d176a4f2c
files slides/20140812/slide.md
diffstat 1 files changed, 11 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20140812/slide.md	Tue Aug 12 16:49:18 2014 +0900
+++ b/slides/20140812/slide.md	Tue Aug 12 17:04:50 2014 +0900
@@ -29,18 +29,25 @@
 # Notions of computation and monads
 * proving Equivalence of programs
     * beta-eta conversion wipes out
-        * non-termination
-        * non-determinisim
-        * side-efects
+        * non-termination, non-determinisim, side-effects
 * follows monads
     * Categorical Semantics of computations based on monads
+* T is notion of computation
 
 # Many Sorted Monadic Equational Language ?
 * Kleisli triples との対応
     * (T, eta, mu) と (T, eta, _ * )
-    * このあたりはソフトウェア工学でやった
+    * このあたりはソフトウェア工学でやったところなのでどうにか
 * Many Sorted Monadic Equational Launguage くらいから謎
     * page6-7 とか
     * 確実に引数を1つ持つ関数どうしの Equation?
 
+# Monad for CbC?
+* Monad は codomain が 2つある
+    * A と T A
+    * なので A と T A 間での identitiy はきちんと取る必要がありそう
+* f : A -> T B
+    * f x     の場合は x : A
+    * f =<< x の場合は x : T A
+
 <!-- vim: set filetype=markdown.slide: -->