gvergnaud

  type Range<n, range extends any[] = []> =
    range['length'] extends n ? range : Range<n, [...range, range['length']]>
  
  type Drop1<a extends any[]> =
    a extends [...infer inits, any] ? inits : []
  
  type Concat<a extends any[], b extends any[]> = [...a, ...b]
  
  type Plus<a, b> =
    [...Range<a>, ...Range<b>]['length']

gvergnaud

import type { Equal, Expect } from '@type-challenges/utils'

type Assign<A, B> = {
    [K in keyof A | keyof B]: K extends keyof B
        ? B[K]
        : K extends keyof A
        ? A[K]
        : never;
}

gvergnaud

// mapped type version
type Fn<T> = {
  [K in keyof T]: [K, T[K]] /* arbitrary fn using K and T[k]  */;
};

// distributive union version
type Fn2<T> = FromEntries<
  keyof T extends infer K
    ? K extends keyof T
      ? [K, [K, T[K]] /* arbitrary fn using K and T[k]  */]

gvergnaud

// a conditional type is just type-level code branching

// A extends B means "A is assignable to B"

type Test1 = "hello" extends string ? true : false;
//     ^?

type Test2 = 2 extends string ? true : false;
//     ^?

gvergnaud

type MergeParameters3<T extends readonly UnknownFunction[]> = H.Pipe<
  T,
  [
    H.Let<"parametersList", H.Tuples.Map<H.Functions.Parameters>>,
    H.Let<
      "longestLength",
      H.ComposeLeft<
        [
          H.Get<"parametersList">,
          H.Tuples.Map<H.Tuples.Length>,

gvergnaud

import { arg0, Call, Constant, Eval, Fn, Objects, Tuples } from "../src/index";

type Ok<A> = { tag: "Ok"; value: A };

type Err<B> = { tag: "Err"; value: B };

type Result<A, B> = Ok<A> | Err<B>;

type ParseError<expected = unknown, encountered = unknown> = {
  expected: expected;

gvergnaud

useEffect(() => {

})

<>
  <Child log1 />
  {console.log("log3")}
  <Child log2 />
&gt;

gvergnaud

export function usePrevious<T>(value: T): T | undefined {
    const ref = React.useRef<T>();

    React.useEffect(() => {
        ref.current = value;
    });

    return ref.current;
}

gvergnaud

type RafState<Args> =
    | { type: 'waiting'; latestArgs: Args; rafId: number }
    | { type: 'idle' };

export const animationFrameThrottle = <Args extends any[]>(
    callback: (...args: Args) => unknown,
): ((...args: Args) => void) & { cancel: () => void } => {
    let state: RafState<Args> = { type: 'idle' };

    const cancel = () => {

gvergnaud

import { createLiveState, crdtSchema } from "@/lib/live-state";

export type NotebookJSON = {
  title: string;
  description: string;
  cells: TextCell[];
};

const notebookCRDTSchema = {
  title: crdtSchema.LiveText(),