Skip to content

Instantly share code, notes, and snippets.

package main
import "fmt"
// ------------------------------------------------
type F1[T any, R any] interface {
Apply(T) R
}
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> {}
using System;
abstract class TySub<A, B>
{
public abstract B Cast(A a);
}
class TySub_Refl<A, B> : TySub<A, B>
where A : B
{
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
#nullable enable
using System;
// ---
interface Hk<W, A> { }
// ---
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;
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
{-# LANGUAGE RankNTypes #-}
module Symbolic where
data Expr
= Var -- x
| Lit Double
| BinOp BinOp Expr Expr
| UnaOp UnaOp Expr
deriving (Show, Eq)
{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleContexts #-}
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;