Facilitating the spread of knowledge and innovation in professional software development
Contribute
Logo - Back to homepage
2,507,814 Dec unique visitors
Topics
Helpful links
InfoQ Live February
How do traditional security approaches scale in Cloud Native architectures? Register Now!
QCon London Software Conference
Learn from practitioners driving innovation and change in software. Attend in-person on April 4-6, 2022.
QCon Plus May
Uncover emerging trends and practices from software leaders. Attend online on May 10-20, 2022.
The Software Architects' Newsletter
Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.
/articles/type-systems-verifying-musical-correctness/en/smallimage/logo-1561528822846.jpg){kind=logo}
/articles/Understanding-Monads-guide-for-perplexed/en/smallimage/logo-1511261592598.jpg){kind=logo}
/articles/Dont-graft-Monads-onto-Imperative-Languages/en/smallimage/logo-java2.jpg){kind=logo}
/presentations/iohk-plutus-haskell-agda/en/mediumimage/Manuel-MT-Chakravarty-m-1574766166543.jpg)
/presentations/habito-mortgage-broker/en/mediumimage/Will-Jones-m-1559814749979.jpg)
/presentations/haskell-jvm-system-performance/en/mediumimage/Jarek-Ratajski-large-1536066650930.jpg)
/presentations/haskell-type-system/en/mediumimage/Rybig-1525626563515.JPG)
/presentations/extensible-functional-code/en/mediumimage/Rebig-1522800915970.JPG)
/presentations/panel-erlang-haskell-elm-ruby/en/mediumimage/Panbig.jpg)
/presentations/data-structure-lists/en/mediumimage/Philbig.JPG)
/presentations/tor-haskell/en/mediumimage/Adambig.JPG)
/presentations/categories-functional-programming/en/mediumimage/Jerbig.JPG)
/presentations/shake/en/mediumimage/Neilbig.jpg)
/presentations/remote-access-haxl/en/mediumimage/Simonbig.jpg)
/presentations/haste-haskell-javascript/en/mediumimage/Antonbig.jpg)
/presentations/haskell-newsroom-nyt/en/mediumimage/Erikbig.jpg)
/presentations/haskell-barclays/en/mediumimage/Timbig.jpg)
/presentations/refactoring-functional-programming/en/mediumimage/Simonbig.jpg)
/presentations/post-functional-scala-clojure-haskell/en/mediumimage/Danielbig.jpg)