valhallac

Compiler for set-theoretic programming language.
git clone git://git.knutsen.co/valhallac
Log | Files | Refs | README | LICENSE

moduels.vh (735B)

 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
module Hello where:
	greet name = "Hello, :{name}!"

bye = module Bye where:
	greet name = "Bye, :{name}!"

Hello::greet "Sam"  --> "Hello, Sam!"
Bye::greet "Sam"  -- Error! No such module exists.

bye::greet "Sam"  --> "Bye, Sam!"
-- ^^ That works.

assert (bye <- Module) -- Type of `Module'.

import :IO
IO::puts "Hi."
io::puts "Hi." -- Error! `io' does not exist.
-- OR:
io = import :IO
io::puts "Hi."
IO::puts "Hi." -- Error! `IO' does not exist.

-- Syntax is general:
let:
	greet name = "Hi, :{name}!"
in module Hi

Hi::greet "Rostislav"  --> "Hi, Rostislav!"

--

member Hello :greet == Hello::greet
IO.memeber :greet == Hello::greet
-- (::) is syntactic sugar for this.
-- i.e.
member m e = m::(eval! e)
m::e = member m :(`e)