Interview postponed / let's just talk about #types and #typing today's show on @dougmerritt and @vnikolov 's suggestion below.
(I'll speak a little bit to #Sandewall 's #SoftwareIndividuals #knowledgerepresentation
If anyone knows anything about #typetheory, that would be great.
https://anggtwu.net/math-b.html
https://www.hanselman.com/blog/stringly-typed-vs-strongly-typed
https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html
type links welcome
and #lisp
@shizamura possibly you can explain types of OWL to us instead of sleeping?