Technical groups
Open source
Careers
Research
Blog
Contact
Consulting services
Technical groups
Open source
Careers
Research
Blog
Contact
Consulting services
Blog: ghc (10 posts)
all
haskell
nix
data-science
bazel
linear-types
statistics
python
devops
internship
nickel
fellowship
data-engineering
high-assurance
MCMC
rust
ghc
formal-methods
asterius
ocaml
inline-java
jobs
build-systems
webassembly
tutorial
formatting
icfp
liquidhaskell
programming-languages
smart-contracts
blockchain
topiary
auditing
jupyter
profiling
trustix
capability
c
c++
tools
fawltydeps
reproducibility
monorepo
optics
golang
cybersecurity
regulation
sbom
llms
rag
generative-ai
llm-evaluation
retrieval
cmake
ux
dependency-management
best-practices
cargo
type-level programming
buck2
packaging
halide-haskell
terraform
announcement
machine-learning
cloud
azure
ray
state-machine
domain-driven-design
jupyenv
servant
training
delta-lake
processes
Programming Languages and Compilers Group
Automating the verification of correct behaviour in complex systems.
programming-languages
compilers
ghc
haskell
nickel
rust
20 July 2023
How to Prevent GHC from Inferring Types with Undesirable Constraints
A GHC pattern for improving the user experience of type-level programs
ghc
haskell
type-level programming
15 June 2023
Coverage-guided fuzzing of Haskell programs for cheap
A simple trick to fuzz Haskell programs with libFuzzer
haskell
ghc
1 June 2023
Testing Control-Flow Translations in GHC
Translations of control flow can be tested before the rest of the code generator is ready. The tests examine sequences of abstract state transformations and observations.
haskell
ghc
webassembly
asterius
22 December 2022
Making GHC faster at emitting code
How we gained 2–3% improvements in compile times by making GHC better at printing code.
haskell
ghc
22 November 2022
WebAssembly backend merged into GHC
Announcing the GHC WebAssembly backend – present and future
haskell
ghc
webassembly
27 October 2022
A nub in the haystack
Exploration of a regression in GHC's bytecode generator performance
haskell
ghc
17 February 2022
Writing a type-checking plugin
A tutorial on how to write a type-checking plugin for GHC
haskell
ghc
fellowship
9 December 2021
GHC's constraint solver
In part two of this series on type-checking plugins, we will see how GHC's constraint solver works.
haskell
ghc
fellowship
21 October 2021
Why write a type-checking plugin?
Why would you want to write a type-checking plugin? Many limitations of the GHC type-checker are exposed here.
haskell
ghc
fellowship
Company
About
Open Source
Careers
Contact Us
What we do
Strategy
Product Development
Platform Modernization
Digital Operations
Work
Insights
Modus Blog
Ospo Blog
Research
Innovation podcast
Connect with us
© 2024 Modus Create, LLC
Privacy Policy
Sitemap