Re:λ Calculus [pdf]
by fanf2 on Friday August 18, 2023 @02:06AM
(#37171847)
Dynamically typed programming languages are statically untyped.
You might argue they are unityped, but that’s really a type theoretician’s job security: if a language has the untyped lambda calculus as a subset (like the python example in this discussion) it’s reasonable to call it untyped.
You might argue they are unityped, but that’s really a type theoretician’s job security: if a language has the untyped lambda calculus as a subset (like the python example in this discussion) it’s reasonable to call it untyped.