Changeset 33

Legend:

Unmodified

Added

Removed

• docs/trunk/200711-tock-seminars/200711-tock-slides.tex

  r32	r33
  711	711	\item Compose ``routes'' as we descend the tree
  712	712	\end{itemize}
  713	\begin{lstlisting}
  713
  714	%TODO I think a diagram to explain the append function would be helpful here, so this slide is only temporary
  715	\begin{lstlisting}
  716	type Mod inner outer = (inner -> m inner) -> (outer -> m outer)
  717	append :: Mod outer Root -> Mod inner outer -> Mod inner Root
  718
  714	719	buildNode (While e s) route
  715	720	= do addNode (label e) (append route
  721	(追記) -- (Expr -> m Expr) -> (Statement -> m Statement) (追記ここまで)
  716	722	(\f (While e s) -> do {e' <- f e ; return (While e' s)}))
  717	723	buildNode p (append route
  724	(追記) -- (Statement -> m Statement) -> (Statement -> m Statement) (追記ここまで)
  718	725	(\f (While e s) -> f s >>= While e))
  719	726	...

Note: See TracChangeset for help on using the changeset viewer.