Clean code begins in your IDE with SonarLint
Last 30 Days
Scout APM SonarLint SaaSHub · Advertise
Issue 328 of the newsletter was published on 2022-08-11. Browse the archives for older issues.
The content on this site is licensed under a Creative Commons Attribution 4.0 International license. The
Formal Structures for Computation and Deduction, 2022
Logic in Computer Science, 2022
(PDF, Short abstract, Long article, Arxiv, Slides)
#1 Coq の Template polymorphism (2)
さらに manual を読み直した
そーか、具体的に与えた ql から Pl' が決まり、Ci : sqi を成立できるように si が選ばれる、
そこで ΓP' は、partial application で ql が与えられなかった部分はそのまま残るから別にいいのか
Sunday, June 26, 2022
defaultable-map: An Applicative wrapper for Maps
I’m announcing a small utility Haskell package I created that can wrap arbitrary Map-like types to provide Applicative and Altern
ZIO 2.0 Released
After almost 2 years in development, ZIO 2 is ready to change the world of functional programming
© 2022 John A De Goes. Powered by Jekyll, derived from the Minimal Mistakes theme.
Run automatic security scans with out-of-the-box integration with Snyk, or connect to other providers. Simply open an existing repository or create a new one and navigate to the Security tab to instal
Lambda the Ultimate
Site operation discussions
I write articles, produce podcasts (The bioinformatics chat and Compositional), and occasionally maintain open source packages on GitHub.
Code & Co.
About Contact Blog RSS Feed
This website is out of date, please refer to the site on github.
Welcome to my outdated blog.
This was a personal blog. I leave these posts around to preser