This is a lie.Speakpigeon wrote: ↑Sun Mar 03, 2019 7:01 pm The essence of the Curry-Howard correspondance is "propositions as types" so that the Curry-Howard correspondence cannot possibly be relevant to languages like Python that do not have build-in types.
EB
1. https://docs.python.org/3/library/stdtypes.html
The following sections describe the standard types that are built into the interpreter.
The principal built-in types are numerics, sequences, mappings, classes, instances and exceptions.
Code: Select all
class Human():
pass
for x in [ Human(), 1, 1.0, '', (), {} ]:
# Look! A type() function!
print(type(x))
Code: Select all
<class '__main__.Human'>
<class 'int'>
<class 'float'>
<class 'str'>
<class 'tuple'>
<class 'dict'>