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