Conversation

Notices

1. Vee Satayamas (vsatayamas@quitter.se)'s status on Saturday, 12-Dec-2015 09:20:28 UTC Vee Satayamas
   C is static typing language; but when void* is used e.g. in qsort, checking done by a compiler is limited.
   • Claes Wallin (韋嘉誠) repeated this.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Monday, 21-Dec-2015 16:58:49 UTC Claes Wallin (韋嘉誠)

     in reply to
     @vsatayamas That's why equating "weak" vs "strong" typing with dynamic vs static typing is misguided. C and C++ have weak static typing.
   • Yuri Albuquerque (denommus@quitter.se)'s status on Monday, 21-Dec-2015 17:05:17 UTC Yuri Albuquerque

     in reply to

     • Claes Wallin (韋嘉誠)
     @clacke @vsatayamas modern C++ is much stronger to be fair
     Claes Wallin (韋嘉誠) repeated this.
   • Vee Satayamas (vsatayamas@quitter.se)'s status on Tuesday, 22-Dec-2015 10:17:17 UTC Vee Satayamas

     in reply to

     • Claes Wallin (韋嘉誠)
     • Yuri Albuquerque
     @denommus @clacke Go and Java are not weak typing languages since they need explicit casting?
     Claes Wallin (韋嘉誠) repeated this.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Tuesday, 22-Dec-2015 18:31:09 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus @vsatayamas C++, modern or not, still guarantees nothing, just strongly encourages you not to break expectations.
   • Yuri Albuquerque (denommus@quitter.se)'s status on Tuesday, 22-Dec-2015 18:31:20 UTC Yuri Albuquerque

     in reply to
     @vsatayamas interface {} completely breaks any static guarantee. It's definitely weak
     Claes Wallin (韋嘉誠) repeated this.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Tuesday, 22-Dec-2015 18:33:46 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @vsatayamas @denommus Weak vs strong is not about explicit or not. If you can reinterpret a float as an int, typing is weak. Java is strong.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Tuesday, 22-Dec-2015 18:37:17 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus @vsatayamas Not that there's anything wrong with that. Generic OS programming in a strongly typed language is probably impossible.
   • Yuri Albuquerque (denommus@quitter.se)'s status on Tuesday, 22-Dec-2015 19:10:46 UTC Yuri Albuquerque

     in reply to

     • Claes Wallin (韋嘉誠)
     @clacke why would it be impossible? Isn't Rust becoming successful in that?
     Claes Wallin (韋嘉誠) repeated this.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Tuesday, 22-Dec-2015 22:52:00 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus You're probably right. Just realized that an explicit way of interacting with unsafe code would be a way. Is that what Rust does?
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Tuesday, 22-Dec-2015 22:54:23 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus The problem with C and C++ is that any code can break any other code's type safety. Explicitly relaxing your own is different.
   • Yuri Albuquerque (denommus@quitter.se)'s status on Tuesday, 22-Dec-2015 23:35:50 UTC Yuri Albuquerque

     in reply to

     • Claes Wallin (韋嘉誠)
     @clacke yes, it is.
     Claes Wallin (韋嘉誠) likes this.
     Claes Wallin (韋嘉誠) repeated this.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Tuesday, 22-Dec-2015 23:36:33 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus @vsatayamas Late binding does not break strong typing.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Tuesday, 22-Dec-2015 23:38:28 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus Cool. Maybe there is a point to Rust after all. ;-)
   • Yuri Albuquerque (denommus@quitter.se)'s status on Wednesday, 23-Dec-2015 05:24:32 UTC Yuri Albuquerque

     in reply to

     • Claes Wallin (韋嘉誠)
     @clacke @vsatayamas I was not talking about late binding, I was talking about how Go's interface {} accepts anything, like void*
     Claes Wallin (韋嘉誠) likes this.
     Claes Wallin (韋嘉誠) repeated this.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Wednesday, 23-Dec-2015 11:18:07 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus @vsatayamas Ah, sorry. Don't know Go. But that still means you're asking for it, right? Not that you want MyObject* and get void*?
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Wednesday, 23-Mar-2016 14:19:27 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus @vsatayamas Modern C++ makes breaking the type system less casual, but by definition and purpose allows breaking it.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Wednesday, 23-Mar-2016 14:21:42 UTC Claes Wallin (韋嘉誠)

     in reply to
     @vsatayamas Java (don't know Go) is basically strongly typed (can't access a foobar as an int), unless you subvert it with e.g. JNI.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Wednesday, 23-Mar-2016 14:27:41 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus Rust is used here and there, not sure it's a "success" yet. Maybe it's a good compromise safety vs low-level. My friends say "no".
   • Yuri Albuquerque (denommus@quitter.se)'s status on Wednesday, 23-Mar-2016 16:11:21 UTC Yuri Albuquerque

     in reply to

     • Claes Wallin (韋嘉誠)
     @clacke being successful in something as in achieving its goal, not as being famous.
     Claes Wallin (韋嘉誠) likes this.
     Claes Wallin (韋嘉誠) repeated this.
   • Claes Wallin (韋嘉誠) (clackemovedtoheldscalla@quitter.se)'s status on Thursday, 24-Mar-2016 06:04:03 UTC Claes Wallin (韋嘉誠)

     in reply to

     • Yuri Albuquerque
     @denommus Fair point!