search

typedefs / pm

project management
GNU Affero General Public License v3.0
0 stars 0 forks source link

Upgrade upgraded parser #2

Open wires opened 6 years ago

wires commented 6 years ago

Following up from issue #1, instead of s-expressions, we might want to work with something more haskell like; but this needs to be worked out

bit : type
bit = 1 + 1

maybe : type -> type
maybe a = 1 + a

list : type -> type
list a = 1 + (a * list a)

you want to build more complicated records and then have to name the fields

transaction : type
transaction
   = hash : Hash
   * height : VarInt
   * transition : VarInt
   * ...