Account Options

  1. Anmelden
Das alte Google Groups wird demnächst nicht mehr unterstützt. Die neue Version ist jedoch nicht kompatibel mit Ihrem Browser.
Google Groups-Startseite
« Google Groups-Startseite
Nachricht von Diskussion Enumeration must DIE...
Bei der Gruppe, für die Sie eine Mitteilung verfassen, handelt es sich um eine Usenet-Gruppe. Wenn Sie in dieser Gruppe Nachrichten posten, ist Ihre E-Mail-Adresse für jeden im Internet sichtbar
Ihre Antwort wurde nicht gesendet.
Die Nachricht wurde übermittelt.
 
Von:
An:
Cc:
Nachtrag zu:
Cc hinzufügen | Nachtrag hinzufügen zu | Betreff bearbeiten
Betreff:
Bestätigung:
Geben Sie zur Bestätigung die im folgenden Bild angezeigten Zeichen ein bzw. die Zahlen, die durchgesagt werden, wenn Sie auf das Barrierefreiheitssymbol klicken. Hören Sie zu und geben Sie die gehörten Zahlen ein
 
Ismael Juma  
Profil anzeigen   Übersetzen in die Sprache: Übersetzt (Original anzeigen)
 Weitere Optionen 21 Okt. 2012, 12:02
Von: Ismael Juma <ism...@juma.me.uk>
Datum: Sun, 21 Oct 2012 17:01:59 +0100
Lokal: So 21 Okt. 2012 12:01
Betreff: Re: [scala-internals] Re: Enumeration must DIE...

On Sun, Oct 21, 2012 at 4:16 PM, Paul Phillips <pa...@improving.org> wrote:
> This seems like a questionable example of people rooting for one more
> feature; the primary thing being rooted for when it comes to
> scala.Enumeration is its removal. I thought leveraging java's existing and
> satisfactory solutions where possible was scala's thing.

Particularly since 2.10 is meant to include exhaustiveness checks for Java
enums too.

Best,
Ismael


 
Sie müssen sich anmelden, bevor Sie Nachrichten veröffentlichen können.
Bevor Sie eine Nachricht posten können, müssen Sie zunächst dieser Gruppe beitreten.
Bitte aktualisieren Sie vor dem Posten in den Abonnementeinstellungen Ihren Spitznamen.
Sie haben nicht die erforderliche Berechtigung zum Posten.