Timeline for Converting Dynamic Typing To Static Programatically
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 19, 2022 at 0:01 | comment | added | Eric Lippert | @Steve: That is very kind of you to say but I am far from that! I'm just a guy who likes programming languages. :) I am looking forward to doing more writing. | |
| Dec 18, 2022 at 12:28 | comment | added | Steve | @EricLippert, glad to see your return. Your appearance prompted me to check your blog which had been on long hiatus. Now Facebook is over, you can return to what's important: being one of the foremost public intellectuals in computer science! | |
| Dec 16, 2022 at 17:09 | comment | added | Eric Lippert | A colleague of mine on the Hack language team refers to this problem as "crossing the uncanny valley of typing". On the left side of the valley there is no type discipline and programmers doing whatever they please. On the right side there is full, reliable static typing where you have clearly expressed guarantees of whatever type safety promise the compiler makes. In the middle you have the valley of adding the costs of typing without the benefits of safety. Getting a language across that valley is a tricky problem in design! | |
| Dec 15, 2022 at 13:26 | comment | added | Hans-Martin Mosner | Yes, I must admit I answered a bit quickly without really reading in depth - my fault :-( You already mentioned the case where due to the number of operations on an input object, you get a huge number of constraints. As long as you can find a concrete type that satisfies these constraints, all is well - unless by more detailed analysis you find that there exist more concrete types that each fulfill only some of the constraints, and which of these is used where depends on some information that isn't available statically. The type theory folks might indeed have some deeper insights here. | |
| Dec 15, 2022 at 12:30 | comment | added | SeriousBusiness100 | "Sounds like the halting problem" is part of my question, but also relevant subtler details I mentioned. I'm trying to understand the possible extent of coverage, in perhaps a generous hypothetical. Moreso than practicality or usefulness, as this is a theoretical question. There's a lot to say about mis/conceptions, but also there's interesting possibilities along with new research to consider for, not only safety. I received interesting comments from a type theory forum, I'll update this soon. For completion could you elaborate on those corner cases? | |
| Dec 15, 2022 at 8:31 | history | answered | Hans-Martin Mosner | CC BY-SA 4.0 |