saselang-bible/examples/004-couches-de-lecosysteme-v1-examples.md

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

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

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

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

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

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