A comparison of algebraic data types and normal interitance

algebraic data types.phpt

<?php
enum AuthenticationType {
    Remote,
    UserDb($hash),
    PendingRequest($hash)
}

match ($AuthenticationType) {
    case AuthenticationType::Remote {
    }
    case AuthenticationType::UserDb($hash) {
    }
    case AuthenticationType::PendingRequest($hash) {
    }
}

inheritance.php

interface AuthenticationType {}

class Remote implements AuthenticationType {}

class UserDb implements AuthenticationType {
    public $hash;
    function __construct($hash) {
        $this->hash = $hash;
    }
}

class PendingRequest implements AuthenticationType {
    public $hash;
    function __construct($hash) {
        $this->hash = $hash;
    }
}


switch (true) {
    case $AuthenticationType instanceof Remote:
        break;
    case $AuthenticationType instanceof UserDb:
        $hash = $AuthenticationType->hash;
        break;
    class $AuthenticationType instanceof PendingRequest:
        $hash = $AuthenticationType->hash;
        break;
}