1 author: Julien Moutinho <julm+symantic@autogeree.net>
2 -- bug-reports: http://doc.autogeree.net/symantic/bugs
9 Library gathering important ideas from the
10 <http://okmij.org/ftp/tagless-final/ Tagless-Final>
11 approach of embedded DSL (Domain-Specific Language)
12 developed by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan,
13 and pursuing their work to make it usable as a non-embedded DSL.
15 A so-called /symantic/ type class defines a /syntax/
16 and each of its instances defines a new /semantic/
17 (computing a Haskell term, serializing, optimizing, …).
19 Combining the methods of those /symantic/ type classes
20 gives rise to a DSL within which one can
21 write /symantic/ expressions at developing time;
22 but in order to handle such expression when entered by an end-user,
23 one has to be able to construct it at runtime.
25 This library (including its Test.hs files) demonstrates this
26 for a few usual types and methods, by:
28 * Parsing a /symantic/ expression
29 from an AST (Abstract Syntax Tree).
31 * Removing or adding /symantic/ parsers
32 by fully reusing old parsers
33 (i.e. without copying or altering them).
35 * Interpreting a /symantic/ expression
36 multiple times and with different interpreters
37 without reparsing the expression.
39 Hence, one can select all or a few expressions (and associated types)
40 of this library, add its own, parse them at runtime from its own AST,
41 and then interpret them at will.
43 Your comments, problem reports, or questions are very welcome! :-)
46 -- homepage: http://pad.autogeree.net/informatique/symantic/
49 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
51 stability: experimental
52 synopsis: Library for Typed Tagless-Final Higher-Order Extensible DSL
53 tested-with: GHC==7.10.3
56 Source-Repository head
57 location: git://git.autogeree.net/symantic
62 Description: Turn on development settings.
67 Description: Dump some intermediate files.
72 Description: Turn on profiling settings.
77 Description: Enable threads.
82 ghc-options: -Wall -fno-warn-tabs
84 cpp-options: -DDEVELOPMENT
87 -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
88 -- -fno-warn-type-defaults -fno-warn-orphans
90 ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
92 cpp-options: -DPROFILING
93 ghc-options: -fprof-auto
94 default-language: Haskell2010
97 Language.Symantic.Expr
98 Language.Symantic.Expr.Bool
99 Language.Symantic.Expr.Common
100 Language.Symantic.Expr.Eq
101 Language.Symantic.Expr.If
102 Language.Symantic.Expr.Int
103 Language.Symantic.Expr.Lambda
104 Language.Symantic.Expr.List
105 Language.Symantic.Expr.Map
106 Language.Symantic.Expr.Maybe
107 Language.Symantic.Expr.Ord
108 Language.Symantic.Expr.Tuple
109 Language.Symantic.Lib.Control.Monad
110 Language.Symantic.Lib.Data.Peano
111 Language.Symantic.Repr
112 Language.Symantic.Repr.Dup
113 Language.Symantic.Repr.Host
114 Language.Symantic.Repr.Text
115 Language.Symantic.Trans
116 Language.Symantic.Trans.Bool
117 Language.Symantic.Trans.Bool.Const
118 Language.Symantic.Trans.Common
119 Language.Symantic.Type
120 Language.Symantic.Type.Bool
121 Language.Symantic.Type.Common
122 Language.Symantic.Type.Fun
123 Language.Symantic.Type.Int
124 Language.Symantic.Type.List
125 Language.Symantic.Type.Map
126 Language.Symantic.Type.Maybe
127 Language.Symantic.Type.Ordering
128 Language.Symantic.Type.Tuple
129 Language.Symantic.Type.Unit
130 Language.Symantic.Type.Var
135 , monad-classes >= 0.3.1.1
139 Test-Suite symantic-test
140 type: exitcode-stdio-1.0
143 default-language: Haskell2010
144 ghc-options: -Wall -fno-warn-tabs
146 hs-source-dirs: Language/Symantic
160 Trans.Bool.Const.Test
165 ghc-options: -threaded -rtsopts -with-rtsopts=-N
167 cpp-options: -DDEVELOPMENT
170 cpp-options: -DPROFILING
171 ghc-options: -fprof-auto