Kernel-E - Revision history

Kevin Reid: upload objects-in-kernel notes

2011-05-13T18:01:26Z

upload objects-in-kernel notes

New page

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.

* [[ENode]] (abstract)
** [[EExpr]] (abstract) — evaluate to a value
*** [[AssignExpr]] — assignment
*** [[BindingExpr]] (given [[guard-based auditing]]) — extract binding of a noun
*** [[CallExpr]]
*** [[CatchExpr]]
*** [[DefineExpr]] — match a pattern against a value
*** [[EscapeExpr]] — nonlocal exits
*** [[FinallyExpr]] — cleanup block
*** [[HideExpr]]
*** [[IfExpr]]
*** [[LiteralExpr]]
*** [[MetaContextExpr]]
*** [[MetaStateExpr]]
*** [[NounExpr]]
*** [[ObjectExpr]] — create an object
*** [[SeqExpr]] — evaluate in order, return last value
*** [[UnspecifiedExpr]] — placeholder for [[signature]] redactions
** [[Pattern]] (abstract) — match a value and succeed or fail
*** [[NounPattern]] — patterns which bind one noun
**** [[BindingPattern]] (given [[guard-based auditing]]) — bind to a given binding object
**** [[FinalPattern]] — bind to a [[FinalSlot]] with a given value
**** [[VarPattern]] — bind to a [[VarSlot]] or [[GuardedSlot]] with a given value
*** [[IgnorePattern]] — discard value, possibly testing with a [[guard]] first
*** [[ListPattern]] — match each part of a tuple
*** [[ViaPattern]] — transform the specimen
** [[EScriptoid]] (abstract) (proposed) — defines the behavior of an [[ObjectExpr]]
*** [[EMatcher]] — various uses
*** [[EScript]] — object behavior as a set of [[EMethod]]
** [[EMethod]]
** [[AuditorExprs]] (proposed) — see [[ObjectExpr]]

== Formerly kernel nodes ==

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

* [[SlotExpr]], [[SlotPattern]] — now nonkernel in terms of [[BindingExpr]] and [[BindingPattern]]
* [[MatchBindExpr]] — now nonkernel in terms of [[DefineExpr]]
* [[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]]

Markm: Reverted edits by Markm (Talk); changed back to last version by Kevin Reid

2009-01-04T03:41:17Z

Reverted edits by Markm (Talk); changed back to last version by Kevin Reid

←Older revision		Revision as of 03:41, 4 January 2009
Line 5:		Line 5:
	* [[ENode]] (abstract)		* [[ENode]] (abstract)
	** [[EExpr]] (abstract) — evaluate to a value		** [[EExpr]] (abstract) — evaluate to a value
-	*** [[AssignExpr~~]]: [[NounExpr]] := [[Expr~~]] — assignment	+	*** [[AssignExpr]] — assignment
-	*** [[BindingExpr]]~~: && [[NounExpr]] — extract binding of a noun~~ (given [[guard-based auditing]])	+	*** [[BindingExpr]] (given [[guard-based auditing]]) — extract binding of a noun
-	*** [[CallExpr]]~~: [[EExpr]].''string''([[EExpr]]*)~~	+	*** [[CallExpr]]
-	*** [[CatchExpr]]~~: try { [[EExpr]] } catch [[Pattern]] { [[EExpr]] }~~	+	*** [[CatchExpr]]
-	*** [[DefineExpr~~]]: def [[Pattern]] ''(''exit [[EExpr]]'')?'' := [[Expr~~]] — match a pattern against a value	+	*** [[DefineExpr]] — match a pattern against a value
	*** [[EscapeExpr]] — nonlocal exits		*** [[EscapeExpr]] — nonlocal exits
	*** [[FinallyExpr]] — cleanup block		*** [[FinallyExpr]] — cleanup block

Markm: /* Node classes */

2009-01-04T03:33:13Z

Node classes

←Older revision		Revision as of 03:33, 4 January 2009
Line 5:		Line 5:
	* [[ENode]] (abstract)		* [[ENode]] (abstract)
	** [[EExpr]] (abstract) — evaluate to a value		** [[EExpr]] (abstract) — evaluate to a value
-	*** [[AssignExpr]] — assignment	+	*** [[AssignExpr]]: [[NounExpr]] := [[Expr]] — assignment
-	*** [[BindingExpr]] (given [[guard-based auditing]]) ~~— extract binding of a noun~~	+	*** [[BindingExpr]]: && [[NounExpr]] — extract binding of a noun (given [[guard-based auditing]])
-	*** [[CallExpr]]	+	*** [[CallExpr]]: [[EExpr]].''string''([[EExpr]]*)
-	*** [[CatchExpr]]	+	*** [[CatchExpr]]: try { [[EExpr]] } catch [[Pattern]] { [[EExpr]] }
-	*** [[DefineExpr]] — match a pattern against a value	+	*** [[DefineExpr]]: def [[Pattern]] ''(''exit [[EExpr]]'')?'' := [[Expr]] — match a pattern against a value
	*** [[EscapeExpr]] — nonlocal exits		*** [[EscapeExpr]] — nonlocal exits
	*** [[FinallyExpr]] — cleanup block		*** [[FinallyExpr]] — cleanup block

Kevin Reid: drop EMethodoid, add notes on former nodes

2009-01-04T03:18:04Z

drop EMethodoid, add notes on former nodes

←Older revision		Revision as of 03:18, 4 January 2009
Line 31:		Line 31:
	** [[EScriptoid]] (abstract) (proposed) — defines the behavior of an [[ObjectExpr]]		** [[EScriptoid]] (abstract) (proposed) — defines the behavior of an [[ObjectExpr]]
	*** [[EMatcher]] — various uses		*** [[EMatcher]] — various uses
-	*** [[EScript]] — object behavior as a set of ~~methods~~	+	*** [[EScript]] — object behavior as a set of [[EMethod]]
-	** [[EMethodoid]] (abstract) (proposed) — members of an [[~~EScript~~]]	+	** [[EMethod]]
-	*** [[EMethod]]	+
	** [[AuditorExprs]] (proposed) — see [[ObjectExpr]]		** [[AuditorExprs]] (proposed) — see [[ObjectExpr]]

		+	== Formerly kernel nodes ==
		+
		+	These node types were once part of Kernel-E but have been removed or made non-kernel.
		+
		+	* [[SlotExpr]], [[SlotPattern]] — now nonkernel in terms of [[BindingExpr]] and [[BindingPattern]]
		+	* [[MatchBindExpr]] — now nonkernel in terms of [[DefineExpr]]
		+	* [[SuchThatPattern]] — now nonkernel in terms of [[ViaPattern]]

	[[Category: E language specification]]		[[Category: E language specification]]

Kevin Reid: beginning of kernel-e spec -- node type list

2009-01-04T03:12:12Z

beginning of kernel-e spec -- node type list

←Older revision		Revision as of 03:12, 4 January 2009
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 35:		Line 31:
	** [[EScriptoid]] (abstract) (proposed) — defines the behavior of an [[ObjectExpr]]		** [[EScriptoid]] (abstract) (proposed) — defines the behavior of an [[ObjectExpr]]
	*** [[EMatcher]] — various uses		*** [[EMatcher]] — various uses
-	*** [[EScript]] — object behavior as a set of [[~~EMethod~~]]	+	*** [[EScript]] — object behavior as a set of methods
-	** [[EMethod]]	+	** [[EMethodoid]] (abstract) (proposed) — members of an [[EScript]]
		+	*** [[EMethod]]
	** [[AuditorExprs]] (proposed) — see [[ObjectExpr]]		** [[AuditorExprs]] (proposed) — see [[ObjectExpr]]
-
-	~~== Formerly kernel nodes ==~~
-
-	~~These node types were once part of Kernel-E but have been removed or made non-kernel.~~
-
-	* [[SlotExpr]], [[SlotPattern]] — now nonkernel in terms of [[BindingExpr]] and [[BindingPattern]]
-	* [[MatchBindExpr]] — now nonkernel in terms of [[DefineExpr]]
-	* [[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]]