 |
Post AwQL0ETZfaRILd6YSG by [email protected] |
 |
More posts by [email protected] |
|
Post #AwNHMapoEsdAlv239c by [email protected] |
|
0 likes, 0 repeats |
|
|
|
C and C++ should let you use another enum as an enum's underlying type |
|
|
|
Post #AwNHMaxblsrxA6gHJI by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@joe YES 100x YES |
|
|
|
Post #AwQKwwYTqJ9NtlpamO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joe This reminded me that I really wish there was a systems language that sepa… |
|
|
|
Post #AwQKwwfvOd6aGrJXNo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joe In my mind there are two different forms of this, which I guess roughly co… |
|
|
|
Post #AwQKwwmezaUcbkSusi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joe In the C-like instantiation, you can write functions that operate on a sin… |
|
|
|
Post #AwQKwwu6XuRoypwrU8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joe The Rust-like instantiation is probably more clear, partially because as l… |
|
|
|
Post #AwQKwwzmCoz7GQbOKG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zwarich so Swift does away with pointer identity for borrows, and we do take a… |
|
|
|
Post #AwQKwx6VnmN9bJklpA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joe Do you have a link to a discussion with examples, or is it not on the foru… |
|
|
|
Post #AwQKwxCBSguRsuPIfI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zwarich destructor semantics in today's languages tend to be swayed by the… |
|
|
|
Post #AwQKwxID6HjKBbE73g by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joe Maybe this is another situation like bytewise equality, zero initializatio… |
|
|
|
Post #AwQKwxOaiYpmVODD0K by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zwarich @joe yeah every napkin-sketch design for "another damn systems la… |
|
|
|
Post #AwQKwxUyKpwEpBCIwy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@graydon @zwarich with the way rust puts lifetime variables in your face and fa… |
|
|
|
Post #AwQKwxazyQl77s17LM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joe @graydon @zwarich I wonder if this is more to do with the way people progr… |
|
|
|
Post #AwQKzuNWONiK147RFA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zwarich @joe Ironically only Rust of those three has an untyped memory model a… |
|
|
|
Post #AwQKzuUxwhfWO9bNqa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zwarich @joe Anyway, to your point I'd love to see a systems language wher… |
|
|
|
Post #AwQKzuadbcCofkFugi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pervognsen @joe I assume you'd need some sort of aliasing control built in… |
|
|
|
Post #AwQKzugJGWk6xKuRWq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zwarich @pervognsen @joe alternatively, really expressive aliasing constraints… |
|
|
|
Post #AwQKzulyvRHPEvYyMy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pkhuong @zwarich @pervognsen of the subroutines-mutation-aliasing unholy trini… |
|
|
|
Post #AwQKzurIbfX7VQ3Deq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joe @pkhuong @pervognsen What would that even look like? |
|
|
|
Post #AwQKzuxgDwdZpD2JbU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zwarich @joe @pkhuong @pervognsen shader languages? :') |
|
|
|
Post #AwQL0BeSAgMJaVAhUm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dotstdy @zwarich @joe @pervognsen in terms of analysis I feel like subroutines… |
|
|
|
Post #AwQL0ETZfaRILd6YSG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dotstdy @zwarich @pkhuong @pervognsen i was mostly shitposting, but maybe anot… |
|
|
|
Post #AwQL0EZxHrXkfQ5eOu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@joe @dotstdy @zwarich @pervognsen or like HDL, which tend to do alias analysis… |
