Abstract Base Classes - A Smart Use of Metaclasses
Explore Python's Abstract Base Classes, from basic polymorphism to advanced metaclasses, enhancing your understanding of object-oriented programming and virtual inheritance.
Refactoring Legacy Django App Using OOP
Aprende a refactorizar aplicaciones Django heredadas utilizando programación orientada a objetos y estereotipos OOP para mejorar el diseño y manejar lógica compleja.
Polymorphism in Scala
Explore various forms of polymorphism in Scala, including subtyping, parametric, and ad-hoc, to enhance code flexibility and reusability.
Functional Programming in Plain Terms
Demystifying functional programming concepts for Ruby developers, exploring monads, functors, and more through simple language and practical Rails examples.
Less is More with Node.js
Explore Node.js optimizations, including web server benchmarks, V8 garbage collection, and memory management. Learn about streams, polymorphism, and recent changes in this insightful talk.
Else Considered Harmful
Explore alternatives to "if-else" logic for clearer, more intuitive code. Learn techniques to reduce complexity and improve readability in programming.
Let's Get Lazy - The Real Power of Functional Programming
Explore lazy evaluations in functional programming, focusing on efficiency and avoiding unnecessary computations. Learn to implement lazy techniques in C# using lambdas and the Stream API.
Abstract Class in Java Programming
Learn about abstract classes in Java, their properties, and usage, including static methods and limitations.
Greedy Implicit Bounded Quantification in Object-Oriented Programming Languages
Explore greedy implicit bounded quantification in object-oriented programming, focusing on type inference algorithms and a variant of kernel F≤ with implicit polymorphism.
Associated Effects: Flexible Abstractions for Effectful Programming
Explore associated effects, a programming language feature enhancing type classes' flexibility in abstracting over function effects, improving expressive power in type and effect systems.
Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
Explore a novel technique for improving AST interpreter performance through automatically generated supernodes, enhancing execution speed and reducing JIT compiler pressure in programming language implementations.
Behavioral Up/Down Casting for Statically Typed Languages
Explore advanced typestate-based checking for Java, focusing on inheritance, polymorphism, and protocol compliance. Learn to enhance object-oriented code safety and expressiveness.
Polymorphic Type Inference for Dynamic Languages
Explore a novel type system combining polymorphism, intersection types, and subtyping for dynamic languages. Learn about type reconstruction algorithms and their applications in advanced programming.
Parameterized Algebraic Protocols
Explore parameterized algebraic protocols for defining protocol templates and session types, enhancing expressiveness and modularity while enabling efficient type checking in linear time.
etylizer - Set-theoretic Types for Erlang
Explore etylizer, a static type checker for Erlang using set-theoretic types. Learn how it enhances development and improves code quality for idiomatic Erlang programming.
Functional Programming in Plain Terms - Concepts for Ruby and Rails
Demystify functional programming concepts from a Ruby perspective, exploring monads, functors, and more without complex jargon.
The Many Shapes of Polymorphism
Explore polymorphism's impact on programming language design through Java and Scala examples, comparing code evolution and examining how different language features coexist.
Data-Oriented Programming in Java
Explore data-oriented programming principles and pattern matching in Java for safe, powerful, and maintainable ad-hoc polymorphism. Compare with OOP to understand when to apply DOP effectively.
A History of Subtyping
Explore the evolution and significance of subtyping in programming languages with Benjamin C. Pierce's comprehensive historical overview.
Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations
Explore layout polymorphism in OCaml, enabling efficient unboxed types while preserving parametric polymorphism. Learn about type-system design and implementation challenges in managing specializations.
Taming Lambdas' Uniqueness in C++ - Techniques and Workarounds
Explore techniques to overcome lambda expression limitations in C++, including creating multiple lambdas of the same type and using them with standard containers while maintaining readability and performance.