Benjamin Lesné

@benjaminlesne.bsky.social

52 Followers 361 Following

Web Developer | mainly with React https://benjamin-lesne.dev/

ReactJs code:
<img src={url} alt={caption} width="50" height="100" />

typescript code:
import { AreaChart, LineChart, Area, Line } from "recharts";

const sharedAmongGraphs = {
tickCount: 4,
stackId: "1", // should not be there
};

const LineGraph = () => (
<LineChart>
{/* ... */}
<Line {...sharedAmongGraphs} />
<Line {...sharedAmongGraphs} />
</LineChart>
);

const StackedArea = () => (
<AreaChart>
{/* ... */}
<Area {...sharedAmongGraphs} />
<Area {...sharedAmongGraphs} />
</AreaChart>
);

$type Whitespace = " " | "\t" | "\n" | "\r" type TrimLeft<S extends string> = S extends `${Whitespace}${infer Rest}` ? TrimLeft<Rest> : S; type TrimRight<S extends string> = S extends `${infer Rest}${Whitespace}` ? TrimRight<Rest> : S; type Trim<S extends string> = TrimLeft<TrimRight<S>>; type SplitStatements<S extends string> = S extends `${infer First};${infer Rest}` ? [...ParseStatement<Trim<First>>, ...SplitStatements<Trim<Rest>>] : S extends `${infer Last}` ? Last extends "" | `${Whitespace}${string}` ? [] : [...ParseStatement<Trim<Last>>] : []; type ParseStatement<S extends string> = S extends `${("let" | "const" | "var")} ${infer VarName}${Whitespace}=${Whitespace}${string}` ? [{ id: Trim<VarName>; type: "VariableDeclaration" }] : S extends `${infer FuncName}(${infer Arg})` ? [{ argument: Trim<Arg>; type: "CallExpression" }] : []; type Parse<S extends string> = SplitStatements<Trim<S>>;$

const createStreetLight = <Color extends string>(
colors: Array<Color>,
defaultColor: NoInfer<Color>
) => {
console.log(colors);
return defaultColor;
};

type Fn = <Color extends string, Colors extends string[] = Color[]>(
colors: Colors,
defaultColor: Colors[number]
) => Colors[number];

const createStreetLight: Fn = (colors, defaultColor) => {
console.log(colors);
return defaultColor;
};

type ComposeFunction = <F, G, H, Result>(
f: (arg: F) => G,
g: (arg: G) => H,
h: (arg: H) => Result
) => (arg: F) => Result;

const compose: ComposeFunction = (f, g, h) => (a) => h(g(f(a)));

type FirstChar<T extends string> = T extends `${infer First}${string}`
? First
: never;
const firstChar = <T extends string>(x: T) => x[0] as FirstChar<T>;
const upperCase = <T extends string>(x: T) => x.toUpperCase() as Uppercase<T>;
const lowerCase = <T extends string>(x: T) => x.toLowerCase() as Lowercase<T>;
const firstItem = <T extends Array<string>>(x: T): T[0] => x[0];
const makeTuple = <T extends string>(x: T): [T] => [x];
const makeBox = <T>(value: T) => ({ value });

declare function DynamicParamsCurrying<T extends (...args: any) => any>(
fn: T,
): CurriedFunction<Parameters<T>, ReturnType<T>>;

type CurriedFunction<Params extends Array<any>, Return> = <T extends Partial<Params>>(
...args: T
) => T["length"] extends Params["length"]
? Return
: T["length"] extends number
? CurriedFunction<DropFirst<Params, T["length"]>, Return>
: never;

type DropFirst<
T extends Array<any>,
Count extends number,
Acc extends Array<any> = [],
> = Acc["length"] extends Count
? T
: T extends [infer _, ...infer Rest]
? DropFirst<Rest, Count, [...Acc, _]>
: T;

type GetNextDestination<T extends string> =
T extends `${infer Destination}-${infer Rest}`
? [Destination, `-${Rest}`]
: [T, ""];

type GetNextFuelAmount<
T extends string,
Accumulator extends string[] = []
> = T extends `-${infer Rest}`
? GetNextFuelAmount<Rest, ["-", ...Accumulator]>
: [Accumulator["length"], T];

type GetRoute<
T extends string,
Accumulator extends any[] = [],
Fuel extends GetNextFuelAmount<T> = GetNextFuelAmount<T>,
Destination extends GetNextDestination<Fuel[1]> = GetNextDestination<Fuel[1]>,
RestOfRoute extends string = Destination[1]
> = RestOfRoute extends ""
? Destination[0] extends ""
? Accumulator
: [...Accumulator, [Destination[0], Fuel[0]]]
: GetRoute<
RestOfRoute,
Accumulator extends []
? [[Destination[0], 0]]
: [...Accumulator, [Destination[0], Fuel[0]]]
>;

type PerfReview<T extends AsyncGenerator> = T extends AsyncGenerator<
infer R,
any,
any
>
? R
: never;

$type EmailAddress = string & { __branded: "" }; function isEmail(email: string): email is EmailAddress { return email.includes("@") } function runDeepInMyCodebase(userInput: string) { if (isEmail(userInput)) { console.log("An email!", userInput); // ^? userInput: EmailAddress } }$

$type ThreeStringsTuple = [string, string, string]; type LengthOfString< S extends string, T extends any[] = [] > = S extends `${infer _}${infer Rest}` ? LengthOfString<Rest, [...T, any]> : T["length"]; type GetRating< Index extends number, Rating extends "naughty" | "nice" = "nice", Accumulator extends number[] = [], Max extends number = 0 > = Index extends Max ? Rating extends "naughty" ? "nice" : "naughty" : GetRating< [Index, ...Accumulator]["length"], Rating extends "naughty" ? "nice" : "naughty", [Index, ...Accumulator], Max extends 0 ? Index : Max > type ToObject<T extends ThreeStringsTuple> = { name: T[0]; rating: GetRating<LengthOfString<T[0]>>; count: T[2] extends `${infer N extends number}` ? N : never; }; type FormatNames<T extends ThreeStringsTuple[]> = { [K in keyof T]: ToObject<T[K]>; };$

type Excuse<T extends Record<string, string>> = {
new (excuses: Record<string, unknown>): {
[K in keyof T]: K extends string ? `${K}: ${T[K]}` : never;
}[keyof T];
};

enum Gift {
Coal = 0,
Train = 1,
Bicycle = Train << 1,
SuccessorToTheNintendoSwitch = Bicycle << 1,
TikTokPremium = SuccessorToTheNintendoSwitch << 1,
Vape = TikTokPremium << 1,
Traditional = Train | Bicycle,
OnTheMove = Coal | TikTokPremium | Vape | Bicycle,
OnTheCouch = (OnTheMove & ~Bicycle) | SuccessorToTheNintendoSwitch,
}

/// <reference types="node" />

declare module 'santas-special-list' {
export type Status = 'naughty' | 'nice'
export type Child = {
name: string;
status: Status
}
export type List = Child[]

$declare namespace NodeJS { interface ProcessEnv { MOOD_LIGHTS: "true"; BATH_TEMPERATURE: "327.59"; STRAWBERRIES: "chocolate"; } }$