Skip to content

Comment on Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms

Comments

Brilliant! Loving it as an idea.

Maybe what it needs is a testing framework - Σωκράτης (Socrates), that will demonstrate to you that everything you thought you knew about how your programme would behave (or the thought underpinning it) was at best problematic, or at worst just plain wrong!

Good idea... a Socratic testing framework :) Taking PRs from anyone but I'll tinker on it soon.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.