enso/docs/syntax
2023-09-14 14:09:41 +02:00
..
assignment.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00
comments.md Add GROUP to functions (#7622) 2023-08-23 13:20:38 +00:00
encoding.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00
function-arguments.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00
functions.md Remove UFCS (#1398) 2021-01-14 21:53:04 +01:00
imports.md Properly expose stacktraces and related data to user code (#3271) 2022-02-16 10:36:19 +03:00
layout.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00
literals.md Complete the implementation of the Enso lexer (#1177) 2020-10-30 14:06:24 +00:00
macros.md Complete the implementation of the Enso lexer (#1177) 2020-10-30 14:06:24 +00:00
naming.md Update 'naming' docs (#3858) 2022-11-24 12:55:42 +00:00
projections.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00
README.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00
top-level.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00
types.md Runtime checking of ascribed expression types (#7796) 2023-09-14 14:09:41 +02:00

layout title category tags order
section-summary Enso's Syntax syntax
syntax
readme
0

Enso's Syntax

When working with a programming language, the syntax is the first thing that a user encounters. This makes it utterly integral to how users experience the language, and, in the case of Enso, the tool as a whole.

Enso is a truly novel programming language in that it doesn't have one syntax, but instead has two. These syntaxes are dual: visual and textual. Both are first-class, and are truly equivalent ways to represent and manipulate the program. To that end, the design of the language's syntax requires careful consideration, and this document attempts to explain both the what, of Enso's syntax, but also the why.

Furthermore, Enso is novel in the fact that it does not enforce any artificial restriction between the syntaxes of its type and value levels: they are one and the same. This enables a staggering level of uniformity when programming in the language, allowing arbitrary computations on types, because in a dependently-typed world, they are just values.

The various components of Enso's syntax are described below: