preguntar acerca de type-safety

Aussi, l'un implique-t - il l'autre? ... …

Je trouve très courant de vouloir modéliser des données relationnelles dans mes programmes fonctionnels. Par exemple, lors du développement d'un site web, Je peux avoir la structure de données suivante pour stocker des informations sur mes utilisateu …

je viens de faire un Java n-tuple qui est sans danger. J'utilise des méthodes non conventionnelles pour atteindre la sécurité de type (je l'ai juste fait pour le plaisir). est-ce que quelqu'un peut donner quelques idées sur l'améliora …

[Note: cette question avait le titre original c (ish) style union in C# " mais comme le commentaire de Jeff m'a informé, apparemment cette structure est appelé un "syndicat discriminé"] Excusez la verbosité de cette question. …

j'ai un peu de code Java (en utilisant la classe Guava ImmutableList ): @Nonnull public static <E extends Event> UserHistory<E> forUser(long id, E... events) { List<E> list = ImmutableList.copyOf(events); return new …