7h3kk1d

Slack Variety Pack
Unfilter
Somebody's Gotta Win with Tara Palmeri
A Life Well Wasted
Behind The Tech with Kevin Scott
Self-hosted Web
The Tim Ferriss Show
Newton's Law
TED Radio Hour
Work, Life, and RV Podcast

7h3kk1d

package com.jnape.palatable.lambda;


import com.jnape.palatable.lambda.adt.hlist.HList;
import com.jnape.palatable.lambda.functions.builtin.fn3.ZipWith;
import com.jnape.palatable.lambda.monoid.builtin.Join;

import java.util.List;

import static com.jnape.palatable.lambda.adt.hlist.HList.nil;

7h3kk1d

import java.sql.Date;

public record Dog(String name, Date birthdate) {}

7h3kk1d

public class TransactionExample {
    public static void main(String[] args) {
        Transactor<IO<?>, Unit, String> transactor = new Transactor<>() {
            @Override
            public <A> IO<Either<String, A>> runTransactional(Transactional<IO<?>, String, Unit, A> transactional) {
                Unit connection = UNIT;
                return IO.io(() -> System.out.println("Starting Transaction"))
                        .discardL(transactional.run(connection)
                                          .<IO<Either<String, A>>>coerce()
                                          .flatMap(e -> e.match(s -> IO.io(() -> System.err.printf("Rolling back transaction due to %s%n", s)),

7h3kk1d

public sealed interface Failable<A> extends CoProduct2<List<String>, A, Failable<A>>, Monad<A, Failable<?>> {
    @Override
    default <B> Failable<B> flatMap(Fn1<? super A, ? extends Monad<B, Failable<?>>> fn1) {
        return match(Failed::new, fn1.fmap(Monad::coerce));
    }

    @Override
    default <B> Failable<B> pure(B b) {
        return new Success<>(b);
    }

7h3kk1d

public class Person<F extends MonadRec<?, F>> {
    MonadRec<Integer, F> age;
    MonadRec<String, F> name;

    public Person(MonadRec<Integer, F> age, MonadRec<String, F> name) {
        this.age = age;
        this.name = name;
    }

    public static Person<ReaderT<String, Either<String, ?>, ?>> personValidation() {

7h3kk1d

package com.thekkid.ninetyninelambdas.problems;

import com.jnape.palatable.lambda.adt.Unit;
import com.jnape.palatable.lambda.functions.builtin.fn2.ToCollection;
import com.jnape.palatable.lambda.functor.builtin.State;
import com.jnape.palatable.lambda.io.IO;
import com.jnape.palatable.lambda.monad.MonadRec;

import java.util.ArrayList;
import java.util.Collections;

7h3kk1d

public abstract class Bool extends Number implements CoProduct2<Bool.False, Bool.True, Bool> {
    @Override
    public byte byteValue() {
        return match(constantly((byte) 0),
                     constantly((byte) 1));
    }

    @Override
    public short shortValue() {
        return byteValue();

7h3kk1d

Prelude> [\x -> x + 1, \x -> x -1] <*> [1,2]
[2,3,0,1]
Prelude> [1,2] >>= \y -> [y+1, y-1]
[2,0,3,1]

7h3kk1d

import random

while True:
    a = [random.randint(1, 6), random.randint(1, 6), random.randint(1, 6), random.randint(1, 6)]
    print(a)
    if len(set(a)) == 1:
      break