Suminda Sirinath Salpitikorala Dharmasena sirinath

| | Case ||| Description |

^^	Pali	English		^^
1	Paṭhamā	Nominative		Subject;
2	Dutiyā	Accusative	Objective	Direct object;
3	Tatiyā	Ablative of agent	Instrumental	Indicates the object or person with or by whom something is performed;
^^	Karaṇa	Ablative of instrument	^^	^^

Wishlist for Meta Programming and Language-Oriented Programming

Language features
- The core of the language should comprise of a transformation system and proof system which can provably covert, reduce or transform a given representation of binery or textual strings or graphs into other representations in the most efficient and effective way with minimal phases and rescans. This core system will be used for lexing, parsing, interpreting, JIT and AOT compiling. This will serve as the minimal core.
- Each phase will use the same DSL which would be a set of transformation rules and proofs to make the system simple and easy to learn.
- The DSL will be minimal but should be extensible by creating more complicated reusable libraries.
Lexing and parsing would apply a set of rules to a input string of binery or text data which will be converted into a graph which represent the AST. Optimisation would be applying another set of rules to rewrite the AST into a optimised representation. This will furthe

Keybase proof

I hereby claim:

I am sirinath on github.
I am sirinath (https://keybase.io/sirinath) on keybase.
I have a public key ASCMsE-YHCrF2S2iZuwegi6-w8-kFHEVKp1I1tdnDPsrKQo

To claim this, I am signing this object:

* Language for Data Centric Development and Systems Programming

[TOC]

Overview

* language is to write correct high-performance code in processing large volumes of static, changing and streaming data. Currently many programming languages are not well geared to manipulate large and changing data required by modern big data tasks. Many languages used to write Big Data and Database systems use language which were not really designed to build such systems.

A modern built language should be usable in:

mass manipulation of data which is

Operators
`&&` `\|\|` `!`
`\|=`

Here is a fast explanation on this study for Freek to improve compile-time:

https://github.com/ProjectSeptemberInc/freek/blob/optim/cop/src/main/scala/CoproductK.scala#L14-L34

In Freek, Higher-Kinded Coproduct was based on Shapeless HList/Coproduct representation like:

sealed trait CoproductK[A] extends Product with Serializable

sealed trait CNilK[A] extends CoproductK[A]

	//https://stackoverflow.com/questions/65139541

	import java.lang.invoke.MethodHandle;
	import java.lang.invoke.MethodHandles;
	import java.lang.invoke.MethodType;
	import java.lang.invoke.StringConcatException;
	import java.lang.invoke.StringConcatFactory;
	import java.time.LocalTime;
	import java.time.temporal.ChronoField;
	import java.util.spi.ToolProvider;

	@echo off

	setlocal EnableDelayedExpansion EnableExtensions

	if not defined JABBA_HOME set JABBA_HOME=%USERPROFILE%\.jabba
	set JABBA_JDK=%JABBA_HOME%\jdk
	set JABBA=%JABBA_HOME%\bin\jabba.exe
	set "JABBA_PARAM=--arch amd64 --latest minor --os windows"

	set USER_JDKS=%USERPROFILE%\.jdks