Hacker News Reader

Comment by mrkeen | Hacker News Reader

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...

View on HN

There'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.

But there's no programming at the type level. The programming in the article is at the level of values (insofar as what is shown.).

Reply on news.ycombinator.com