Andreas Rumpf

Concepts and type-checking generics

63

# Concept redesign Goals: - Empower concepts to make generic code type-checkable at declaration time, not only at instantiation time. - Make concepts easier to understand and easier to implement....

Patch the standard library to make use of concepts like Iterable and Indexable

4

Once the most pressing ``concept`` bugs are fixed, the stdlib should make use of them. Especially the concepts ``Iterable`` and ``Indexable`` should be introduced and used in the standard library,...

Multiple usages of the case discriminator for case objects

20

This RFC is a summary of the discussion from https://github.com/nim-lang/RFCs/issues/19 The proposal that has won is to allow repeating the case discriminator field without the ``: type`` syntax. Like so:...

Extend the notion of a "type bound" operation

31

# The Problem "Generic sandwiches" (https://github.com/nim-lang/Nim/issues/11225), error-prone behavior. For a simple example let's look at this program consisting of two separate modules: ```nim # Module objs.nim import hashes type Obj*...

Change how ``void`` parameters work

18

Getting rid of the existing ``void`` parameter bugs is suprisingly hard. It also seems unsound from a type theory perspective, Scala uses a ``Unit`` type instead. Steps: - Deprecate ``void``...

Making Nim's strings Copy-On-Write (COW)

20

# Motivation: Make naive string handling code faster In the ARC/ORC implementation string *literals* are already not copied and not destroyed. When these strings are potentially mutated ``nimPrepareStrMutationV2`` is called...