Search Results for "macros"

Scala macros for compile-time generation of safe and ultra-fast JSON codecs. This library had started from macros that reused jsoniter (json-iterator) for Java reader and writer but then the library evolved to have its own core of mechanics for parsing and serialization. The idea to generate codecs by Scala macros and main details was borrowed from Kryo Macros and adapted for the needs of the JSON domain.

Scala 3 is the latest major release of the Scala language—featuring a complete compiler rewrite (Dotty), new syntax with optional braces and given/using contextual abstractions, union/intersection types, opaque types, first-class enums, and better type inference. It unifies object-oriented and functional programming paradigms into a safer, more expressive language running on the JVM with full Java interoperability.

Refined is a Scala library that enhances types with compile-time constraints using predicate-style refinement types. It allows embedding validation logic into types like Refined[Int, Positive], ensuring invalid values are rejected at compile or runtime, thereby increasing safety and reducing boilerplate in domain modeling.

Strong typing guarantees your code is free of silly mistakes; no more mixing up strings or numbers, forgetting what keys an object has, or worrying about typos in your method names. Scala.js takes care of all this tedious book-keeping for you, letting you focus on the actual, more interesting problem your application is trying to solve. Scala.js optimizes your Scala code into highly efficient JavaScript. Incremental compilation guarantees speedy (1-2s) turn-around times when your code...

Shapeless is a powerful generic programming library for Scala, enabling compile-time abstraction and manipulation of types. It provides features such as HLists (heterogenous lists), generic derivation of type class instances, dependent types, and polymorphic functions—allowing developers to write boilerplate-free, type-safe code.

Spire is a numeric and algebraic library for Scala, offering type-safe, generic, and high-precision arithmetic. It introduces abstractions like Rings, Fields, and Rationals and supports specialized number types (e.g. Rational, Complex, Interval), macros, and seamless integration with Cats for abstract numeric programming.