Suminda Sirinath Salpitikorala Dharmasena

The above related to contemporary language: - Type name is significant to type checking - nominative typing - Fields are ordered - tuple - Fields are unordered - record -...

I have: - `type` for types definitions - `def` for value/variable definitions. `@` is used to denote of the name is significant hence used for type checking. Say we have...

In structural types one need some labeling to refer and reuse type definitions. Also for tuple elements it is a convenience to address them by a lable. I feel it...

Your blog has a lot of insightful posts.

A language currently with the best module system is OCaml. These is a lot this can be borrowed from it.

You can include the ones used in [The Computer Language Benchmarks Game](https://en.wikipedia.org/wiki/The_Computer_Language_Benchmarks_Game)

Thanks.

Thanks for clarifying.

Is it possible to perhaps extended the documentation to include guidelines on: - Authentication and security - Cross-platform native mobile, desktop and web apps - Localisation You can perhaps have...

Using separate frameworks means you cannot have one codebase. So I am trying to see if Bolero can use throughout through this is many targeted for the web. E.g. [Capacitor](https://capacitor.ionicframework.com/)...