A Scala implementation of a calculator to illustrate Functional Programming concepts like ADTs, Implicits and Typeclasses

Talk for Art of Scala conference I gave on 10.10.2024

String encoding using a custom logic in Scala

Experimental contextual parameters (like Odin contexts and Scala implicits and Jai) but for D as-a-library

revisiting-implicits-without-import-tax

(Learning) shapeless / scalamacros / scalameta

Scala Advanced Features Talk, as held at Süddeutsche Zeitung in January 2018

injected_fields concept, a form of Explicit Management of Implicit Context (EMIC)

Introduction to Scala and functional programming collections: list, stream and tree.

Introduction to scala implicit systems with examples.

A list of katacoda-scenarios

Command-line arguments reader to a class with respective fields

A Python decorator which allow runtime overrides of a function's global and default variables.

Implicit function parameters in Clojure

Type Classes in Scala and Haskell

The Pneuma Programming Language will combine dependent types, implicits and modules in one small concise language.

Mechanized formalization of Implicit resolution in Agda