Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:112463 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 89904 invoked from network); 7 Dec 2020 21:08:06 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 7 Dec 2020 21:08:06 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id AFAF71804D1 for ; Mon, 7 Dec 2020 12:37:05 -0800 (PST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.2 X-Spam-Virus: No X-Envelope-From: Received: from mail-lf1-f46.google.com (mail-lf1-f46.google.com [209.85.167.46]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Mon, 7 Dec 2020 12:37:05 -0800 (PST) Received: by mail-lf1-f46.google.com with SMTP id s30so19969449lfc.4 for ; Mon, 07 Dec 2020 12:37:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=UC1Q2wSxDqIElkM9Gk/AtNLsgTqp/OkrchYiRd5befw=; b=DcickLUKkC88pgIKzRMashfhksB4Ef41j1jwBTuK87fn+JOZL44bTuf28u6qPPpQZ5 G7BvPRLbUvZaJB0xAF4u0LTZOfWPKuTYIfeo+dmHWd7y/WCmW3jzGPDAot9SUuS+j154 Y5+fOk4ATZk9r0wtWDznl9ZG4vTwG/ktTETgGqsBDop1N5YuTDylQ13YflMmD1D0resK ceN+pRQJw4HnGU9kGEuBPKn6pxsXOQqN5TYJ2dAj3UWG2HbC/QUL2QhHOW2MBy3plehB H1zxNq3H6L4Vvy3UncoVVe5qbaY6yAdh9GiZmm1b5bwIvo4rR7fuiTzbBpMctpNt8rTK 3LPQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=UC1Q2wSxDqIElkM9Gk/AtNLsgTqp/OkrchYiRd5befw=; b=GmL0yn63JuGdn5T2SRUqpsVujLI4NwLJYs0xstqnk1/ON5UghFNS0b3eckd0+XycRU zuvcp6j4y4aVw0LH5NVuwO1aGEtAzh27+HK1IjD+0dwd3p2RZdmc82paPLmHceLWxUQ1 Ie6RWZ7dOY1NH5TdPGJjfE9HNejeojIu0RsnMyx5+N8/qANfBuLn/CcgFWqR/zvKzGxv faiXOphneOtLBrnIZPF7cPMJKOvE1XZ3ngW7R5Oz4wrmpya8MFqWOXJfkGSvp4Rea9ZB EFHsQeYysxm7HCWxL8DMtDoyV4awlQ8OxQB6zrggqirxQfGuLRlbbtALUpH/QobkrL0i +/Lw== X-Gm-Message-State: AOAM532G/4y3wNgF09xCARWkAg7i4QHG3jClUKlpCpWfG81PctMUBRs7 ayBaxNKQyG6qXa9SAa7Wwhnb6dy+UJgklLRDo7nuloFB X-Google-Smtp-Source: ABdhPJy25DHNysZIRm0cwI1G6TDyueyVKqXW6M9P0MoRvGTQRC+rFZgCr9dpEMCTK76XNpb1TajffSoXRXObhjSBPYw= X-Received: by 2002:a19:705:: with SMTP id 5mr3735164lfh.478.1607373420509; Mon, 07 Dec 2020 12:37:00 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: Date: Mon, 7 Dec 2020 21:36:46 +0100 Message-ID: To: Larry Garfield Cc: php internals Content-Type: multipart/alternative; boundary="000000000000c03d4105b5e5c9a0" Subject: Re: [PHP-DEV] [RFC] Enumerations From: olleharstedt@gmail.com (=?UTF-8?Q?Olle_H=C3=A4rstedt?=) --000000000000c03d4105b5e5c9a0 Content-Type: text/plain; charset="UTF-8" Did you discuss exhaustiveness checking already? On Sat, 5 Dec 2020, 00:25 Larry Garfield, wrote: > Greetings, denizens of Internals! > > Ilija Tovilo and I have been working for the last few months on adding > support for enumerations and algebraic data types to PHP. This is a > not-small task, so we've broken it up into several stages. The first > stage, unit enumerations, are just about ready for public review and > discussion. > > The overarching plan (for context, NOT the thing to comment on right now) > is here: https://wiki.php.net/rfc/adts > > The first step, for unit enumerations, is here: > > https://wiki.php.net/rfc/enumerations > > There's still a few bits we're sorting out and the implementation is > mostly done, but not 100% complete. Still, it's far enough along to start > a discussion on and get broader feedback on the outstanding nits. > > I should note that while the design has been collaborative, credit for the > implementation goes entirely to Ilija. Blame for any typos in the RFC > itself go entirely to me. > > *dons flame-retardant suit* > > -- > Larry Garfield > larry@garfieldtech.com > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: https://www.php.net/unsub.php > > --000000000000c03d4105b5e5c9a0--