|
MALE SHOEGAZE posted:I mean, I guess it comes down to whether a hello world implementation is meant to demonstrate idiomatic code or whether it's meant to give insight into how the language operates. The macro completely obfuscates whatever is going on there and as far as I know, it could be hiding java levels of boilerplate (which would be fine or even cool). it would require a stronger type system to have a function like printf with variable arguments and be fully type checked fully type safe printf is like the hello-world of dependent types, maybe 2nd to length indexed lists
|
#
¿
May 16, 2015 20:40
|
|
|
|
| # ¿ Apr 28, 2024 21:33 |
|
|
Hell yeah hkt will come so we don't need these ad-hoc monads cluttering up the language
|
|
#
¿
Nov 12, 2016 19:56
|
|
|
taqueso posted:It is really good at "if it compiles it works" assuming you have the right logic. Not really. The rust type system is not that powerful modulo the borrow checker. Maybe with actual dependent types (cost generics and generalizations thereof) you could express more useful logic in types.
|
|
#
¿
Dec 8, 2019 03:14
|
|
|
Ralith posted:You can express all kinds of useful logic in Rust types for all that they don't gracefully embed arbitrary constructive propositions. Const generics are also very much not "actual" dependent types: the meat of those is the ability for a type to depend on a statically unknown, i.e. non cost, value. Better than nothing and it beats standard Haskell. That said a type system that’s too weak to express basic stuff like state machines isn’t all that useful, just an impediment. If illegal states aren’t unrepresentative there’s little point. Did higher kinded types ever get implemented?
|
|
#
¿
Dec 9, 2019 08:53
|
|