Work-in-progress second edition of generics.tex

This is not ready for review yet so I'm not updating the PDF on Swift.org.

Author: slavapestov

docs/Generics/Makefile

@@ -3,8 +3,3 @@ generics.pdf:
 	bibtex generics
 	pdflatex generics
 	pdflatex generics
-
-clean:
-	rm *.aux *.bbl *.blg *.idx *.ilg *.ind *.log *.out *.pdf *.toc
-
-.PHONY: clean

docs/Generics/chapters/basic-operation.tex

@@ -0,0 +1,68 @@
+\documentclass[../generics]{subfiles}
+
+\begin{document}
+
+\chapter{Concrete Conformances}\label{concrete conformances}
+
+\ifWIP
+TODO:
+\begin{itemize}
+\item Concrete conformance rule, property-like
+\item Virtual rule that introduces it
+\item Idea: it should eliminate the conformance rule but not the concrete type rule
+\item Doesn't actually appear in signature so should not impact minimization
+\item Conditional requirement inference, only in generic signatures and not protocols, because we can't merge connected components during completion. for a generic signature this actually has to import new components in the general case
+\end{itemize}
+\fi
+
+\section{Type Witnesses}
+
+\IndexTwoFlag{debug-requirement-machine}{concretize-nested-types}
+
+\ifWIP
+TODO:
+\begin{itemize}
+\item Concrete type witness
+\item Abstract type witness
+\item Virtual rules
+\item Algorithm for building a ``relative'' concrete type symbol from substituting another symbol's pattern type
+\end{itemize}
+\fi
+
+\section{Recursive Conformances}
+
+\ifWIP
+TODO:
+\begin{itemize}
+\item Free conformances
+\item Can a protocol have a free conformance
+\item Can a conformance be made free by changing the protocol
+\item Conformance evaluation graph
+\item Heuristic to find same-type requirements from a conformance; just the parent type thing
+\item The problem with opaque archetypes
+\item Open question: can we encode a conformance more directly without evaluating it; \verb|G<G<G<T>>>| example
+\end{itemize}
+\fi
+
+\IndexFlag{enable-requirement-machine-opaque-archetypes}
+
+\section{Concrete Contraction}
+
+\IndexFlag{disable-requirement-machine-concrete-contraction}
+\IndexTwoFlag{debug-requirement-machine}{concrete-contraction}
+
+\ifWIP
+TODO:
+\begin{itemize}
+\item Doesn't actually appear in signature so should not impact minimization
+\item The problem: it might give you a smaller anchor
+\item Invariant violation without concrete contraction
+\item Concrete contraction substitutes superclass and concrete types
+\item Also GSB compatibility: T.A, T == C, C.A is a concrete typealias that's not an associated type. this doesn't add a rule
+\item Open question: can we do this in a more principled way
+\end{itemize}
+\fi
+
+\section{Source Code Reference}
+
+\end{document}

docs/Generics/chapters/building-generic-signatures.tex

@@ -0,0 +1,45 @@
+\documentclass[../generics]{subfiles}
+
+\begin{document}
+
+\chapter{Derived Requirements Summary}\label{derived summary}
+
+\index{$\vdash$}
+\IndexStep{GenSig}
+\IndexStep{ReqSig}
+\IndexStep{AssocType}
+\IndexStep{Conf}
+\IndexStep{Equiv}
+\IndexStep{Same}
+\IndexStep{Member}
+\IndexStep{Concrete}
+
+\begin{gather*}
+\vdash\ConfReq{T}{P}\tag{\textsc{GenSig}}\\
+\vdash\ConfReq{T}{C}\\
+\vdash\ConfReq{T}{AnyObject}\\
+\vdash\FormalReq{T == U}\\[\medskipamount]
+\ConfReq{T}{P}\vdash\texttt{T.A}\tag{\textsc{AssocType}}\\
+\ConfReq{T}{P}\vdash\texttt{T.[P]A}\\
+\ConfReq{T}{P}\vdash\FormalReq{T.[P]A == T.A}\\[\medskipamount]
+\vdash\ConfReq{Self.U}{P}\qquad\mbox{(in \texttt{P})}\tag{\textsc{ReqSig}}\\
+\vdash\ConfReq{Self.U}{C}\qquad\mbox{(in \texttt{P})}\\
+\vdash\ConfReq{Self.U}{AnyObject}\qquad\mbox{(in \texttt{P})}\\
+\vdash\FormalReq{Self.U == Self.V}\qquad\mbox{(in \texttt{P})}\\[\medskipamount]
+\ConfReq{T}{P},\,\ConfReq{Self.U}{Q}\vdash\ConfReq{T.U}{Q}\tag{\textsc{Conf}}\\
+\ConfReq{T}{P},\,\ConfReq{Self.U}{C}\vdash\ConfReq{T.U}{C}\\
+\ConfReq{T}{P},\,\ConfReq{Self.U}{AnyObject}\vdash\ConfReq{T.U}{AnyObject}\\
+\ConfReq{T}{P},\,\FormalReq{Self.U == Self.V}\vdash\FormalReq{T.U == T.V}\\[\medskipamount]
+\texttt{T}\vdash\FormalReq{T == T}\tag{\textsc{Equiv}}\\
+\FormalReq{T == U}\vdash\FormalReq{U == T}\\
+\FormalReq{T == U},\,\FormalReq{U == V}\vdash\FormalReq{T == V}\\[\medskipamount]
+\ConfReq{U}{P},\,\FormalReq{T == U}\vdash\ConfReq{T}{P}\tag{\textsc{Same}}\\
+\ConfReq{U}{C},\,\FormalReq{T == U}\vdash\ConfReq{T}{C}\\
+\ConfReq{U}{AnyObject},\,\FormalReq{T == U}\vdash\ConfReq{T}{AnyObject}\\[\medskipamount]
+\ConfReq{U}{P},\,\FormalReq{T == U}\vdash\FormalReq{T.A == U.A}\tag{\textsc{Member}}\\
+\ConfReq{U}{P},\,\FormalReq{T == U}\vdash\FormalReq{T.[P]A == U.[P]A}\\[\medskipamount]
+\FormalReq{T == U}\vdash\FormalReq{G<T> == G<U>}\qquad\mbox{(arbitrary type constructor \texttt{G<>})}\tag{\textsc{Concrete}}\\
+\FormalReq{G<T> == G<U>}\vdash\FormalReq{T == U}\qquad\mbox{(arbitrary type constructor \texttt{G<>})}
+\end{gather*}
+
+\end{document}