Post AvmxmhndyNM783dTWK by [email protected] | |
More posts by [email protected] | |
Post #AvmxlqBBKe68pQEViC by [email protected] | |
0 likes, 0 repeats | |
it's strange that physical units don't play a bigger role in programmin… | |
Post #AvmxlqIyreKvDbsjrs by [email protected] | |
0 likes, 0 repeats | |
@typeswitch haskell has a very nice library for this https://hackage.haskell.or… | |
Post #AvmxlqR8NKrHcthFZo by [email protected] | |
0 likes, 0 repeats | |
@typeswitch the nice thing about this library is that it: (1) prevents impossib… | |
Post #AvmxlqXA0vg9vaW3yC by [email protected] | |
0 likes, 0 repeats | |
@redmp yeah this is the sort of thing that i think is a little weird it isn'… | |
Post #AvmxlqaLp4EO5U0bwW by [email protected] | |
0 likes, 0 repeats | |
physicists developed their own type system, then never taught it to the compute… | |
Post #Avmxm2Z1HqIREpTiXA by [email protected] | |
0 likes, 0 repeats | |
@typeswitch I think the reason it's not more common is that it's diffic… | |
Post #Avmxmao5yIYdRQnEki by [email protected] | |
0 likes, 0 repeats | |
@typeswitch about 10 years ago I had a project to use physical units in C++: ht… | |
Post #AvmxmawFTz4zqibkSe by [email protected] | |
0 likes, 0 repeats | |
@fay59 oh that's interesting! I didn't even realize torque and work hav… | |
Post #AvmxmhndyNM783dTWK by [email protected] | |
0 likes, 0 repeats | |
@typeswitch only when you don’t consider the secret unit dimension! | |
Post #Avmxmm0YKK3gBFhqCG by [email protected] | |
0 likes, 0 repeats | |
@RosaCtrl yeah, this seems like it would be helpful in situations where it can … |