quartz-research-note/content/MetaOCaml.md

13 lines
270 B
Markdown
Raw Permalink Normal View History

---
2024-02-08 11:06:45 +00:00
date: "2023-08-28T02:22:00+0900"
---
#programming-language #software #tools
[[多段階計算]]を実用できる数少ない処理系。
マニュアル
<https://okmij.org/ftp/ML/MetaOCaml.html>
https://okmij.org/ftp/tagless-final/cookbook.html#simple-staging