Taking PHP Seriously
Exploring PHP's unique design choices in programmer workflow, concurrency, and shared state, highlighting its strengths and impact on successful projects like Facebook and WordPress.
The Trouble With Types
Exploración de sistemas de tipos estáticos y dinámicos, sus ventajas y desventajas, y el diseño de lenguajes de programación, con énfasis en Scala y futuros desarrollos.
Dependent Types in Haskell
Explore dependent types in Haskell, their influence on GHC, and practical applications through an extended example. Learn about current capabilities, challenges, and surprises in language design.
Hackett - A Metaprogrammable Haskell
Explore Hackett, a language combining Haskell's type system with Racket's macro system. Learn about interleaved macroexpansion and typechecking, and discover new possibilities for metaprogramming and DSLs.
TypeScript for F# Zealots
Explore functional programming concepts in TypeScript, comparing them with F#. Learn which ideas fit well and which are better suited for more functional languages.
Roll Your Own Shapeless
Explore advanced Scala type system techniques to recreate Shapeless framework elements, focusing on HList operations, type-level functions, and Peano arithmetic without macros.
Principles of Elegance
Exploring Scala's unique "elegance zone" where expressive syntax meets type safety. Learn to design APIs and write code that's both intuitive and robust, with real-world examples from Rapture libraries.
Static Typing - Beyond the Basics of def foo(x - int) - str
Explore advanced static typing in Python, covering generics, overloads, protocols, and custom mypy plugins. Learn to leverage the type system for better code architecture and design.
A Case for Generics in PHP
Explore the case for generics in PHP, discussing type systems, runtime checks, and potential benefits for PHP developers. Learn from comparisons with other languages and practical use cases.
What Kind of Language is it?
Explore PHP 7's language design, from imperative and object-oriented programming to typing systems. Gain insights into PHP's versatility and strengths as a modern programming language.
What's New in PHP 8.1
Explore PHP 8.1's new features: enums, fibers, closure syntax, intersection types, and more. Gain insights into strengthened type systems and exciting additions for enhanced development.
What's Coming in Scala 3
Explore Scala 3's new features and their impact on development. Learn about enums, top-level definitions, type system improvements, and metaprogramming while getting guidance on adopting and transitioning to Scala 3.
Field Guide to DDD - CQRS Using the Scala Type System and Akka
Explore DDD/CQRS implementation using Scala and Akka. Learn domain modeling with functional programming, event propagation, failure recovery, and asynchronous programming. Includes demo application.
Let's Type - A Practical Introduction to TypeScript for Java Developers
Practical introduction to TypeScript for Java developers, covering its powerful type system, syntax, IDE support, debugging, and migration strategies for existing code.
PHP's Type System Dissected
Explore PHP's evolving type system, including its meaning, implementation, and relation to Liskov's Substitution Principle. Learn how strict_type declaration impacts type checking and usage.
Denotational Design - From Meanings To Programs
Explore denotational design for functional programming libraries, focusing on precise mathematical models to define APIs and guide implementations, illustrated with examples like FRP and image synthesis.
Lifting & Shifting Entire React Ecosystem into New Languages
Explore the process of migrating React, Jest, and GraphQL to a new language and system, accelerating maturity and uncovering hidden issues in React and TypeScript.
React Native EU 2019 - Statically Enforcing a Consistent UI Using Type Systems
Explore static enforcement of consistent UI using type systems in React Native, focusing on invariant encoding and practical applications.
The Road to Styled-Components - Styling Component Based Systems
Explore the evolution and benefits of styled-components, a powerful solution combining JavaScript and CSS for efficient component-based styling in modern web development.
Using Units, Quantities, and Dimensions in C++14
Explore C++14's zero-cost abstraction for safer physical property computations, incorporating dimensions into the type system. Learn to use units libraries for improved code clarity and accuracy.
The C++ Type System Is Your Friend
Explore how C++ type system and templates can create efficient, safe, and reusable code through lightweight abstractions, type-rich APIs, and zero-overhead template techniques.