milesj / web-lang Goto Github PK

This specification is for a programming language designed for the web, specifically HTTP, that runs on both the frontend and backend. The language aims to be object oriented through classes, interfaces, and traits, strongly typed with static-type checking at compile time, memory safe coupled with immutable only data structures and types, and much more.

The following specifications are proof of concept, which mainly define the syntax and some functionality. It is not an actual usable programming language. Simply thoughts in my head.

• Basics
  • Identifiers
  • Keywords
  • Literals
  • Variables
    • Explicit Typing
    • Multiple Assignment
    • Block Assignment
    • Scoping
    • Destructuring
  • Constants
  • Expressions
• Types
  • Primitives
    • Boolean
    • Integers
    • Floating Points
    • Strings
  • Collections
    • Arrays
    • Tuples
    • Maps
    • Structs
    • Enums
  • Conversion
• Operators
  • Ternary
• Control Structures
  • if, elif, else
  • for
  • loop
  • match
  • try, catch, finally
• Exceptions
• Classes
  • Properties
  • Constants
  • Methods
  • Constructors
  • Destructors
  • Modifiers
  • Visibility
  • Inheritance
  • Overloading
  • Getters & Setters
• Interfaces
• Traits
• Generics
  • Covariance & Contravariance
• Packages
  • Importing
  • Package Managers
• Iterators
• Lambdas
• Asynchronous
• Threading
• Events