Recover Professor Turner's more recent work
Description
In the Miranda Future Plans section of Professor Turner's video Open Sourcing Miranda he says:
I've already written [an] improved SK reducer and garbage collector
[taking advantage of 64-bit quantities internally]
but they're not quite ready for prime time yet so I haven't released them.
(see issue #13) and (see issue #14):
What I have got is a Miranda equivalent of yacc
that works seamlessly with the Miranda type checker
and what I haven't done and will do (I've done bits of)
is rewrite all of the Miranda compiler in Miranda which
will make it much smaller.
and, presumably, there is the troff source for the online
manual, which would make issue #17 easier.
Analysis
He mentions in the talk that he has created a github account
but doesn't undestand git yet. This may be DavidTurner79
who joined on 7 May 2022 and created one empty repository
but has no "activity" since then.
Conclusion
2025年04月06日 Wrote to his widow if it might be possible to check the disk of his computer.
# Recover Professor Turner's more recent work
## Description
In the `Miranda Future Plans` section of Professor Turner's video [Open Sourcing Miranda](https://codesync.global/media/open-sourcing-miranda-david-turner-code-mesh-v-2020-codemeshv2020) he says:
> I've already written [an] improved SK reducer and garbage collector
> [taking advantage of 64-bit quantities internally]
> but they're not quite ready for prime time yet so I haven't released them.
(see issue #13) and (see issue #14):
> What I have got is a Miranda equivalent of yacc
> that works seamlessly with the Miranda type checker
> and what I haven't done and will do (I've done bits of)
> is rewrite all of the Miranda compiler in Miranda which
> will make it much smaller.
and, presumably, there is the troff source for the online
manual, which would make issue #17 easier.
# Analysis
He mentions in the talk that he has created a github account
but doesn't undestand git yet. This may be [DavidTurner79](https://github.com/DavidTurner79)
who joined on 7 May 2022 and created one empty repository
but has no "activity" since then.
## Conclusion
2025年04月06日 Wrote to his widow if it might be possible to check the disk of his computer.