|
|
|
|
|
|
by hyperman1
1887 days ago
|
|
|
This is not about LSP but about Hindley-Milner. The return type influences the choice of function, not the other way around. This is also not rust-specific. It is just someone learning how a new tool works, by pushing it to a boundary, then writing about the result. Both learning and sharing are a healthy reflex. In the worst case, the author is one of today's lucky 10 000.Besides, the article made me realize an imperfection in my own understanding, so I am gratefull for having read it' |
|
|