Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Idris: A Language for Type-Driven Development. Parent comment
That's the fun thing about it. But in some circles everybody knows this term. ;-) (You can see it as an "in joke", if you like).
> Python does allow storing types as values in variables.
Python does not have "types" in the CS sense (besides the one all mighty uni-type, of course).
All you can store in variables in Python are values. (Before arguing further please look up type theory first, so we can avoid going in circles).
There are no comments on this comment yet.
That's the fun thing about it. But in some circles everybody knows this term. ;-) (You can see it as an "in joke", if you like).
> Python does allow storing types as values in variables.
Python does not have "types" in the CS sense (besides the one all mighty uni-type, of course).
All you can store in variables in Python are values. (Before arguing further please look up type theory first, so we can avoid going in circles).