Skip to content

vrotaru/finallyTagless

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Finally Tagless for Java

A rewrite to Java of Oleg Kyseliov Ocaml code implementing Finally Tagless idea. If you do not know what it is, you, probably, do not need this.

Not exactly practically usefull, especially, since the encoding of data should be done at edit time, and I'm not aware of a practical way to build the required java methods at runtime. Yes, there is the possibility to use ASM to build the bytecode dynamically. Doesn't pass the practicabillity tests.

But, still fun.

About

Oleg "finally tagless" interpreters in Java

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages