Skip to content

gonzazoid/tau

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 

τ-lang

Минимальный язык построения моделей (функций, чисел, whatever).

По сути - λ-calculus в ML синтаксисе с парой штрихов. Штрихи важные, распишу позже. В примерах - моделирование чисел, фильтрация списка, сортировка.

В комплекте:

  • first-class functions
  • partial function application (пока только на функциях-композициях, для функций-отображений нужен structural induction)
  • управление вычислением ( eager/lazy evaluation) но пока без конвейера, то есть значение можно вычислить не сразу а когда потребуется но когда потребуется - вычислено будет все значение а не какая то часть. На данный момент прикручиваю structural induction и proof-checker. После этого в планах - certified compiler в Z80.

когда нибудь это будет красиво оформлено и выложено в бложике

play around

npm install
npm run example

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published