From bba62a478ee8665e3afa7a58a380d35f0852683c Mon Sep 17 00:00:00 2001 From: Dr Maxim Orlovsky Date: Mon, 16 Sep 2024 16:40:34 +0200 Subject: [PATCH] small proofs --- content/design.md | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/content/design.md b/content/design.md index 8c8fe25..0bc32ec 100644 --- a/content/design.md +++ b/content/design.md @@ -17,9 +17,9 @@ prove maximum amount of resources it takes to execute. ## Language features Cation is made for practical tasks: we attempt to make it easy-to-read and write, avoiding as much of boilerplate code -as possible. There are just five built-in keywords; monadic programming effortless: one does not need to declare set of -possible error types ahead. Cation has indentation-based syntax, which makes it much more visually readable and sets it -aside from curly-braced languages like C/C++, Rust, Scala... and makes it similar to Idris, Haskell, Python. +as possible. There are just five built-in keywords; monadic programming is effortless: one does not need to declare set +of possible error types ahead. Cation has indentation-based syntax, which makes it much more visually readable and sets +it aside from curly-braced languages like C/C++, Rust, Scala... and makes it similar to Idris, Haskell, Python. It has the following distinguishing features, which taken together set it aside from other existing languages: @@ -224,7 +224,9 @@ sample =? north – if sample == north #### Composition operators -Operators `( )`, `[ ]` and `{ }` are called composition operators and simplify composition operations. +Operators `( )`, `[ ]` and `{ }` are called composition operators; they are used to create types via categorical +composition of existing types, i.e. act as natural transformations defining new functors (as type constructors) from +existing ones.