Timeline for What is a type system?
Current License: CC BY-SA 3.0
19 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 2, 2021 at 15:13 | comment | added | Corbin | They laughed because statically-typed language implementations also have boxed values in their VMs. The boxes indicate that types are missing or have been erased; your boxes showed a lack of a type system or type judgements. (This is not to say that they were not rude!) | |
| Oct 20, 2016 at 5:01 | history | tweeted | twitter.com/StackProgrammer/status/788968479705694208 | ||
| Oct 15, 2016 at 18:08 | comment | added | jpmc26 | I also suspect that the person posing the questions isn't nearly as knowledgeable as they want you to think. The questions the person asked ("What is your type system for?" and "And how is type assign to a value?") seem ill posed and unclear. At best, I would argue this person has poor communication skills. An expert in the field of type systems would already know the purpose of a type system, and I can't imagine the question of "assignment" being answered with anything but low level details. Also, if they had showed any humility, they would not have laughed or derided your implementation. | |
| Oct 15, 2016 at 17:35 | comment | added | jpmc26 | "Thus, even though I am almost certainly going to lose reputation for asking this question, I turn to Programmers." I'm not sure whether you meant rep here on Programmers or reputation among your colleagues, but either way, trying to fill a gap in your knowledge is what these sites exist for. You have a well thought out question requesting someone help you identify the information you're missing. That's nothing to be ashamed of. | |
| Oct 15, 2016 at 7:28 | comment | added | hyde | The laughing person is most likely a zealot for some particular language (family) with a strong type system (Haskell seems popular), and would ridicule anything less strong (and thus a toy) than that, or more strong (and thus impractical), or just different. Engaging in discussion with zealots is dangerous and futile. Laughing like that is just so rude that it indicates this kind of deeper issues. You're lucky they didn't start preaching... | |
| Oct 14, 2016 at 22:07 | comment | added | ruakh | You may be interested in stackoverflow.com/questions/9154388/…. | |
| Oct 14, 2016 at 21:56 | comment | added | gardenhead | The person took issue with your answer to "And how is type assigned to a value?". They wanted to hear about typing rules, not box-and-pointer diagrams. Laughing was absolutely rude, though. | |
| Oct 14, 2016 at 21:42 | answer | added | gardenhead | timeline score: 18 | |
| Oct 14, 2016 at 21:03 | comment | added | Doval | @8bittree I don't disagree, but using a typeless language is very rare, so dynamic typing is usually the baseline for comparison. | |
| Oct 14, 2016 at 20:46 | comment | added | 8bittree | @Doval Dynamic typing can guarantee you don't enter a nonsensical state by doing something like adding 5 to your cat. Sure, it won't prevent you from trying, but it can at least stop it from actually happening and give you a chance to figure out what went wrong and take corrective actions, things that a truly typeless language can't. | |
| Oct 14, 2016 at 20:01 | answer | added | Erik Eidt | timeline score: 23 | |
| Oct 14, 2016 at 18:59 | vote | accept | Mael | ||
| Oct 14, 2016 at 18:48 | comment | added | Newtopian | I'd be curious to hear what they had to say to defend/explain their reaction. | |
| Oct 14, 2016 at 18:44 | history | edited | Newtopian | CC BY-SA 3.0 |
Assumed typo here, either that or the "but" needs to change to "and"
|
| Oct 14, 2016 at 18:42 | comment | added | Mael | @Doval I agree that dynamic typing is not that interesting and the guarantees it gives are a bit weaker. I myself am a proponent of static typing. At the lowest level in the VM I have to be able to move values around without knowing their exact types and be able to store any value in VM registers, so I opted for dynamic typing with runtime checks for whatever I am not able verify statically. | |
| Oct 14, 2016 at 18:32 | review | Close votes | |||
| Oct 20, 2016 at 3:05 | |||||
| Oct 14, 2016 at 18:26 | answer | added | Telastyn | timeline score: 35 | |
| Oct 14, 2016 at 18:19 | comment | added | Doval | When people talk about type systems they're usually talking about static typing. Dynamic typing isn't very interesting to the kind of people that care about type systems because it guarantees almost nothing. E.g. What kind of value can variable x hold? Anything. | |
| Oct 14, 2016 at 18:12 | history | asked | Mael | CC BY-SA 3.0 |