User loginNavigation |
Why is Static Typing Hard?I’m working on a statically typed language and finding it slow going. In the history of dynamically vs. statically typed languages, it seems there is a trend: dynamic languages are implemented in a weekend, and refined iteratively for 10–20 years thereafter—static languages are defined and implemented over the course of 10–20 years, after which they’re basically complete. The disparity is astonishing! Why do expressive static languages seem so much more difficult to implement? I contend that the field of type theory is not mature enough to answer the questions that dynamically typed languages ask. By Jon Purdy at 2013-11-06 08:52 | LtU Forum | previous forum topic | next forum topic | other blogs | 10933 reads
|
Browse archivesActive forum topics |
Recent comments
2 hours 56 min ago
4 hours 43 min ago
5 hours 50 min ago
7 hours 58 min ago
12 hours 9 min ago
1 day 42 min ago
1 day 45 min ago
1 day 1 hour ago
1 day 8 hours ago
1 day 8 hours ago