Language Features

[ENvironmentSet]

We need to discuss about Language Features so that we can start developing.

Here is language features that I have imagined.

I've grouped language features by where they live. i.e. Type-Level world, Term-Level world(where reactivity and any kinds of side effect doesn't exist, ruled by pure FP) and Reactive world(where ruled by FRP and it's primitive operations & datatypes).

• Type Declarations
  • ADTs
  • Type Synonyms
  • Type Classes
  • Type Annotations
• Term Declarations
  • Supercombinator
  • Expressions
• Reactive Statements
  • Reactivity Dependency Node Declarations
  • Cell Declarations
  • Stream Declarations
  • Reactivity Dependency Vertex Declarations
• Annex A: Support for Foreign UI Languages
• Annex B: Comments
• Annex C: Module
• Annex D: OverloadedLiterals & Labels

[Ailrun]

I think type classes are bit too much... It would take at least a month. Comments will take (literally) less than an hour if we decide the syntax.

What do you mean by Overloaded Literals and Labels?

[ENvironmentSet]

They're just as same as GHC's one. I had hoped literals to be polymorpic so that we can do much more declarative programming. But it seems not possible since their mechanical base, type classes can't be developed before deadline.

[ENvironmentSet]

Anyway, You've told me about an idea that implementing functions in reactive world with ReaXML and ReaCSS, could you provide me some examples?

By the way, I hope not to use ReaXML for declaring some computational-thing(i.e. non-presentational thing). Their syntax is not good for doing that(trust me, I've tried it for a year in 2017~2018). So let's try with ReaCSS first.

[ENvironmentSet]

ReaCSS Core

Syntax

• Selector
 // CSS's one
  • Syntax sugar for self-referencing // $, :this
• Expression
  • function apply // infix ` `
  • paren
  • selector
• Term Declarations // decl or label or def
  • Event
  • Behavior

  • Operation

  • Flow

• Record Declaration // [| |]
• Comment // C-style

Core Library

FRP-Prims (Primitive Operations for FRP) Text Library Number Library Boolean Library FP Library?

Semantic

• All the things in Syntax
• FRP System

ReaXML (Universal Declarative UI Language)

Basic Elements

• Elements for ReaCSS core