Garciat

package main

import "fmt"

// ------------------------------------------------

type F1[T any, R any] interface {
	Apply(T) R
}

Garciat

package com.example.stages;

import java.util.Optional;

interface Person<Name, Age> {
    Name name();
    Age age();
}

record Person_Any<Name, Age>(Name name, Age age) implements Person<Name, Age> {}

Garciat

using System;

abstract class TySub<A, B>
{
    public abstract B Cast(A a);
}

class TySub_Refl<A, B> : TySub<A, B>
  where A : B
{

Garciat

from abc import ABCMeta
from abc import abstractmethod
from dataclasses import dataclass
from typing import Any
from typing import Callable
from typing import Generic
from typing import Optional
from typing import TypeVar
from typing import cast

Garciat

#nullable enable

using System;

// ---

interface Hk<W, A> { }

// ---

Garciat

package example.playground.parserclass;

import lombok.AllArgsConstructor;
import lombok.EqualsAndHashCode;
import lombok.RequiredArgsConstructor;
import lombok.Value;
import lombok.experimental.Delegate;

import java.util.function.BiFunction;
import java.util.function.Function;

Garciat

import Control.Exception
import System.IO.Unsafe

match :: (a -> b) -> a -> Maybe b
match m a = unsafeDupablePerformIO $
  handle (\(PatternMatchFail _) -> pure Nothing) $ do
    x <- evaluate (m a)
    return (Just x)

what :: Either a b -> Maybe b

Garciat

{-# LANGUAGE RankNTypes #-}
module Symbolic where

data Expr
  = Var -- x
  | Lit Double
  | BinOp BinOp Expr Expr
  | UnaOp UnaOp Expr
  deriving (Show, Eq)

Garciat

{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleContexts #-}

Garciat

package example.playground.ufuture;

import com.google.common.util.concurrent.FluentFuture;
import com.google.common.util.concurrent.Futures;
import com.google.common.util.concurrent.SettableFuture;
import lombok.EqualsAndHashCode;
import lombok.RequiredArgsConstructor;
import lombok.Value;

import java.util.concurrent.CompletableFuture;