blob: 43dd4a17c97299d59d8cc1af3e968ae6737bbbab (
plain) (
blame)
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
|
# MIT License, Copyright (c) 2024 Marvin Borner
# usage:
# write a file test.bruijn
# ```
# zero [[0]]
# inc [[[1 (2 1 0)]]]
# two inc (inc zero)
# four two two
# main four four
# ```
# run `cat test.bruijn | bruijn minibruijn.bruijn`
:import std/Char C
:import std/Combinator .
:import std/List .
:import std/Meta M
:import std/Monad/Parser .
:import std/Number/Conversion O
:import std/Map H
:import std/Result R
:import std/String S
# meta encoding uses Church numerals instead of binary!
char→number (\C.sub '0') → O.binary→unary
identifier some (satisfy C.alpha?)
spaces many (satisfy C.space?)
newlines some (satisfy (C.eq? '\n'))
parens between (char '(') (char ')')
number char→number <$> (satisfy C.numeric?)
# T := [T] # Abstraction
# | T..T # Application
# | (T) # Parenthesised
# | 0-9 # de Bruijn index
# identifiers ([a-z]*) just get looked up in the hashmap!
term [y [(foldl1 M.app) <$> (some (spaces *> singleton <* spaces))]]
singleton abs <|> idx <|> def <|> (parens 0)
abs M.abs <$> (between (char '[') (char ']') 0)
idx M.idx <$> number
def [S.#H.lookup 0 2 i i] <$> identifier
:test (term H.empty "()") (R.err (error-compose (error-unexpected "(") (error-unexpected ")")))
:test (term H.empty "[[0 1]]") (R.ok [0 `[[(0 1)]] empty])
:test (term (S.#H.insert "foo" `[[1]] H.empty) "[foo 0]") (R.ok [0 `[[[1]] 0] empty])
block [[[S.#H.insert 1 0 2]] <$> identifier <*> (term 0) <* newlines]
:test (block H.empty "main [0]\n") (R.ok [0 (S.#H.insert "main" `[0] H.empty) empty])
:test (block H.empty "main ()\n") (R.err (error-compose (error-unexpected "(") (error-unexpected ")")))
program y [[[(R.apply (block 1 0) [3 ^0 ~0])] <|> (eof *> (pure 0))]] H.empty
main M.eval <$> ([S.#H.lookup "main" 0 i i] <$> program) → [0 i i]
|
