Author Archives: Bill Wadge

About Bill Wadge

I am a retired Professor in Computer Science at UVic.

Stretchtext or Bust – Ted Nelson’s unrealized vision [1100 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 | 2 Comments

Topology and Computability[3400 views]

Readers of this blog are familiar with notions of computability – basically, the question is, what can machines do without human assistance? And you are familiar with machines. Electronic ones of course, but I always like to think of machines … Continue reading

Posted in Uncategorized | 1 Comment

PyLucid : Calculating Dimensionalities with Yaghi Code [850 views]

When Lucid first came out decades ago it was a very primitive language. It had only program variables and built-in operators and functions, like next or fby. Users could not define their own functions (or “subroutines” as they were often … Continue reading

Posted in Uncategorized | 1 Comment

Functional Programming for the Rest of Us – get PyFL Now! [6600 views]

It was developed in a secret lab and released, after which it spread rapidly. COVID? (maybe …). But I’m talking about the new PyFL interpreter. It’s finally available for the general public at pyflang.com To make things simple, in the form … Continue reading

Posted in Uncategorized | Leave a comment

Unbeatable? Tictactoe in PyFL [1100 views]

I wrote a program to play unbeatable tictactoe in my experimental functional language PYFL. (PYFL = Python based functional language; henceforth PyFL) Of course writing a tictactoe player is hardly a major challenge, but I wanted to see how it … Continue reading

Posted in Uncategorized | 1 Comment

Parametric Programming – an equational approach to OO and beyond [3500 views]

A very long time ago I had an interesting if flawed idea. The idea was to (optionally) replace instances of expression constructs with equations defining or referring to components of conventional compound structures. The special variables defined or used I … Continue reading

Posted in Uncategorized | 1 Comment

Functional while loops – no, really! [1500 views]

As I’ve explained I invented and implemented a small functional language (PYFL) to test out some ideas. In particular one idea is the (oxymoronic) functional while loop. A while loop? In a functional language? “Impossible!” you snort. Well you’re wrong. … Continue reading

Posted in Uncategorized | 1 Comment

PyFL Output: the magic of simple side effects [700 views]

As I’ve already explained I’ve invented and implemented an experimental functional language – PyFL (Python based Functional Language) – to try out some ideas. For example, PyFL has a full set of Variable Binding Operators (VBOs) that use a linear … Continue reading

Posted in Uncategorized | Leave a comment

Monads Schmonads: Functional Input without tears (PyFL) [1700 views]

As I already explained, I’ve invented and implemented a simple functional language (PYFL) with a few interesting twists. Including a promising but simple approach to input.

Posted in Uncategorized | 2 Comments