Language.Symantics1

This is the Haskell version of symantics1.ml, for comparison ACG with a more expressive semantic lexicon that includes multi-prompt delimited continuations and the notion of evaluation. Types are considered as a mere approximation rather than the complete specification of grammatical composition.

• http://okmij.org/ftp/gengo/index.html#CAG

Documentation

data N

Abstract signature, which defines base types, constants and their types

data NP

data S

data SM

type family I lab btyp

An interpretation of the base type btyp in the signature labeled by lab

class Abstract c where

Methods

john :: c (I c NP)

bill :: c (I c NP)

man :: c (I c N)

woman :: c (I c N)

see :: c (I c NP) -> c (I c NP) -> c (I c S)

love :: c (I c NP) -> c (I c NP) -> c (I c S)

every :: c (I c N) -> c (I c NP)

some :: c (I c N) -> c (I c NP)

dot :: c (I c S) -> c (I c SM)

Instances

Abstract LString

Abstract (SemM r)

newtype LString a

Example from Sec 4.3 of the ESSLLI Advanced ACG course.

An interpretation of the abstract signature as the surface form: strings

Constructors

LString a

Instances

Abstract LString

Show a => Show (LString a)

ccat :: LString String -> LString String -> LString String

data E

Semantic forms

Constructors

Ind String

Instances

Show E

data T

Constructors

Man E

Woman E

See E E

Love E E

And T T

Imply T T

Exists Varname T

Forall Varname T

Instances

Show T

type Varname = String

data QuantOrder

The order of quantification

Constructors

Uni_over_Exi

Exi_over_Uni

data SemEnv r

Constructors

SemEnv

Fields

puni :: Prompt r T

pexi :: Prompt r T

quant_order :: QuantOrder

pcnt :: Prompt r (Int -> CC r T)

newtype SemM r a

The Semantic monad

Constructors

SemM (ReaderT (SemEnv r) (CC r) a)

Instances

Monad (SemM r)

Abstract (SemM r)

unSem :: SemM r a -> SemEnv r -> CC r a

runSem :: QuantOrder -> (forall r. SemM r T) -> T

app :: Monad m => m (a -> m b) -> m a -> m b

Movement into the position of the prompt selected by psel

Logical forms of sample terms in different semantic environment

Auxiliary functions

genvar :: SemM r Varname

Generate a new variable name

shiftP :: Prompt r b -> ((a -> CC r b) -> CC r b) -> CC r a