Changeset 223b631 for doc/theses/jiada_liang_MMath

Timestamp:

Mar 13, 2024, 11:52:35 AM (4 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

2583407, 54af365, df78cce

Parents:

6337916

Message:

add comparison table for related work

File:

• doc/theses/jiada_liang_MMath/relatedwork.tex (modified) (3 diffs)

doc/theses/jiada_liang_MMath/relatedwork.tex

@@ -16 +16 @@
 Values of algebraic types are access by subscripting, field qualification, or type (pattern) matching.
 
-Enumeration types exist in many popular programming languages, both past and present, \eg Pascal~\cite{Pascal}, Ada~\cite{Ada}, \Csharp~\cite{Csharp}, Haskell~\cite{Haskell} \CC, Go~\cite{Go}, Java~\cite{Java}, Modula-3~\cite{Modula-3}, Rust~\cite{Rust}, Swift~\cite{Swift}, Python~\cite{Python}.
+Enumeration types exist in many popular programming languages, both past and present, \eg Pascal~\cite{Pascal}, Ada~\cite{Ada}, \Csharp~\cite{Csharp}, OCaml~\cite{OCaml} \CC, Go~\cite{Go}, Java~\cite{Java}, Modula-3~\cite{Modula-3}, Rust~\cite{Rust}, Swift~\cite{Swift}, Python~\cite{Python}.
 Among theses languages, there are a large set of overlapping features, but each language has its own unique extensions and restrictions.
 
@@ -2465 +2465 @@
 \lstnewenvironment{ocaml}[1][]{\lstset{language=OCaml,escapechar=\$,moredelim=**[is][\color{red}]{@}{@},}\lstset{#1}}{}
 
-OCaml~\cite{Ocaml} provides a variant (union) type, where multiple heterogeneously-typed objects share the same storage.
+OCaml provides a variant (union) type, where multiple heterogeneously-typed objects share the same storage.
 The simplest form of the variant type is a list of nullary datatype constructors, which is like an unscoped, pure enumeration.
 \begin{ocaml}
@@ -2554 +2554 @@
   - Gregor Richards
 \end{comment}
+
+
+\section{Comparison}
+
+\begin{tabular}{r|ccccccccc}
+feat. / lang. & Pascal  & Ada   & \Csharp       & OCaml & Java  & Modula-3      & Rust  & Swift & Python        \\
+\hline
+pure            &                       &               &                       &               &               &                       &               &               &                       \\
+ordered         &                       &               &                       &               &               &                       &               &               &                       \\
+setable         &                       &               &                       &               &               &                       &               &               &                       \\
+auto-init       &                       &               &                       &               &               &                       &               &               &                       \\
+scoped          &                       &               &                       &               &               &                       &               &               &                       \\
+typed           &                       &               &                       &               &               &                       &               &               &                       \\
+switch          &                       &               &                       &               &               &                       &               &               &                       \\
+loop            &                       &               &                       &               &               &                       &               &               &                       \\
+array           &                       &               &                       &               &               &                       &               &               &                       \\
+\end{tabular}