Skip to content

Instantly share code, notes, and snippets.

package com.uber.playground;
import lombok.NonNull;
import lombok.SneakyThrows;
import lombok.Value;
import org.jetbrains.annotations.Nullable;
import java.io.Serializable;
import java.lang.invoke.SerializedLambda;
import java.lang.reflect.InvocationTargetException;
package com.uber.playground.typedexpr;
import lombok.Value;
import lombok.val;
import java.util.function.Function;
abstract class Type<T extends Type<T>> {
private Type() {}
package com.uber.playground;
import lombok.Value;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;
import java.util.Stack;
interface Expr<T extends Expr<T>> {
import java.math.BigInteger;
import java.util.ArrayList;
import java.util.List;
import java.util.function.*;
// Scott encoding of a Haskell's Maybe
interface Maybe<T> {
<R> R match(Supplier<R> nothing, Function<T, R> just);
function delay(n) {
return new Promise(accept => setTimeout(() => accept(), n));
}
async function cleanUp() {
let xs = Array.from(document.querySelectorAll('[aria-label=Edit]')).slice(0, 10);
console.log(xs);
xs.forEach(n => n.click());
await delay(1000);
package kata
// LastDigit kata
func LastDigit(as []int) int {
if len(as) == 0 {
return 1
}
return newModPowBase(&simpleGen{
state: 1,
base: as[0],
<!DOCTYPE html>
<html>
<head>
<style>
html, body {
height: 100%;
margin: 0;
}
</style>
<script>
<!DOCTYPE html>
<html lang="en-us">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">
<title>Mandala</title>
<style type="text/css">
html, body {
overflow: hidden;
width: 100%;
{-# Language ConstraintKinds #-}
{-# Language DataKinds #-}
{-# Language FlexibleInstances #-}
{-# Language KindSignatures #-}
{-# Language MultiParamTypeClasses #-}
{-# Language PolyKinds #-}
{-# Language RankNTypes #-}
{-# Language ScopedTypeVariables #-}
{-# Language TypeOperators #-}
module Schema where
@Garciat
Garciat / Vect.hs
Last active November 12, 2018 12:17
{-# Language DataKinds #-}
{-# Language GADTs #-}
{-# Language KindSignatures #-}
{-# Language NoImplicitPrelude #-}
{-# Language StandaloneDeriving #-}
{-# Language TypeFamilies #-}
{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
module Vect where