Re: The mathematical name behind "unfold-right" in srfi-1 Marc Nieper-Wißkirchen (06 Jun 2020 11:39 UTC)
Re: The mathematical name behind "unfold-right" in srfi-1 Marc Nieper-Wißkirchen (06 Jun 2020 19:23 UTC)
Total functional programming Lassi Kortela (06 Jun 2020 19:37 UTC)
Re: The mathematical name behind "unfold-right" in srfi-1 Marc Nieper-Wißkirchen (06 Jun 2020 19:37 UTC)
Re: The mathematical name behind "unfold-right" in srfi-1 Marc Nieper-Wißkirchen (06 Jun 2020 19:53 UTC)
Email threading styles Lassi Kortela (06 Jun 2020 20:20 UTC)
Re: Email threading styles Arthur A. Gleckler (06 Jun 2020 20:26 UTC)
Re: Email threading styles Lassi Kortela (06 Jun 2020 20:33 UTC)
Re: Email threading styles Marc Nieper-Wißkirchen (06 Jun 2020 20:42 UTC)
Re: Email threading styles Arthur A. Gleckler (06 Jun 2020 20:45 UTC)
Rescuing SRFI GitHub issues and PRs Lassi Kortela (06 Jun 2020 20:50 UTC)
Re: Rescuing SRFI GitHub issues and PRs John Cowan (06 Jun 2020 20:55 UTC)
Re: Rescuing SRFI GitHub issues and PRs Arthur A. Gleckler (06 Jun 2020 21:14 UTC)
Re: Rescuing SRFI GitHub issues and PRs John Cowan (06 Jun 2020 21:17 UTC)
Re: Rescuing SRFI GitHub issues and PRs Arthur A. Gleckler (06 Jun 2020 21:39 UTC)
Re: Rescuing SRFI GitHub issues and PRs Arthur A. Gleckler (06 Jun 2020 21:02 UTC)
Re: Rescuing SRFI GitHub issues and PRs Lassi Kortela (06 Jun 2020 21:06 UTC)
Re: Rescuing SRFI GitHub issues and PRs Göran Weinholt (07 Jun 2020 10:25 UTC)
Re: Rescuing SRFI GitHub issues and PRs Arthur A. Gleckler (07 Jun 2020 15:33 UTC)
Re: Email threading styles Lassi Kortela (06 Jun 2020 21:17 UTC)
Re: Email threading styles Arthur A. Gleckler (06 Jun 2020 21:37 UTC)
Re: Email threading styles Marc Nieper-Wißkirchen (06 Jun 2020 20:28 UTC)
Re: Email threading styles Lassi Kortela (06 Jun 2020 20:38 UTC)
Re: Email threading styles Marc Nieper-Wißkirchen (06 Jun 2020 20:48 UTC)
Re: Email threading styles Lassi Kortela (06 Jun 2020 20:56 UTC)
Re: Email threading styles Arthur A. Gleckler (06 Jun 2020 20:58 UTC)
Re: The mathematical name behind "unfold-right" in srfi-1 Marc Nieper-Wißkirchen (06 Jun 2020 20:18 UTC)

Total functional programming Lassi Kortela 06 Jun 2020 19:37 UTC

>> total functional programming [...] The language is not Turing-complete, but an amazing number of algorithms are available nonetheless.

The Dhall language is total.

https://dhall-lang.org

https://docs.dhall-lang.org/discussions/Safety-guarantees.html#turing-completeness

Of particular interest to Schemers:

"For example, Dhall does not provide language support for recursion. If
you try to define a recursive expression or function you will get a type
error. Lists are the only recursive data structure and the only way to
build or consume lists is through safe primitives guaranteed to
terminate, like List/fold."