| Web | https://haskell.foundation |
| Web | https://haskell.foundation |
@mhueschen will be presenting g-machine-hs: “A Haskell repo I wrote implementing the G-machine described in Efficient Compilation of Lazy Evaluation by Thomas Johnsson (SIGPLAN 1984). The G-machine is an approach to implementing relatively-fast interpreters for functional programs, through “graph reduction”. I’ll walk through the fundamental concepts in the G-machine, using DOT-generated graphics showing the code+stack at each step of execution. Hopefully, attendees will come away with an under...
Avi Press is interviewed by Joachim Breitner and Andres Löh. Avi is the founder of Scarf, which uses Haskell to analyze how open source software is used. We'll hear about the kind of shitstorm telemetry can cause, when correctness matters less than fearless refactoring and how that can lead to statically typed Stockholm syndrome.
The GHC developers are very pleased to announce the availability of the second alpha release of GHC 9.10.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org. We hope to have this release available via ghcup shortly. GHC 9.10 will bring a number of new features and improvements, including: The introduction of the GHC2024 language edition, building upon GHC2021 with the addition of a number of widely-used extensions. Partial implementa...
The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; Implementations, including program analysis and transformation, s ...