Profilegithub-official-icon
profile

Prevent unintentional UI layout bugs at compile-time - A proof-of-concept demonstrating compile-time layout safety

Demo: Layout violations produce compile-time type errors.

About this site | Articles

About Me

taiyakihitotsu
TypeScript Engineer - Build reliable frontend systems using type-driven design | Clojure & Functional Programming

🚀 OPEN TO WORK — Seeking remote TypeScript-first Frontend engineering roles.

Experience
Ex-Lead Engineer who led a team of ~5 engineers and helped eliminate entire classes of frontend bugs through type-driven architecture. Strengthened system reliability by leading an 80% codebase refactor using fp-ts, reducing onboarding friction and preventing entire categories of runtime bugs through type-driven design.

Tech Stack
This site: TypeScript, React, Zustand, GSAP
Additional: fp-ts, Next.js, Jotai, Redux, Framer Motion, anime.js, zod

Contact/Location
Contact: GitHub (Email available on profile)
Location: Tokyo, Japan (UTC+09:00) - Remote (Flexible across time zones)

OSS Contributions

Active contributor to sindresorhus/type-fest, a widely-used TypeScript utility types library.

  • Improved IsEqual to handle complex edge cases (for Union/Intersection types).
  • Contributed fixes to core utility types.

type-fest

Projects

foxp

Playground | Source

Type-safe validation library for eliminating runtime errors

Reject invalid states (e.g., division by zero, invalid email patterns, layout conflicts) before execution.

const div = foxp.bi.div() // Use builtin provided by foxp.
div(foxp.putPrim(3), foxp.putPrim(2)).value //=> 3/2
// @ts-expect-error: Enforce non-zero divisor at compile-time.
div(foxp.putPrim(3), foxp.putPrim(0)).value
const invalid_email = foxp.putPrim('invalid-url')
// @ts-expect-error: Reject invalid url at compile-time.
foxp.tid<pre.IsEmail>()(invalid_email)

cion

Playground | Source

Type-level Lisp interpreter - fully developed at the type level.

const test_in_doc_a1: Cion.Lisp<`(/ 2 3)`> = '2/3'
// @ts-expect-error: Type '"0"' is not assignable to type '"nil"'.
const test_in_doc_a2_err: Cion.Lisp<`(/ 2 0)`> = '0'

clojure-patched

Source - Custom patches for Clojure, maintained via Gentoo Portage.

About this site

Leveraging cion and foxp to prevent unintended UI layout collisions.
This replaces manual inspection with automated, type-safe guarantees.

Core Principles:

  • Code-First: All article snippets are validated.
  • Compile-Time Safety: Eliminating critical UI errors before runtime.
  • Minimalist Architecture: Markdown-based content delivered via SSG.

Pipeline: Code-driven content -> Markdown (mdx) -> Type check (TypeScript/cion/foxp) -> UI (React/GSAP/Zustand) -> SSG (Vite)

Lighthouse:
Performance/99, Accessibility/100, Best Practices/100, SEO/100
https://pagespeed.web.dev/analysis/https-taiyakihitotsu-pages-dev/is10yjst6z?form_factor=mobile

Content: Repository | Report Issues
License: BSD 3-Clause License | CC BY 4.0

typescript