EmbeddingGemma 2: an open, lightweight multimodal embedding model
deepmind.google·6d ago
AI Engineering
Lobsters·Aug 15·5 min read
Serokell’s Work on GHC: Dependent Types, Part 5
.jpg&w=3840&q=75)
TL;DR
Serokell's GHC team has made significant strides in implementing dependent types in Haskell, showcasing three major contributions and various enhancements. These advancements bring Dependent Haskell closer to practical use.
✦ Why It Matters
Explore the latest GHC features to enhance type safety in your Haskell projects today.
Key Takeaways
- Utilize visible forall in GADTs for clearer type declarations.
- Adopt namespace-specified imports to avoid naming conflicts.
- Leverage new type family instance capabilities for better kind checking.
- Stay updated with GHC's advancements to improve Haskell programming.
How It Works
The implementation of visible forall in GADTs allows type arguments to be explicitly visible, enhancing type safety. This was achieved by refactoring GHC's AST to support mixed-list representations of type and term arguments, improving error messages and enabling better handling of constructor patterns.