stefanofago73

<?php declare(strict_types = 1);

// ====================================================================
//
// Copy and Paste on https://3v4l.org/
// PHPStan & Psalm verified...
// Some code isn't the best but I want to transmit the ideas!
//
// ====================================================================

stefanofago73

<?php declare(strict_types = 1);

 /**
  * @template T of \UnitEnum
  * @param class-string<T> $enumType
  * @return callable():T
  **/
function randomEnumGenerator(string $enumType):callable
{
 /** @var array<T> $cases **/ $cases = [$enumType,"cases"]();

stefanofago73

import java.util.HashMap;
import java.util.function.Function;
import java.util.Arrays;
import java.util.List;
import java.util.stream.Collectors;
import java.util.stream.IntStream;
import java.util.Random;


interface Visitable<R,T extends Visitable<R,?>> {

stefanofago73

@startditaa

+-------------------+-------------------------------------------+
| Service Name | Description | | | | | | | | | | +-------------------+-------------------------------------------+ | Consumer Task / Capabilities | | |

stefanofago73

import java.util.List;
import java.util.Optional;
import java.util.function.Function;
import java.util.stream.Stream;
import static java.util.stream.Collectors.toList;

/**
 * 
 * @author Stefano fago

stefanofago73

import static java.util.stream.Collectors.toList;

import java.util.List;
import java.util.Optional;
import java.util.function.Function;


/**
 * 

stefanofago73

import java.util.ArrayList;
import java.util.LinkedList;
import java.util.List;
import java.util.function.Supplier;

interface ListDefinition<R> extends Supplier<List<R>>{
	
	default boolean canMutate() {
		return false;
	}

stefanofago73

Starting point:

https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/CharSequence.html

Points:
- This interface provides uniform, read-only access to many different kinds of char sequences.
- This interface does not refine the general contracts of the equals and hashCode methods. The result of testing two objects that implement CharSequence for equality is therefore, in general, undefined.
- toString method: Returns a string containing the characters in this sequence in the same order as this sequence.

So... Those point, in someway, dont' make me happy also if I consider what are the implementation... CharBuffer, StringBuilder, String...

stefanofago73

//
// Empty Typeclass
//
interface Empty<A> {

	A empty();

	static Empty<Integer> emptyInt() {
		return () -> 0;
	}

stefanofago73

/**
 * 
 * Here we have the originating grammar
 * 
 * Grammar ::= ( 
 * 'SINGLE-WORD' | 
 * 'PARAMETERISED-WORD' '('[A-Z]+')' |
 * 'WORD1' 'OPTIONAL-WORD'? | 
 * 'WORD2' ( 'WORD-CHOICE-A' | 'WORD-CHOICE-B' ) | 
 * 'WORD3'+