I started working on a new programming language

In the last month i was thinking about a new meta-paradigm upon programming. A meta-paradigm that enforces semantical connection between every computational entity. Everything is an abstraction of something. The "Abstractive Programming Meta paradigm.

Why it's a meta-paradigm?

It's because it's not changing how define data or, manipulate data. It changes "What is that part of code means". It does not change how do you write your code, it can be functional, imperetive or even logical. It changes how data related with each other.

I'm still working on how do you define it but i guess i wouldn't be able to publish my idea as a scientific paper it's because it's just bundling the things that already have been in sector. But i'll implement this theory upon a programming language, the HAPL(T) which stands for

Holy Abstractive Programming Language (Transductive).

Here's an example

abstraction "MIN_CEL" of static const Float = -273.15
abstraction "MIN_FAH" of static const Float = -459.67

# Containt abstraction definitions
abstraction Celsius of Float 
    ensures @ >= MIN_CEL
abstraction Fahrenheit of Float
	ensures lambda f: f >= MIN_FAH

# Function binding
bind (Celsius -> String) of lambda c: (c |> sprintf <| "%.2f°C")

# Bidirectional binding
bind (Celsius <-> Fahrenheit) of
    -> = lambda c: (c * 9/5 + 32)
    <- = lambda f: (f - 32) * 5/9

# Usage
125.0 |>> Fahrenheit |>> Celcius |>> String |> printf <| "Temperature is %s\n"