From d6b8dab10a642bb21e9101497608b7d98f71e714 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 23 May 2016 20:56:42 +0200
Subject: [PATCH] update slides
---
long2/slides.tex | 35 +++++++++++++++++++++++++++++++----
1 file changed, 31 insertions(+), 4 deletions(-)
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?
--
2.20.1