/explore
|
You are here 
|
www.poberezkin.com | ||
| | | | |
serokell.io
|
|
| | | | | In this post, we talk about Dependent Haskell and show how it could be used to simplify and improve the code in a large production codebase. | |
| | | | |
lexi-lambda.github.io
|
|
| | | | | [AI summary] This article is a comprehensive exploration of Haskell programming, covering its strengths, challenges, and the author's personal reflections on the language and its community. The piece delves into topics such as Haskell's type system, effect systems, and the use of libraries like lens and Text. It also addresses broader issues like the community's debates, the role of Haskell in modern software development, and the importance of type safety and abstraction in programming. The author reflects on their journey with Haskell, emphasizing the language's ability to challenge and inspire while acknowledging its imperfections. The conclusion highlights the significance of Haskell in the design space of programming languages and the author's commitment... | |
| | | | |
www.haskellforall.com
|
|
| | | | | Edit: My opinion on type classes has mellowed since I wrote this post, but I still keep it around as a critique against the excesses of type... | |
| | | | |
countingfromzero.blog
|
|
| | | This was a big week for Computer Science at Whitman: On Saturday, I learned that Personnel Committee is recommending me for tenure. Yesterday, the faculty voted to approve the creation of a new Computer Science major. Getting tenure the second time is not as exciting as the first time,but it's still a relief. Giving up... | ||
