yhm-amber / pure.fp

🧫 Study fp at where even it is not exist yet . 🧬

pure project 🧫

🧫 Study fp at where even it is not exist yet . 🧬

This is a theoretical verification in Functional Programming studies.

Things I will build should just base on the first classed function feature. If there should be some static classes annotation, only use type aliases. An annotation of types should just show the structure of a data.

Something specific:

• In TS/JS, I would use one more thing: object, similar with records in OCaml.

Thanks for

• CS3110 from Cornell University
• ISMISM courses by Liu Si Mo also called Wei Ming Zi
• Lacanian Psychoanalysis theory from the Lacanianists
• Dialectic or Logic method from Georg Wilhelm Friedrich Hegel, Karl Marx and the Leninists
• Lambda Calculate from Alonzo Church and Currying theory
• Rain World game which give me some idea for the names

Implementations

• TypeScript
• Rust
• Java
• ...