Nock (Urbit virtual machine)

GPTKB entity

Statements (26)
Predicate Object
gptkbp:instanceOf gptkb:Java_Virtual_Machine
combinator language
gptkbp:designedBy gptkb:Curtis_Yarvin
gptkbp:documentation https://urbit.org/docs/nock/definition/
gptkbp:hasFeature purely functional
Turing complete
no variables
minimal instruction set
no named functions
operates on binary trees
gptkbp:hasInstruction 0 (slot)
1 (constant)
2 (cell)
3 (evaluate)
4 (test)
5 (hint)
https://www.w3.org/2000/01/rdf-schema#label Nock (Urbit virtual machine)
gptkbp:implementedIn gptkb:Hoon
gptkbp:influencedBy gptkb:lambda_calculus
combinatory logic
gptkbp:instructionSet 6 instructions
gptkbp:purpose serve as the low-level computation model for Urbit
gptkbp:specifies Urbit whitepaper
gptkbp:usedBy gptkb:Urbit
gptkbp:bfsParent gptkb:Curtis_Yarvin
gptkbp:bfsLayer 7