mirror of https://github.com/enso-org/enso.git synced 2024-11-25 21:25:20 +03:00

History

Marcin Kostrzewa 8668079337 Opt-in TCO (#1219 )		2020-10-15 16:52:26 +02:00
..
bindings.md	Add a markdown style guide (#1022 )	2020-07-21 13:59:40 +01:00
diagnostics.md	Add a markdown style guide (#1022 )	2020-07-21 13:59:40 +01:00
dispatch.md	Add a markdown style guide (#1022 )	2020-07-21 13:59:40 +01:00
errors.md	Add a markdown style guide (#1022 )	2020-07-21 13:59:40 +01:00
evaluation.md	Add a markdown style guide (#1022 )	2020-07-21 13:59:40 +01:00
managed-resources.md	Managed Resources Engine (#1194 )	2020-10-06 15:47:06 +02:00
modules.md	Implement part of the Enso lexer in rust (#1109 )	2020-08-27 13:27:22 +01:00
numbers.md	Decimal Numbers (#1146 )	2020-09-15 15:05:21 +02:00
README.md	Add a markdown style guide (#1022 )	2020-07-21 13:59:40 +01:00
scoping.md	Add a markdown style guide (#1022 )	2020-07-21 13:59:40 +01:00
tail-call-optimization.md	Opt-in TCO (#1219 )	2020-10-15 16:52:26 +02:00

README.md

layout

title

Enso's Semantics

Much like we have specifications for the syntax and the type system in Enso, we also need a specification of the language semantics. These documents specify the executable semantics of the Enso language.

The actionables for this section are:

As we make more semantic determinations about the language these should be written down here.

This specification is broken down into the following sections:

Bindings: The semantics of Enso's binding expressions.
Diagnostics: The semantics of Enso's executable compiler diagnostics.
Dispatch: The semantics of Enso's dispatch system.
Errors: The semantics of Enso's various error systems.
Evaluation: Enso's evaluation semantics, including those of suspended computations.
Modules: The semantics of Enso's modules.
Scoping: Enso's scoping and identifier resolution rules.