InfoQ Homepage Haskell Content on InfoQ
-
Rethinking Blockchain Contract Development
Manuel Chakravarty discusses how IOHK’s Plutus combines programming language theory, functional programming in Haskell, and theorem-proving in Agda to develop a new approach to blockchain contracts.
/presentations/iohk-plutus-haskell-agda/en/mediumimage/Manuel-MT-Chakravarty-m-1574766166543.jpg)
-
Habito: The Purely Functional Mortgage Broker
Will Jones talks about Haskell at Habito, some of the wins and trade-offs. He also talks about why functional programming is beneficial for large projects, and with migrating a data store.
/presentations/habito-mortgage-broker/en/mediumimage/Will-Jones-m-1559814749979.jpg)
-
Beauty and the Beast, Haskell on JVM
Jarek Ratajski discusses how a sample system performs, where the business logic is written in Haskell and middleware components and libraries in Java.
/presentations/haskell-jvm-system-performance/en/mediumimage/Jarek-Ratajski-large-1536066650930.jpg)
-
From Haskell 98 to Modern Haskell–Making Sense of the Haskell Type System
Ryan Lemmer takes a look at Haskell’s type system, including extensions: GADTs, multi-param type-classes, functional dependencies, type functions, kind polymorphism, type promotion, etc.
/presentations/haskell-type-system/en/mediumimage/Rybig-1525626563515.JPG)
-
Writing Extensible Functional Code
Renan Ranelli discusses Protocols (Elixir & Clojure) and TypeClasses (Haskell) and relates them to alternatives in other languages (Mixins in Ruby and Extension Methods in C#).
/presentations/extensible-functional-code/en/mediumimage/Rebig-1522800915970.JPG)
-
Designing with Passion
Panelists answer questions on the languages they contributed to: How do you organize thoughts and code? What unique advances in usability did your language make? Why do your users love to code in it?
/presentations/panel-erlang-haskell-elm-ruby/en/mediumimage/Panbig.jpg)
-
Beyond Lists
Phillip Trelford shows through live demos data structures that are orders of magnitude more performant than lists.
/presentations/data-structure-lists/en/mediumimage/Philbig.JPG)
-
Tor in Haskell & Other Unikernel Tricks
Adam Wick discusses the unikernel implementation of Tor, what makes Tor an attractive target for a unikernel, and what aspects of unikernels are particularly interesting when considering Tor.
/presentations/tor-haskell/en/mediumimage/Adambig.JPG)
-
Categories for the Working Programmer
Jeremy Gibbons discusses how categories can help the working functional programmer, focusing on categories as an organizing principle that helps managing generic libraries.
/presentations/categories-functional-programming/en/mediumimage/Jerbig.JPG)
-
Building Stuff with Shake
Neil Mitchell introduces the Shake build system. Users of Shake write a Haskell program which makes heavy use of the Shake library, while still allowing the full power of Haskell to be used.
/presentations/shake/en/mediumimage/Neilbig.jpg)
-
Remote Access Made Easy and Fast with Haskell
Simon Marlow explains how to use Haxl to automatically batch and overlap requests for data from multiple data sources.
/presentations/remote-access-haxl/en/mediumimage/Simonbig.jpg)
-
Hastily Paving the Way for Diversity
Anton Ekblad discusses the Haste Haskell-to-JavaScript compiler, how well JavaScript does as a target language, and how JavaScript could play better with FP compilers.
/presentations/haste-haskell-javascript/en/mediumimage/Antonbig.jpg)