1 author: Julien Moutinho <julm+symantic@autogeree.net>
2 -- bug-reports: http://doc.autogeree.net/symantic/bugs
9 Library gathering main 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 One important drawback of this flexibility
44 is the introduction of a lot of type constraints,
45 so far this hasn't discouraged me… because for this
46 reading the vertically-aligned source code is easier
47 than its Haddock rendition.
49 Your comments, problem reports, or questions are very welcome! :-)
51 NOTE: alternative libraries to do more or less the same things
52 include: <https://hackage.haskell.org/package/syntactic syntactic>.
55 -- homepage: http://pad.autogeree.net/informatique/symantic/
58 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
60 stability: experimental
61 synopsis: Library for Typed Tagless-Final Higher-Order Extensible DSL
62 tested-with: GHC==7.10.3
65 Source-Repository head
66 location: git://git.autogeree.net/symantic
71 Description: Turn on development settings.
76 Description: Dump some intermediate files.
81 Description: Turn on profiling settings.
86 Description: Enable threads.
91 ghc-options: -Wall -fno-warn-tabs
93 cpp-options: -DDEVELOPMENT
96 -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
97 -- -fno-warn-type-defaults -fno-warn-orphans
99 ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
101 cpp-options: -DPROFILING
102 ghc-options: -fprof-auto
103 default-language: Haskell2010
106 Language.Symantic.Expr
107 Language.Symantic.Expr.Alt
108 Language.Symantic.Expr.Applicative
109 Language.Symantic.Expr.Bool
110 Language.Symantic.Expr.Either
111 Language.Symantic.Expr.Eq
112 Language.Symantic.Expr.Error
113 Language.Symantic.Expr.From
114 Language.Symantic.Expr.Functor
115 Language.Symantic.Expr.If
116 Language.Symantic.Expr.Int
117 Language.Symantic.Expr.Lambda
118 Language.Symantic.Expr.List
119 Language.Symantic.Expr.Map
120 Language.Symantic.Expr.Maybe
121 Language.Symantic.Expr.Monad
122 Language.Symantic.Expr.Ord
123 Language.Symantic.Expr.Root
124 Language.Symantic.Expr.Traversable
125 Language.Symantic.Expr.Tuple
126 Language.Symantic.Lib.Control.Monad
127 Language.Symantic.Lib.Data.Bool
128 Language.Symantic.Lib.Data.Peano
129 Language.Symantic.Repr
130 Language.Symantic.Repr.Dup
131 Language.Symantic.Repr.Host
132 Language.Symantic.Repr.Text
133 Language.Symantic.Trans
134 Language.Symantic.Trans.Bool
135 Language.Symantic.Trans.Bool.Const
136 Language.Symantic.Trans.Common
137 Language.Symantic.Type
138 Language.Symantic.Type.Alt
139 Language.Symantic.Type.Bool
140 Language.Symantic.Type.Either
141 Language.Symantic.Type.Error
142 Language.Symantic.Type.Fun
143 Language.Symantic.Type.Int
144 Language.Symantic.Type.List
145 Language.Symantic.Type.Map
146 Language.Symantic.Type.Maybe
147 Language.Symantic.Type.Ordering
148 Language.Symantic.Type.Root
149 Language.Symantic.Type.Tuple
150 Language.Symantic.Type.Type0
151 Language.Symantic.Type.Type1
152 Language.Symantic.Type.Type2
153 Language.Symantic.Type.Unit
154 Language.Symantic.Type.Var
159 -- , monad-classes >= 0.3.1.1
163 Test-Suite symantic-test
164 type: exitcode-stdio-1.0
167 default-language: Haskell2010
168 ghc-options: -Wall -fno-warn-tabs
170 hs-source-dirs: Language/Symantic
186 Trans.Bool.Const.Test
191 ghc-options: -threaded -rtsopts -with-rtsopts=-N
193 cpp-options: -DDEVELOPMENT
196 cpp-options: -DPROFILING
197 ghc-options: -fprof-auto