Add a few call/cc puzzles.

1 files changed, 18 insertions, 1 deletions

diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index b60778b..389acbe 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -3379,9 +3379,26 @@ $\rightarrow$ 42\\
 (call/cc (lambda (k) (+ (k 42) 1)))\hfill ;; (+ \_ 1) never reached\\
 $\rightarrow$ 42\\
 (* (call/cc (lambda (k) (k 42))) 2)\hfill ;; Nothing weird here\\
-$\rightarrow$ 84
+$\rightarrow$ 84\\
+((call/cc (lambda (k) k))\\
+\ (call/cc (lambda (k) k)))\hfill ;; Endless loop: why?
 \par}
 
+\bigskip
+
+{\footnotesize
+
+Très difficile à comprendre :
+
+{\tt
+((lambda (yin)\\
+\ \ \ ((lambda (yang) (yin yang))\\
+\ \ \ \ ((lambda (kk) (display \#\textbackslash *) kk) (call/cc (lambda (k) k)))))\\
+\ ((lambda (kk) (newline) kk) (call/cc (lambda (k) k))))
+\par}
+
+}
+
 \end{frame}
 %
 \begin{frame}