-
4 months ago
Safe Haskell - David Terei
Safe Haskell is a new extension to the Haskell language that is implemented in GHC as of version 7.2. It allows for unsafe code to be securely incl...
463 views
ndmitchell
uploaded
-
4 months ago
-
-
4 months ago
A New Dependency Solver for cabal-install - Andres Löh
Many of the most common sources of frustration and complaints about Haskell's packaging system have as their root cause limitations in the dependen...
154 views
ndmitchell
uploaded
-
4 months ago
-
-
4 months ago
Virtualizing Real-World Objects in Functional Reactive Programming - Daniel Winograd-Cort
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input v...
342 views
ndmitchell
uploaded
-
4 months ago
-
-
4 months ago
Reusing Thunks for Recursive Data Structures in Lazy Functional Programs - Yasunao TAKANO
Lazy evaluation helps programmers write clear programs. However, it has significant run-time overheads for building many as-yet unevaluated express...
176 views
ndmitchell
uploaded
-
4 months ago
-
-
4 months ago
GHC Status Update - Simon Peyton Jones and Simon Marlow
A GHC status update, including new features coming to the compiler and new thoughts about stack traces and profiling.
From the Haskell Implementor...
761 views
ndmitchell
uploaded
-
4 months ago
-
-
4 months ago
Weaving Source Code into ThreadScope - Peter Wortmann
The task of program optimisation is frustratingly hard, with many possible problem sources to consider. Consequently, good profiling tools are esse...
476 views
ndmitchell
uploaded
-
4 months ago
-
-
4 months ago
Spark Visualization in ThreadScope - Duncan Coutts
ThreadScope is a powerful debugging tool for parallel Haskell programs. It reads GHC-generated event logs and displays them in a user-friendly form...
137 views
ndmitchell
uploaded
-
4 months ago
-
-
4 months ago
Faster persistent data structures through hashing - Johan Tibell
The most commonly used map (dictionary) data types in Haskell are implemented using some kind of binary tree, typically a size balanced tree or a P...
367 views
ndmitchell
uploaded
-
4 months ago
-
-
4 months ago
Improving the GHC inliner: Smart loop breaker choice - Bas den Heijer
Inlining recursive functions can be tricky business: the inliner should take care not go in an infinite loop inlining the same functions again and ...
206 views
ndmitchell
uploaded
-
4 months ago
-