GitHub - backstage/backstage: Backstage is an open framework for building developer portals
Backstage is an open source framework for building developer portals. Powered by a centralized software catalog, Backstage restores order to your microservices and infrastructure and enables your product teams to ship high-quality code quickly without compromising autonomy. Backstage unifies all your infrastructure tooling, services, and documentation to create a streamlined development environmen
GitHub - Kong/insomnia: The open-source, cross-platform API client for GraphQL, REST, WebSockets, SSE and gRPC. With Cloud, Local and Git storage.
Insomnia is an open-source, cross-platform API client for GraphQL, REST, WebSockets, Server-Sent Events (SSE), gRPC and any other HTTP compatible protocol. With Insomnia you can: Debug APIs using the most popular protocols and formats. Design APIs using the native OpenAPI editor and visual preview. Test APIs using native test suites and collection runner. Mock APIs using a cloud or self-hosted moc
Zod + Branded Typeで真の型安全へ
型安全、どうやって保証してる？ みなさんは普段どのように型の安全性を保証していますか？ TypeScriptを使っている方なら、型定義や型注釈、型推論で「型安全」を意識しているはずです。 しかし、実際のアプリケーション開発では「本当に型安全か？」と問われると、少し不安になることも多いのではないでしょうか。 Zodのスキーマ定義・型生成・データ検証 TypeScript界隈で人気の型安全ライブラリ「Zod」。 Zodを使えば、スキーマ定義・型生成・データ検証が一気通貫で行えます。 例えば「idは5桁かつ英数字のみ、nameは3文字以上15文字以下の文字列」としてUserSchemaを定義するとき、以下のようにスキーマ定義・型生成・データ検証ができます。 import { z } from "zod"; // スキーマ定義 const UserSchema = z.object({ id: z
TypeScript の型のみで世界一型の厳しいプログラミング
はじめに TypeScript の型は世界一自由度の高い設計になっていると思います。 その根拠として、型を関数型のように書けるというのが大きいと思います。 type Trim<S extends string> = S extends ` ${infer R}` | `${infer R} ` ? Trim<R> : S; 例えば、これは文字列の両端から空白を取り除く、str.trim() 相当のジェネリクスを含んだ型です。 (ジェネリクスは、型で用いられる引数のような存在だと思って貰えれば大丈夫です。) 実際に見てみましょう。 TypeScript Playground (この記事では、TypeScript v5.8 を使用します。) しっかり、str.trim() 相当の処理が型のみで推論できていることが分かります。 こんな事をここまで簡単に出来る言語は、TypeScript ぐらいで
TypeScriptのexhaustiveness checkをsatisfiesで簡単に書く
みなさん、TypeScript書いてますか？ ふと気づくと、もうTypeScript 1.0から数えても11年が経過しているんですね。筆者も2015年くらいから本格的に触り始めた組なので、そろそろTypeScript 10年選手を名乗ってもよさそうです。 さて、これだけ長いことTypeScriptを触っていると、昔の文法を前提とした手癖というものも蓄積されていくものです。同僚と雑談していたところ、手癖を改めるべき便利なイディオムを教えてもらったので、備忘録として残しておきます。 Before: 手癖で書いていたexhaustiveness check TypeScriptには、exhaustiveness checkというテクニックがあります。これは、TypeScriptの型システムを利用して、switch文やif文でユニオン型やEnum型の全てのケースを網羅しているかをチェックする手法で
TypeScript の型安全性を高める Branded Types
はじめに TypeScript は静的型付け言語として、コードの品質を向上させ、多くのバグを未然に防ぐ強力な型システムを提供しています。しかし、その構造的型システム（structural typing）には限界があります。似た構造を持つ型が互いに互換性を持ってしまうことで、意図しない代入や関数呼び出しが可能になり、論理的なエラーを引き起こす可能性があるのです。 このような問題に対処するために「Branded Types（ブランド型）」という手法が使われます。これは、TypeScript の型システムを拡張して名前的型システム（nominal typing）の特性を模倣し、似た構造でも異なる役割を持つ型を区別できるようにする手法です。 本記事では、Branded Types の基本概念から実装方法、実践的な活用例まで、段階的に解説していきます。 構造的型システムとその課題 TypeScrip
Branded Typeを活用したドメイン知識の表現
メディカルフォースでCTOをしている畠中です。 メディカルフォースでは新規事業として警備業界向けのSaaS「警備フォース」を開発しています。 「警備フォース」ではDDDおよびオニオンアーキテクチャを積極的に取り入れており、そちらで用いられているtipsについて共有できればと思っております。 要旨 かなりの長期間システムを運用する場合、DDDは強力な武器になると考えています。 コードを高凝集・低結合を保つことができ、変更がある際の変更箇所が明確になるという点と変更を行なった際の影響範囲が明確になるという点で特に価値を発揮します。 DDDにおいてドメイン層の中で不正なentityが発生しないようにすることは非常に重要です。 しかし、一部のドメイン知識はコードで表現をするのに工夫が必要です。 そこでドメイン知識を型として表現することで、特定の型あるいは特定の処理を通じた値やオブジェクトのみをen
筒で理解する反変・共変
この記事では、Java、Scala、TypeScriptなど、サブタイピング（subtyping）をサポートする言語であれば間違いなくサポートしているであろう「反変（contravariant）」・「共変（covariant）」について、視覚的なアナロジーを用いつつ解説したいと思います。コード例を含め全てTypeScriptを前提とした説明ですが、同様の機能を持った言語であれば概ね同じことが言えるはずです。 そもそもサブタイピングとは サブタイピングとは、型と型との間にサブタイプ（subtype）・スーパータイプ（supertype）という関係を定めて、スーパータイプである型の代わりとして、サブタイプである型を利用できるようにする仕組みです。 例えば、TypeScriptではstring型はObject型のサブタイプであるので、次のようにObject型の変数にstring型の値を代入するこ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - chrisbenincasa/tunarr: Create a classic TV experience using your own media - IPTV backed by Plex/Jellyfin/Emby
GitHub - galacean/engine: A typescript interactive engine, support 2D, 3D, animation, physics, built on WebGL and glTF.
GitHub - smogon/pokemon-showdown: Pokémon battle simulator.
GitHub - AmanVarshney01/create-better-t-stack: A modern CLI tool for scaffolding end-to-end type-safe TypeScript projects with best practices and customizable configurations
GitHub - bewcloud/bewcloud: A simpler alternative to Nextcloud and ownCloud, built with TypeScript and Deno using Fresh. 🦕 🍋
GitHub - Oliveriver/5d-diplomacy-with-multiverse-time-travel: 5D Diplomacy With Multiverse Time Travel
GitHub - useplunk/plunk: The Open-Source Email Platform
GitHub - mathuo/dockview: Zero dependency Docking Layout Manager. Supports Vanilla TypeScript, React and Vue.
GitHub - TypeStrong/typedoc: Documentation generator for TypeScript projects.
GitHub - thkruz/keeptrack.space: 🌎📡 TypeScript Astrodynamics Software for Non-Engineers. 3D Visualization of satellite data and the sensors that track them.
GitHub - fingerprintjs/fingerprintjs: The most advanced browser fingerprinting library.
https://x.com/petamoriken/status/1842993331263115545?s=12&t=WLoQjPOJLfZ0ZJFtTOS7aw