|
From: | Martin |
Subject: | Re: A Critique of Shepherd Design |
Date: | Mon, 22 Mar 2021 17:50:09 +0000 |
Ironically nowadays almost everything is Turing complete: https://www.gwern.net/Turing-completeOn Fri, 19 Mar 2021 17:33:57 +0000 raid5atemyhomework <raid5atemyhomework@protonmail.com> wrote:The Shepherd language for describing actions on Shepherd daemons is a Turing-complete Guile language. Turing completeness runs afoul of the Principle of Least Power.Erlang is turing complete and yet it is famously excellent at managing services in a robust way.
Lack of Turing-completeness by design can be a real feature, i.e. bitcoin script is a perfect practical example of it.
[Prev in Thread] | Current Thread | [Next in Thread] |