diff options
Diffstat (limited to 'old-lib/resource/doc/synopsis-example.txt')
| -rw-r--r-- | old-lib/resource/doc/synopsis-example.txt | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/old-lib/resource/doc/synopsis-example.txt b/old-lib/resource/doc/synopsis-example.txt deleted file mode 100644 index 8c992339e..000000000 --- a/old-lib/resource/doc/synopsis-example.txt +++ /dev/null @@ -1,51 +0,0 @@ - -The standard way of building an application has the following modules. - -An abstract syntax: -``` - abstract Music = { - cat - Kind, - Property ; - fun - PropKind : Kind -> Property -> Kind ; - Song : Kind ; - American : Property ; - } -``` -A domain lexicon interface: -``` - interface LexMusic = open Cat in { - oper - song_N : N ; - american_A : A ; - } -``` -A functor on ``Syntax`` and the domain lexicon interface: -``` - incomplete concrete MusicI of Music = open Syntax, MusicLex in { - lincat - Kind = CN ; - Property = AP ; - lin - PropKind k p = mkCN p k ; - Song = mkCN song_N ; - American = mkAP american_A ; - } -``` -For each language, an instance of the domain lexicon: -``` - instance LexMusicGer of LexMusic = CatGer ** open ParadigmsGer in { - oper - song_N = mkN "Lied" "Lieder" neuter ; - american_A = mkA "amerikanisch" ; - } -``` -For each language, an instantiation of the functor: -``` - --# -path=.:present:prelude - - concrete MusicGer of Music = MusicI with - (Syntax = SyntaxGer), - (LexMusic = LexMusicGer) ; -``` |