blob: 422e5346298ba6a2b865e06d8c0a165e8ebe4176 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
module Base (Expr (..)
, Env (..)
, LispNumber (..)
) where
import Data.IORef
data LispNumber = I Integer
| F Double
deriving (Eq, Ord)
instance Num LispNumber where
-- addition
(I a) + (I b) = I $ a + b
(F a) + (F b) = F $ a + b
(F a) + (I b) = F $ a + fromIntegral b
(I a) + (F b) = F b + I a
-- subtraction
(I a) - (I b) = I $ a - b
(F a) - (F b) = F $ a - b
(F a) - (I b) = F $ a - fromIntegral b
(I a) - (F b) = F b - I a
-- multiplication
(I a) * (I b) = I $ a * b
(F a) * (F b) = F $ a * b
(F a) * (I b) = F $ a * fromIntegral b
(I a) * (F b) = F b * I a
instance Fractional LispNumber where
(I a) / (I b) = F $ fromIntegral a / fromIntegral b
(F a) / (I b) = F $ a / fromIntegral b
(I a) / (F b) = recip $ F b / I a
(F a) / (F b) = F $ a / b
recip (F x) = F $ 1 / x
recip (I x) = F $ 1 / fromIntegral x
-- TODO: use LispNumber (src/Operators.hs) here instead of IntLiteral and FloatLiteral
-- TODO: add character literals: \#a \#b \#c \#space \#newline
-- TODO: add support for complex numbers, oct and hex numbers
data Expr = List [Expr]
| Vector [Expr]
| DottedList [Expr] Expr
| StringLiteral String
| Number LispNumber
| BoolLiteral Bool
| Id String
| Function { params :: [String]
, body :: Expr
, extendedEnv :: Env
}
deriving (Eq)
type Env = IORef [(String, IORef Expr)]
showLispList :: [Expr] -> String
showLispList = unwords . map show
instance Show Expr where
show (DottedList xs x) = "(" ++ showLispList xs ++ " . " ++ show x ++ ")"
show (List xs) = "(" ++ showLispList xs ++ ")"
show (Vector xs) = "#(" ++ showLispList xs ++ ")"
show (StringLiteral s) = "\"" ++ s ++ "\""
show (Number (I n)) = show n
show (Number (F n)) = show n
show (BoolLiteral True) = "#t"
show (BoolLiteral False) = "#f"
show (Id i) = i
|