Kevin's Programming Language (KPL) Specification

Language Goals

Implicit Error Handling

  • All operations return a Result that can be manually or automatically checked

Asynchronous First

  • No functions, only coroutines

All Code Is Thread Safe

  • Values are atomic and all containers have a mutex like mechanism that is implicitly locked before use

Strongly Typed

  • Dynamic types are represented by Any, these types have to be matched to a type before they can be used

Single Invocation

  • Just In Time Compilation

Asymmetric C Interoperability

KPL code can call C code, C code can call certain KPL code

Run On Linux/WSL With io_uring For X86-64 And Aarch64 Only with Minimal Dependencies

  • GCC, Make and OpenSSL; should compile on most distributions without any extra steps

Low Resource Usage

  • Should work on servers with 1 Core and 1 Gigabyte of RAM