New ask Hacker News story: Ask HN: Favourite resources for learning programming type theory?

Ask HN: Favourite resources for learning programming type theory?
3 by stephantul | 1 comments on Hacker News.
Hello HN, Recently, I've been massively enjoying diving into type checkers and how to effectively use them (mostly in Python). I lack foundational knowledge about the topic (I never studied CS), however, so I am looking for introductory textbooks/blogs/resources on the topic. More specifically: I see terms being thrown around like "Algebraic sum type", "covariant", "contravariant", and I would like to understand more about what they mean and imply in a practical sense. Thanks!

Comments

Post a Comment

Popular posts from this blog

How can Utilize Call Center Outsourcing for Increase your Business Income well?

Image
Call center outsourcing is not uncommon however, not every company can live up to the expectations of a great client. The service provider should have the ability to assist you obtain access to new abilities and competences in order to help you achieve efficiency and effectiveness in your company. Digital office providers assist business in providing unique, innovative solutions that are intended to custom-fit your personal small business needs. Some back office service providers also have fully-developed outbound calling and telemarketing services that you can utilize. The world has taken a huge leap with the technological revolution. What was impossible before now seems to be a matter of seconds. As we see more and more start-ups and digital companies emerging, we need to understand how we can account the rising number of BPO companies that can be helpful to us. Running a call center internally may be an expensive affair particularly when it...
Read more

New ask Hacker News story: Debian Testing/Trixie removes systemd-resolved

Debian Testing/Trixie removes systemd-resolved 6 by iam-TJ | 0 comments on Hacker News. Debian's systemd maintainer today removed both systemd-resolved and systemd-nspawn packages [0] from Testing/Trixie/Debian 13 - soon to be in feature freeze - due to disagreements with the Technical Committee [1]. For operators already using Testing/Trixie/Debian 13 this will lead to dependency version conflicts and/or loss of existing service; for upgrades from Stable/Bookworm/Debian 12 likewise. systemd-resolved package depends on the exact same version of other systemd packages. When they try to upgrade to newer versions the installed-but-orphaned systemd-resolved package will prevent it unless it is removed. New installs can use resolvconf. [0] https://ift.tt/jYJno28 [1] https://ift.tt/yvxXNiS
Read more