Kernel-E

From Erights

(Difference between revisions)
Jump to: navigation, search
m (Reverted edits by Markm (Talk); changed back to last version by Kevin Reid)
(upload objects-in-kernel notes)
 
(3 intermediate revisions not shown)
Line 1: Line 1:
 +
Kernel-E is the subset of the E language which is understood by evaluators. Full E is converted to Kernel-E by ''expansion''.
 +
 +
{{XXX|needs more info}}
 +
== Node classes ==
== Node classes ==
Line 42: Line 46:
* [[MatchBindExpr]] — now nonkernel in terms of [[DefineExpr]]
* [[MatchBindExpr]] — now nonkernel in terms of [[DefineExpr]]
* [[SuchThatPattern]] — now nonkernel in terms of [[ViaPattern]]
* [[SuchThatPattern]] — now nonkernel in terms of [[ViaPattern]]
 +
 +
== Objects implied by Kernel-E semantics ==
 +
 +
Kernel-E semantics involves the following specific object types:
 +
 +
* A method matcher's pattern is matched against a {{sub|[[Tuple]]|[[String]], [[ConstList]]}}.
 +
* [[IfExpr]] coerces to [[Boolean]].
 +
* [[ListPattern]] coerces to [[ConstList]].
 +
* {{XXX|Details of miranda methods}}.
 +
* {{XXX|Are there any ''kernel'' expressions that return null?}}.
 +
 +
{{XXX|This list may not be complete. The original work here was done in 2006. —[[User:Kevin Reid|Kevin Reid]] 13:01, 13 May 2011 (CDT)}}
 +
 +
[[Category: E language specification]]
[[Category: E language specification]]

Latest revision as of 18:01, 13 May 2011

Kernel-E is the subset of the E language which is understood by evaluators. Full E is converted to Kernel-E by expansion.

XXX needs more info

Node classes

The following node types may occur in a Kernel-E program. The hierarchy indicates subtype relationships.

Formerly kernel nodes

These node types were once part of Kernel-E but have been removed or made non-kernel.

Objects implied by Kernel-E semantics

Kernel-E semantics involves the following specific object types:

XXX This list may not be complete. The original work here was done in 2006. —Kevin Reid 13:01, 13 May 2011 (CDT)

Personal tools
more tools