TGITS

import functools


def my_filter(predicate, seq):
    def filter_and_aggregate_as_list(accumulator, current_elt):
        if predicate(current_elt):
            accumulator.append(current_elt)
        return accumulator

    return functools.reduce(filter_and_aggregate_as_list, seq, [])

TGITS

import java.util.random.RandomGeneratorFactory;
var template = "Algorithm name : %s - group : %s - characteristics : {%s%s%s%s%s%s%s%s stateBits: %d }";
var algorithms = RandomGeneratorFactory.all().map(
                factory -> template.formatted(
                        factory.name(),
                        factory.group(),
                        factory.isSplittable() ? " splittable" : "",
                        factory.isStreamable() ? " streamable" : "",
                        factory.isJumpable() ? " jumpable" : "",
                        factory.isArbitrarilyJumpable() ? " arbitrary-jumpable" : "",

TGITS

//A exécuter sous JShell : /open RandomGenerationExampleScript.java
//Penser à configurer la console en UTF-8 avec chcp 65001 avant de lancer jshell

import java.util.random.RandomGenerator;
import java.util.random.RandomGeneratorFactory;

//Utilisation du générateur par défaut
var randomGeneratorDefault = RandomGenerator.getDefault();

System.out.println("Génération d'une valeur aléatoire booléenne : " + randomGeneratorDefault.nextBoolean());

TGITS

/**
 * A record to represent some characteristics of a noble House of Westeros
 * */
public record House(String name, String seat, String sigil, String familyWords) {
}

TGITS

//A exécuter sous JShell : /open RecordExampleScript_1.java

public record House(String name, String seat, String sigil, String familyWords) {
}

var house = new House("Stark", "Winterfell", "A Gray Direwolf", "Winter is coming");
System.out.println(house); // Utilisation implicte de la méthode toString
System.out.println(house.seat()); // Utilisation d'un accesseur

TGITS

//A exécuter sous JShell : /open RecordExampleScript_2.java

public record House(String name, String seat, String sigil, String familyWords) {
}

House house1 = new House("Stark", "Winterfell", "A Gray Direwolf", "Winter is coming");
House house2 = new House("Stark", "Winterfell", "A Gray Direwolf", "Winter is coming");
house1 == house2; // false - 2 références distinctes
house1.equals(house2); // true - comparaison basée sur le contenu
house1.hashCode() == house2.hashCode(); // true

TGITS

public record Pair<U,V>(U first, V second) {
    public static <U,V>Pair<U,V> of(U first, V second) {
        return new Pair<>(first,second);
    }
}

TGITS

//A utiliser sous JShell : /open HouseStarkExample.java
var houseStark = """
{
    "name": "Stark",
    "main_seat": "Winterfell",
    "ancestral_seat": "Winterfell",
    "sigil": "A Gray Direwolf",
    "family_words": "Winter is coming"
}""";

TGITS

//A utiliser sous JShell : /open TextBlockEndMarkerExample.java
var houseStark_1 = """
{
    "name": "Stark",
    "main_seat": "Winterfell",
    "ancestral_seat": "Winterfell",
    "sigil": "A Gray Direwolf",
    "family_words": "Winter is coming"
}
""";

TGITS

//A utiliser sous JShell : /open HouseStarkExampleWithEndlineSpaces.java
var houseStark = """
{
    "name": "Stark",                                       
    "main_seat": "Winterfell",                                           
    "ancestral_seat": "Winterfell",                                                    
    "sigil": "A Gray Direwolf",                                               
    "family_words": "Winter is coming"                                      
}""";