Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/doc/report/types.tex
ViewVC logotype

Diff of /branches/vis12/doc/report/types.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1975, Mon Jul 16 01:01:19 2012 UTC revision 1976, Mon Jul 16 14:44:57 2012 UTC
# Line 56  Line 56 
56  The syntax of a kernel type is \mbox{\kw{kernel}\kw{\#}$k$}, where  The syntax of a kernel type is \mbox{\kw{kernel}\kw{\#}$k$}, where
57  $k \geq 0$ gives the number of levels of differentiation supported by the  $k \geq 0$ gives the number of levels of differentiation supported by the
58  kernel.  kernel.
59    
60    \section{Type promotion}
61    Diderot's type system supports three kinds of \emph{implicit} type coercions that are
62    added by the type checker when necessary:
63    \begin{enumerate}
64      \item
65        Integer-typed expressions will be implicitly promoted to real-typed expressions.
66      \item
67        Static sequences will be implicitly promoted to dynamic sequences.
68      \item
69        A field-typed expression with continuity $k$ will be implicitly converted to a
70        field with lower continuity.
71    \end{enumerate}%

Legend:
Removed from v.1975  
changed lines
  Added in v.1976

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0