A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
Explore a monadic framework for name resolution in multi-phased type checkers, bridging the gap between abstract typing rules and practical implementations using compositional mappings and monadic combinators.
Type Inference for Application Spines in Higher-Order Languages - WITS'24
Explore type inference for application spines in Haskell, covering error messages, impredicative polymorphism, visible type application, and required type arguments.
Solving Constraints During Type Inference - WITS'24
Explore GHC's type inference engine, covering bidirectional inference, implication constraints, level numbers, evidence generation, and quantified constraints in Haskell.
Kotlin Fundamentals: Introduction to Basic Programming Concepts
Master Kotlin basics: syntax, null safety, type inference, control flow, and essential concepts for confident programming.
Best Practices in Scala Programming
Master Scala programming with functional concepts, immutable structures, and efficient coding techniques for robust, maintainable software development.
Julia Compiler Secrets - Static Analysis - JuliaCon 2024
Explore advanced static analysis capabilities in Julia's compiler, including type inference, effect system, and escape analysis, to optimize code performance and enhance correctness.
Embracing CTAD - Class Template Argument Deduction in C++17
Explore Class Template Argument Deduction (CTAD) in C++17, its benefits, controversies, and practical applications. Form your own opinion on this divisive language feature.
Modern Java in Action - Developing a GitHub Crawler
Explore modern Java features through a GitHub Crawler project, showcasing virtual threads, pattern matching, type inference, and more for efficient, concise coding.
Java Language and Platform Futures - A Sneak Peek
Explore Java's future with Brian Goetz: expanded type inference, data classes, improved switch, Project Valhalla, and more. Gain insights into upcoming language features and performance enhancements.
The Best TypeScript Features You're Not Using Yet
Discover cutting-edge TypeScript features and tools like 'satisfies', 'NoInfer', Knip, and typescript-eslint@7 to write more robust, bug-free code and enhance your development workflow.