|
You are here |
blog.jle.im | ||
| | | | |
www.parsonsmatt.org
|
|
| | | | | Dependently typed programming is becoming all the rage these days.Advocates are talking about all the neat stuff you can do by putting more and more informat... | |
| | | | |
degoes.net
|
|
| | | | | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts | |
| | | | |
aymannadeem.github.io
|
|
| | | | | A primer on the cruel, tacit laws of type-level programming in Haskell | |
| | | | |
lenholgate.com
|
|
| | | [AI summary] The article argues that strict adherence to unit testing rules often leads to better software design and loose coupling, while suggesting practical strategies for handling necessary external dependencies. | ||