suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[icfp] hints for further applications

Browse Source
This commit is contained in:
ben 2016-02-25 20:03:38 -05:00
parent 9f62bfc7ae
commit a1fcaece5b
2 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
icfp-2016/Makefile
View File

@ -14,5 +14,9 @@ paper.tex: pkg compiled/paper_scrbl.zo texstyle.tex
pkg: pkg:
raco pkg install --skip-installed trivial raco pkg install --skip-installed trivial
teaser:
xelatex teaser.tex
clean: clean:
rm -r compiled rm -r compiled

14
icfp-2016/teaser.tex
View File

@ -21,20 +21,22 @@ Technique works by identifying common properties of a set of
values and using these properties in a macro transformation. values and using these properties in a macro transformation.
\begin{itemize} \begin{itemize}
\item {\texttt{typeof : (-> Syntax TypeTag)}} \item Context-free, syntactic, curry-style ``type'' checking.
\item {\texttt{transformations : (-> TypeTag (Set (-> Syntax Syntax))}} \subitem {\texttt{typeof : (-> Syntax (TypeTag x MetaData))}}
\item Operations using the type tag \& metadata.
\subitem {\texttt{transformations : (-> TypeTag (Set (-> Syntax Syntax)))}}
\end{itemize} \end{itemize}
Table defines type tags and related \texttt{transformations}. Table defines type tags and related \texttt{transformations}.
\vspace{0.4cm} \vspace{0.4cm}
\begin{center} \begin{center}
\hspace{-3.5cm}\begin{tabular}{l l l l l} \hspace{-4cm}\begin{tabular}{l l l l l}
Type & Syntax Category & Metadata & Applications \\\hline\hline Type & Syntax Category & Metadata & Applications \\\hline\hline
\\Format String & {\tt string} & \#/$\tau$ of fmt chars & Check args to {\tt printf} \\Format String & {\tt string} & \#/$\tau$ of fmt chars & Check args to {\tt printf}
\\Regexp & {\tt string} / {\tt bytes} & \# groups & Check paren-matching${}^*$, smarter return type \\Regexp & {\tt string} / {\tt bytes} & \# groups & Check paren-matching${}^*$, smarter return type
\\Query String & {\tt string} & \# of {\tt \$} vars & Check arity \\Query String & {\tt string} & \# of {\tt \$} vars & Check arity
\\Function & {\tt (lambda ...)} & Arity & Type for {\tt apply} \\Function & {\tt (lambda ...)} & Arity & Compile-time arity check for {\tt apply}
\\Numbers & {\tt number} & Value & Constant folding, accurate types \\Numbers & {\tt number} & Value & Constant folding, accurate types
\\Vectors & {\tt `\#( ... )} & Length & Access, size, fast operations \\Vectors & {\tt `\#( ... )} & Length & Access, size, fast operations
\end{tabular} \end{tabular}
@ -47,9 +49,13 @@ Table defines type tags and related \texttt{transformations}.
\subitem i.e. \texttt{\#rx"prefix (" $+$ \#rx"mid" $+$ \#rx") suffix"} should work \subitem i.e. \texttt{\#rx"prefix (" $+$ \#rx"mid" $+$ \#rx") suffix"} should work
\item {Will hijack \texttt{define} to get procedure arity} \item {Will hijack \texttt{define} to get procedure arity}
\item {Add smarter runtime assertions, like \texttt{assert-length} and a remembering \texttt{index?}} \item {Add smarter runtime assertions, like \texttt{assert-length} and a remembering \texttt{index?}}
\item Typeclass / Darais-class operations?
\subitem $\circ~$ Define a {\tt TypeTag}, extend \texttt{typeof}
\subitem $\circ~$ Write macro that looks for \& uses tags {\tt equal?}
\end{itemize} \end{itemize}
P.S. Our goal is not to discourage dependent types, but rather to advertise macros. P.S. Our goal is not to discourage dependent types, but rather to advertise macros.
P.P.S. Jack Firth might be using the library. Email him? P.P.S. Jack Firth might be using the library. Email him?
P.P.P.S Should work in other languages, hard part will be rename transformers
\end{document} \end{document}