| ▲ | choeger 3 hours ago |
| Dynamic typing is no typing. The point of types is to prove the absence of errors. Dynamic typing just has these errors well-structured and early, but they're still errors. |
|
| ▲ | Pay08 2 hours ago | parent [-] |
| Errors that you can recover from. I simply appreciate the added flexibility. Have you ever tried making a container of arbitrary types in C++? |
| |
| ▲ | lmm an hour ago | parent [-] | | If C++ was the only static type system I'd experienced, I would also think it was a bad idea. Have you ever used an ML-family language? | | |
| ▲ | Pay08 an hour ago | parent [-] | | Nope. Closest thing I have used was probably Haskell. | | |
| ▲ | lmm an hour ago | parent [-] | | Haskell ought to be good enough. Did you struggle with making your containers there? | | |
| ▲ | Pay08 an hour ago | parent [-] | | Interestingly enough, I have never needed them there. Granted, I have written a few orders of magnitude less Haskell than I have C++. Still, the difference is worth interrogating (when I'm less sleep deprived). |
|
|
|
|
