Administrace komentářů

Robím si vlastný programovancí jazyk kompilovateľný do JS. Lexer som si napísal sám za pomoci pattern matchingu a rekurzie. Parser za pomoci nástroja FsYacc

Je to primárne funkcionálny jazyk, takže sa snažím aby sa dalo všetko vyhodnotiť ako výraz. Jazyk zatiaľ obsahuje len jeden jediný príkaz a to je "let" inak je všetko výraz.

Mám už hotové vetvenie, curried funkcie, impicitné vracanie hodnoty, funckionálne operátory ako forward a backward pipe ale aj forward a backward composition, štruktúry, zoznamy, pattern matching.

No a teraz chcem do jazyka pridať opakovanie kódu. Ale keďže cyklus je príkaz chcem ho nahradiť čistejšie pomocou rekurzie (cykly v mojom jazyku asi nakoniec vôbec nebudú, nemajú tam zmysel), lenže ak chcem aby bola rekurzia použiteľná aj pre vačší počet iterácií musím vedieť na úrovni AST detekovať tail call a ten optimalizovať (na cyklus) (rovnako potom optimalizovať aj Call/CC). Ako na to?

Trošku sa toho bojím ale aspoň sa niečo nové naučím. Viete mi poslať nejaký článok prípadne hotový zdroják na githube pre inšpiráciu?

Viem že by som mohol vygenerovať JS kód pre babel a na to použiť nejaký plugin napr.: https://github.com/krzkaczor/babel-plugin-tailcall-optimization ale nechcem byť závislý na cudzích riešeniach - postavených na JS (chcem ten jazyk okrem JS neskôr targetovať aj na LLVM takže tail call optimalizácie musia byť priamo súčasťou môjho compilera).