From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 23 May 2016 18:56:42 +0000 (+0200)
Subject: update slides
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=d6b8dab10a642bb21e9101497608b7d98f71e714;p=rsss1516.git

update slides
---

diff --git a/long2/slides.tex b/long2/slides.tex
index 93e0b35..82f4161 100644
--- a/long2/slides.tex
+++ b/long2/slides.tex
@@ -1,5 +1,6 @@
 \documentclass{beamer}
 
+\usepackage{stmaryrd}
 
 \title{Do you see what I see?}
 \subtitle{\emph{Functional pearl} (2016)}
@@ -13,15 +14,41 @@
 \begin{frame}
 	\frametitle{Objective}
 	\begin{block}{Elaborate on the type system}
+		\begin{itemize}
+			\pause\item Racket programming language
+			\pause\item Implemented as macro
+			\pause\item No extra syntax or annotations
+			\pause\item Syntactical analyses
+		\end{itemize}
+	\end{block}
+	\begin{block}{Why?}
 		\begin{itemize}[<+->]
-			\item Typed racket
-			\item Implemented as macro
-			\item No extra syntax or annotations
-			\item Syntactical analyses
+			\item Pass typechecker? Correct program\ldots
+			\item Solve problems with arity
+			\item Look at text
 		\end{itemize}
 	\end{block}
 \end{frame}
+
 % Proposal: if the paper presents a new idea, what, in a nutshell, is it?
+\begin{frame}
+	\frametitle{Proposal (1)}
+	\begin{block}{Notation}
+		Implementation in Typed Racket\\
+		%macro language that compiles in racket BEFORE type checking
+		\texttt{$\llbracket$e$\rrbracket$}- Elaboration function on $e$\\
+	\end{block}
+	\pause%
+	\begin{block}{Curry example}
+		\begin{tabular}{rl}
+			\texttt{$\llbracket$ (curry ($\lambda$ (x y) x)) $\rrbracket$}
+				& \texttt{= (curry\_2 ($\lambda$ (x y) x))}\\
+			\pause%
+			\texttt{$\llbracket$ (curry ($\lambda$ (x y z) x)) $\rrbracket$}
+				& \texttt{= (curry\_3 ($\lambda$ (x y z) x))}\\
+			\end{tabular}
+	\end{block}
+\end{frame}
 
 % Evidence: Support for claims - Theorems? Case studies? Simulations?