The difference is that it’s much more general - the metalanguage is an actual lo... | Hacker News

Hacker Timesnew | past | comments | ask | show | jobs | submit

		ehatti on May 10, 2022 \| parent \| context \| favorite \| on: Show HN: Peridot – A functional language based on ... The difference is that it’s much more general - the metalanguage is an actual logic language, not limited to simple rewrites. You can (read: will be able to, haha) prove properties about meta-level program transformations. For those interested, I’m basing my system off of Twelf and Abella.

tluyben2 on May 10, 2022 [–]

Any inspiration taken from Shen?

ehatti on May 10, 2022 | [–]

I saw it a while back and thought the ideas were cool, but I didn’t check it out in enough detail to draw inspiration from it.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact