# Exemples / DO-DON'T — Chapitre 4 — Couches de l'écosystème V1

> Document compagnon. Les exemples illustrent les règles du chapitre ; la formulation normative reste dans le chapitre lui-même.

## Exemples extraits du chapitre

### Exemple 1

```text
grammaire
types primitifs
types nominaux
fonctions/méthodes
classes
structs
interfaces
enums
unions
tuples
generics
contrôle de flux
erreurs/exceptions/faults
opérateurs
unsafe
scope
visibilité
imports
compilation conditionnelle structurelle
```

### Exemple 2

```text
Object
String
Result<T>
Result<T,E>
Error
ResultError
Exception
Fault
Option<T>
Nullable<T>
Range<T>
RangeIterable<T>
RangeStep<T,Step>
RangeReverse<T>
RangeReverseStep<T,Step>
RangeProgression<T,Step>
PartialOrdering
Ordering
Comparable<T>
Comparator<T>
Op...
Iterable<T>
Iterator<T>
View<T>
Collection<T>
List<T>
Set<T>
Map<K,V>
Array<T>
StaticArray<T,N>
TypeInfo
ExitCode
```

### Exemple 3

```text
collections concrètes/spécialisées au-delà des contrats fondamentaux Core
encodages explicites
regex
filesystem
networking
process
concurrence
math
algèbre
FFI helpers
plateforme
```

### Exemple 4

```text
saselang/mapdb*
```

## DO / DON'T / WHY / compiler error / edge cases

À consolider progressivement avant la baseline publique V3 et à transformer, lorsque pertinent, en tests de conformité de la toolchain.

### Exemple — contrat Core, implémentation SDK

```text
Core: Hashable, Hasher, interfaces de collections, Slice<T>
SDK : Vector<T>, HashSet<T>, HashMap<K,V>, implémentations concrètes de Hasher
```