handouts/amm-ho.tex
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 02 Oct 2025 08:46:35 +0100
changeset 997 d7dfa3cf527f
parent 994 35db8ee453c0
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
\documentclass{article}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
\usepackage{../style}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
\usepackage{../langs}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
\usepackage{marvosym}
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
     5
\usepackage{tcolorbox}
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
     6
%% \usepackage[]{hvextern}
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
%cheat sheet
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
%http://worldline.github.io/scala-cheatsheet/
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
\begin{document}
994
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
    12
\fnote{\copyright{} Christian Urban, King's College London, 2020, 2021, 2023, 2025}
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    14
\section*{Scala 3 in 6CCS3CFL}
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
For the coursework in this module you are free to use any programming
756
f7c7a75e0583 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 755
diff changeset
    17
language you like, but I will show you all my code using Scala---I
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    18
hope you have fond memories of Scala from PEP. The only difference
965
94f5cce73a4f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 936
diff changeset
    19
with PEP is that I will the Ammonite REPL for Scala 3.
830
dbf9d710ce65 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 760
diff changeset
    20
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    21
\begin{tcolorbox}[colback=red!5!white,colframe=red!75!black]
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    22
If you intend to submit your code for the CW in Scala, you \underline{MUST} submit code that
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    23
is compatible with Scala 3!! This is to make it easier for me to test
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    24
your code and the changes between Scala 2 from last year PEP to Scala
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    25
3 in CFL are not that great. In fact, most changes are just some new
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    26
syntax.
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    27
\end{tcolorbox}\medskip
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    28
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    29
\noindent
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    30
If you need a reminder of the Scala handouts from PEP updated to Scala 3
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    31
have a look here
994
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
    32
\hr{https://cflmark.nms.kcl.ac.uk/hg/pep-material/raw-file/tip/handouts/pep-ho.pdf}. But as said, you do not need to use Scala for the CWs.\footnote{Haskell, Rust, Ocaml were other languages that have
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    33
  been used previously in CFL. I do not recommend to use Java or C or C++ for
830
dbf9d710ce65 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 760
diff changeset
    34
  writing a compiler, but if you insist, feel free. It has been done
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    35
  before.}  
830
dbf9d710ce65 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 760
diff changeset
    36
\bigskip
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    37
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    38
\noindent
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    39
The other difference between the Scala I showed you in PEP is that in CFL
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    40
I will use the Ammonite REPL (with underlying Scala Version 3):
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    41
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    42
\begin{quote}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    43
\url{https://ammonite.io/#Ammonite-REPL}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    44
\end{quote}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    45
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    46
\noindent
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    47
This is a drop-in replacement for the original Scala REPL and
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    48
works very similarly, for example
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    49
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    50
\begin{lstlisting}[language={},numbers=none,basicstyle=\ttfamily\small]
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    51
$ amm
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    52
Loading...
994
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
    53
Welcome to the Ammonite Repl 3.0.2 (Scala 3.3.5 Java 21.0.8)
965
94f5cce73a4f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 936
diff changeset
    54
@ 1 + 2
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    55
res0: Int = 3
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    56
\end{lstlisting} %% $
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    57
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    58
%%\runExtCmd[redirect]{ls -la}{voss}
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    59
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    60
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    61
\noindent
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    62
Ammonite uses the same Scala compiler, just adds some useful features
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    63
on top of it. It is quite main-stream in the Scala community and it should
838
97df390d64f5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 830
diff changeset
    64
therefore be very easy for you to install \texttt{amm}. If you work under
97df390d64f5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 830
diff changeset
    65
a Unix-like system, a sure way to install the right version of Ammonite
97df390d64f5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 830
diff changeset
    66
is by using \texttt{curl}:
97df390d64f5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 830
diff changeset
    67
97df390d64f5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 830
diff changeset
    68
\begin{lstlisting}[numbers=none,language={},basicstyle=\ttfamily\small]
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    69
$ curl -L https://github.com/com-lihaoyi/Ammonite/releases/\
994
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
    70
  download/3.0.2/3.5-3.0.2 --output amm
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    71
\end{lstlisting} %% $  
838
97df390d64f5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 830
diff changeset
    72
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    73
\noindent
924
6ad0f63e1968 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 917
diff changeset
    74
This creates a file \code{amm} which before it can be run might
936
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    75
need some adjustments of the permissions. Under recent versions of
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    76
Windows also have \texttt{curl}, but need a slightly different call:
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    77
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    78
\begin{lstlisting}[numbers=none,language={},basicstyle=\ttfamily\small]
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    79
$ curl -L https://github.com/com-lihaoyi/Ammonite/releases/\
994
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
    80
   download/3.0.2/3.5-3.0.2 --output amm.bat
936
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    81
\end{lstlisting} %% $  
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    82
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    83
\noindent
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    84
Then you need to run Ammonite with \texttt{.$\backslash$amm} and there
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    85
is no need to change any permissions under Windows.  
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
    86
759
d70dd0b57e35 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 756
diff changeset
    87
The big advantage of Ammonite is that it comes with some additional
d70dd0b57e35 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 756
diff changeset
    88
libraries already built-in and also allows one to easily break up code
d70dd0b57e35 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 756
diff changeset
    89
into smaller modules. For example reading and writing files in
d70dd0b57e35 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 756
diff changeset
    90
Ammonite can be achieved with
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    91
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    92
\begin{lstlisting}[numbers=none,language=Scala]
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    93
scala> import os._
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    94
scala> write.over(pwd / "file.name", "foo bar")  
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    95
scala> read(pwd / "file.name")   
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
    96
res1: String = "foo bar"
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    97
\end{lstlisting}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    98
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    99
\noindent
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
   100
The second line writes the string \code{"foo bar"} into the file
759
d70dd0b57e35 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 756
diff changeset
   101
\code{"file.name"}, which is located in the current working
994
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   102
directory (\code{pwd}). We want to implement a compiler---therefore 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   103
reading and writing files will come in handy.
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   104
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   105
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   106
For loading and accessing code from
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
   107
another Scala file, you can import the code into Ammonite
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
   108
as follows:
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   109
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   110
\begin{lstlisting}[numbers=none,language=Scala]
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   111
import $file.name-of-the-file
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   112
import name-of-the-file._
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   113
\end{lstlisting}  %% $
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   114
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   115
\noindent
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   116
This assumes the other Scala file is called
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   117
\texttt{name-of-the-file.sc} and requires the file to be in the same
994
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   118
directory where \texttt{amm} is working in. Again this will be very convenient 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   119
for our compiler we implement in CFL, because it allows us to easily
760
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   120
break up the code into the lexer, parser and code generator.
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   121
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
   122
Another handy feature of Ammonite is that you can mark functions as
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
   123
\texttt{@main}. For example
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   124
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   125
\begin{lstlisting}[numbers=none,language=Scala]
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   126
@main
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   127
def foo() = ...
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   128
\end{lstlisting}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   129
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   130
\noindent
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   131
This means you can now call that function from the command line like
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   132
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   133
\begin{lstlisting}[numbers=none,language=Scala]
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   134
$ amm file.sc foo
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   135
\end{lstlisting} %% $
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   136
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   137
\noindent
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   138
If you want to specify an argument on the commandline, say an int and
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   139
a string, then you can write
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   140
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   141
\begin{lstlisting}[numbers=none,language=Scala]
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   142
@main
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   143
def bar(i: Int, s: String) = ...
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   144
\end{lstlisting}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   145
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   146
\noindent
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   147
and then call
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   148
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   149
\begin{lstlisting}[numbers=none,language=Scala]
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   150
$ amm file.sc 42 foobar
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   151
\end{lstlisting} %% $
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   152
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   153
\noindent
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
   154
What is also good in Ammonite is that you can specify more than one
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   155
function to be ``main'' and then specify on the command line which
760
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   156
function you want to run as entry-point.
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   157
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   158
Another feature you might like to use is that Ammonite can ``watch'' files.
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   159
This means it can automatically re-run a file when it is saved. For this
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   160
you have to call \texttt{amm} with the option \texttt{-w}, as in
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   161
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   162
\begin{lstlisting}[numbers=none,language=Scala]
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   163
$ amm -w file.sc
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   164
\end{lstlisting} %% $
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   165
d41956ea544e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 759
diff changeset
   166
\noindent Of course this requires that you use \texttt{println} for
917
89e05a230d2d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 870
diff changeset
   167
inspecting any data as otherwise nothing will be displayed at the
994
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   168
commandline.\medskip
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   169
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   170
\noindent
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   171
To sum up, Ammonite is a really useful addition to the Scala ecosystem.
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   172
You can find more information about how to use it in the first five chapters
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   173
of the ``Hands-on Scala'' book by Li Haoyi. These chapters are
936
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
   174
free and can be used as a reference, see
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   175
936
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
   176
\begin{center}
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
   177
\url{https://www.handsonscala.com/part-i-introduction-to-scala.html}
0b5f06539a84 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 924
diff changeset
   178
\end{center}
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   179
994
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   180
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   181
\subsection*{Some Updates in Scala 3 and the Videos}
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   182
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   183
While Scala 2 and Scala 3 code is on the whole quite compatible, there are some
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   184
corners where my Scala 3 code differs from the code shown in the videos. I am still
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   185
fond of using \texttt{\{...\}} rather than Pythonesque indentation syntax. But
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   186
I switched to the \texttt{enum}-syntax for abstract datatypes. Defining regular
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   187
expressions in the ``old'' way can be done using abstract classes, like:
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   188
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   189
\begin{lstlisting}[language=Scala,basicstyle=\ttfamily\small]
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   190
abstract class Rexp
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   191
case object ZERO extends Rexp
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   192
case object ONE extends Rexp
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   193
case class CHAR(c: Char) extends Rexp
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   194
case class ALT(r1: Rexp, r2: Rexp) extends Rexp
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   195
case class SEQ(r1: Rexp, r2: Rexp) extends Rexp
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   196
case class STAR(r: Rexp) extends Rexp
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   197
\end{lstlisting} 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   198
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   199
\noindent
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   200
While this code still works in Scala 3 as expected, the definition can now 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   201
be simplified to:
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   202
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   203
\begin{lstlisting}[language=Scala,basicstyle=\ttfamily\small]
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   204
enum Rexp {
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   205
  case ZERO                     
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   206
  case ONE                      
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   207
  case CHAR(c: Char)            
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   208
  case ALT(r1: Rexp, r2: Rexp)  
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   209
  case SEQ(r1: Rexp, r2: Rexp)  
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   210
  case STAR(r: Rexp)            
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   211
}
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   212
import Rexp._
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   213
\end{lstlisting} 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   214
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   215
\noindent
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   216
Note that the syntax with \texttt{enum} needs an import, otherwise you need
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   217
to refer to the constructors slightly clumsily as in \texttt{Rexp.CHAR('a')} and 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   218
so on.
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   219
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   220
Also implicits are now defined differently in Scala 3 and need to be
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   221
split up into \texttt{given}s and extension methods. If you want to
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   222
construct regular expressions using strings, for example \texttt{STAR("a")},
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   223
then you need to declare a \texttt{given}-clause:
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   224
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   225
\begin{lstlisting}[language=Scala,basicstyle=\ttfamily\small]
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   226
def charlist2rexp(s : List[Char]): Rexp = s match {
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   227
  case Nil => ONE
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   228
  case c::Nil => CHAR(c)
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   229
  case c::s => SEQ(CHAR(c), charlist2rexp(s))
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   230
}
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   231
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   232
given Conversion[String, Rexp] = (s => charlist2rexp(s.toList))
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   233
\end{lstlisting} 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   234
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   235
\noindent
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   236
This uses the auxiliary function \texttt{charlist2rexp} which translates
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   237
a string (list of chars) into a regular expression. The ``magic'' is then 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   238
installed in the \texttt{given}-clause which calls \texttt{charlist2rexp} 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   239
whenever a \texttt{Rexp} is expected, but a string is given.
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   240
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   241
More convenient operator syntax for regular instructions needs to be
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   242
defined in Scala 3 as \emph{extension method}. For example, the shorthand-syntax
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   243
for alternatives, sequences and stars needs to be defined as:
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   244
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   245
\begin{lstlisting}[language=Scala,basicstyle=\ttfamily\small]
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   246
extension (r: Rexp) {
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   247
  def | (s: Rexp) = ALT(r, s)
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   248
  def ~ (s: Rexp) = SEQ(r, s)
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   249
  def % = STAR(r)
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   250
}
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   251
\end{lstlisting} 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   252
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   253
\noindent
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   254
After that you can define regular expressions more conveniently
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   255
as \pcode{"ab" | "bc"}, \pcode{"ab" ~ "bc"} or \pcode{"ab".\%}\;.\medskip
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   256
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   257
\noindent
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   258
To sum up, it should be easy for you to translate the old syntax that
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   259
is in some places used in the videos and the newer syntax used in the
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   260
uploaded files. There are a few additional rough edges in the code
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   261
for parsers, but I will mention them nearer the time. 
35db8ee453c0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 965
diff changeset
   262
754
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   263
\end{document}
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   264
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   265
%%% Local Variables: 
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   266
%%% mode: latex
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   267
%%% TeX-master: t
1c9a23304b85 ammonite
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   268
%%% End: