Monthly Archives: February 2022

Stretchtext or Bust – Ted Nelson’s unrealized vision [1000 views]

Two cheers for the World Wide Web — Ted Nelson Ted Nelson invented hypertext but not the web. He thinks it hasn’t fulfilled its real potential, and I agree. One of his good ideas that the web doesn’t really support … Continue reading

Posted in Uncategorized | 2 Comments

Type Checking as Calculation [700 views]

As I’ve said before, PyFL is functional programming for the rest of us. (It’s available at pyflang.com.) PyFL now has type checking – without type declarations. Instead the type is produced by evaluating the program over the domain of types.

Posted in Uncategorized | Leave a comment