Turner, Bird, Eratosthenes: An eternal burning thread

Turner, Bird, Eratosthenes: An eternal burning thread cambridge.org/core/journa...

jonstewart · a year ago

My programming languages course in college had a section on Miranda. That’s 25 years ago and I’ve forgotten almost all of it, and I am not a Haskell programmer. But those few weeks proved essential for me and has benefitted my C++ tremendously.

taolson · a year ago

I've written a new (self-hosting) compiler for Miranda, with additional features from Haskell and other functional languages:

https://github.com/taolson/Miranda2

and have updated the examples with David Turner's original "sieve" implementation.

082349872349872 · a year ago

any chance of expanding on doc/Language.md?

felixyz · a year ago

Lovely!

082349872349872 · a year ago

> Turner said that he was “interested in finding something simpler” than full dependent types.

What are some current options for avoiding full dependent types?

gsf_emergency_2 · a year ago

Lagniappe:

https://youtu.be/KBzlkPS7ZUw

https://arxiv.org/abs/1909.04628

>replace any theory which does not explain symmetrical observational situations as the manifestation of deeper symmetries

082349872349872 · a year ago

now I'd like to see Cambrian knot-fish!

is there a slogan for how Spekkens' metaphysics (epistemology?) differs from "working up to isomorphism"?

(we prefer theories which result from applying condensation to situations in order to form DAGs? minimise strongly connected components?)

nozzlegear · a year ago

I love the name of this paper. It's a play on Gödel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter.

https://en.m.wikipedia.org/wiki/Gödel,_Escher,_Bach

dtjohnnymonkey · a year ago

Came here to see if I was just imagining things. Thanks for confirming!

memorydial · a year ago

Glad I wasn’t the only one who saw the reference! Now I just need a version that ties in M.C. Escher’s impossible staircases with infinite loops.

Deleted Comment

Dead Comment

fanf2 · a year ago

The author and editor should be ashamed for leaving out O’Neill from the title.

Deleted Comment

Dead Comment