(Previous discussion continued)
|
||
Re: The mathematical name behind "unfold-right" in srfi-1
chansey97
(06 Jun 2020 09:12 UTC)
|
||
Re: The mathematical name behind "unfold-right" in srfi-1
Marc Nieper-Wißkirchen
(06 Jun 2020 11:38 UTC)
|
||
Re: The mathematical name behind "unfold-right" in srfi-1
John Cowan
(06 Jun 2020 19:07 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:52 UTC)
|
||
Email threading styles
Lassi Kortela
(06 Jun 2020 20:20 UTC)
|
||
Re: Email threading styles
Arthur A. Gleckler
(06 Jun 2020 20:25 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:41 UTC)
|
||
Re: Email threading styles
Arthur A. Gleckler
(06 Jun 2020 20:44 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:16 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:23 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:37 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:57 UTC)
|
||
Re: The mathematical name behind "unfold-right" in srfi-1
Marc Nieper-Wißkirchen
(06 Jun 2020 20:17 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."