Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Can you explain more in-depth what you mean? I'm also unaware of how you could have declarative rulesets in a non turing-complete language.

Sounds like it would be impossible but maybe my thinking is just enclosed and not free.



Haven’t used it much but Dhall is a non Turing complete configuration language: https://dhall-lang.org/




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: