preguntar acerca de type-safety

8
réponses
5
réponses

Modélisation sûre des données relationnelles dans Haskell

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 …
demandé sur 1970-01-01 00:33:32
9
réponses

Mise en œuvre de Java N-Tuple

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 …
demandé sur 1970-01-01 00:33:30
15
réponses

Discrimination syndicale en C#

[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. …
demandé sur 1970-01-01 00:33:30
1
réponses

Est-ce que @SafeVarargs est une annotation appropriée pour cette méthode?

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 …
demandé sur 1970-01-01 00:33:35