User loginNavigation |
archivesBottom TypesI was having a discussion about typing with shelby3 regarding typing in our scripting language, and shelby3 made the following statement:
I am reasonably sure, as I can have an eager language, which is call-by-value, and have strict typing, no sybtyping and no variance, and it will be sound. Why do we both see this so differently? |
Browse archivesActive forum topics |
Recent comments
6 days 21 hours ago
1 week 53 min ago
1 week 59 min ago
23 weeks 1 day ago
27 weeks 3 days ago
29 weeks 8 hours ago
29 weeks 8 hours ago
31 weeks 5 days ago
36 weeks 2 days ago
36 weeks 2 days ago