Garciat

from abc import ABC
from abc import abstractmethod
from abc import abstractproperty
from dataclasses import dataclass, field
from typing import Any
from typing import AsyncGenerator
from typing import Awaitable
from typing import Callable
from typing import Generator
from typing import Generic

Garciat

#!/usr/bin/env xdg-open

# Make sure the Python script has +x

[Desktop Entry]
Version=1.0
Name=Imgur Uploader
Exec=/path/to/imgur_upload %U
Terminal=true
Type=Application

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

curl https://gist.githubusercontent.com/Garciat/c01d75e88891f66c8565/raw/4f247e6affba184142d87dee7f8c39f153254149/test300.raw.xz.b64 | base64 -d | unxz > test300.raw

Garciat

#nullable enable

using System;

// ---

interface Hk<W, A> { }

// ---

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

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

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

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