4 ms·
The author didn't show any type-level programming here. The author called into library which may or may not use type-level programming. Pin<Output, PB5> doesn
by mrkeen 4y ago
The author didn't show any type-level programming here.
The author called into library which may or may not use type-level programming.
Pin<Output, PB5> doesn't have set_high()? I don't see any type-level stuff here.
If it had been:
Pin<Output, PB (5 + i) >
on the other hand...
- sondr3 4y agoThere's a small difference between type-level programming and type-driven programming, Idris does the latter while Rust the former (at least in my opinion). The library uses types to make illegal states impossible and therefore should qualify as type-level programming.
- mrkeen 4y agoBut there's no programming at the type level. The programming in the article is at the level of values (insofar as what is shown.).