【TypeScript】値・型・名前空間の「三重定義」でReactコンポーネントをより柔軟に設計する
export type Rectangle = { height: number; width: number; }; export const Rectangle = { from(height: number, width: number): Rectangle { return { height, width, }; }, }; // Rectangleという宣言が型と値の両方で使える！ const rectangle: Rectangle = Rectangle.from(1, 3); サバイバルTypeScriptを読んだ方は、型（Type）と値（Value）を同じ名前で定義するテクニックとしてご存知かもしれません。 実はこれ、名前空間（namespace）も加えた 「三重定義」 が可能なんです。 今回は、この「三重定義」を活用することで実現できる、Reactコンポーネントの柔軟
GitHub - withastro/flue: The sandbox agent framework.
Flue is The Agent Harness Framework. If you know how to use Claude Code (or Codex, OpenCode, Pi, etc)... then you already know the basics of how to build agents with Flue. Flue is a TypeScript framework for building the next generation of agents, designed around a built-in agent harness. It's like Claude Code, but 100% headless and programmable. There's no baked-in assumption like requiring a huma
TypeScript で実装したワークフローの「正しさ」を Lean とランダムテストで検証する
TypeScript は、ワークフローのような処理を少量のコードで書けます。 たとえば「あるノードから次のノードへ進む」という処理だけなら、数十行で実装できます。 一方で、実装の規模が大きくなると、次のような不安が出てきます。 ワークフローを扱う関数の間で、ワークフローに期待する意味がずれていないか テストしていない入力で、想定外の振る舞いをしないか 実装を変更したとき、以前満たしていた性質を壊していないか この記事では、非常に小さなワークフローを題材にして、定理証明支援系 Lean を使い、TypeScript 実装が Lean で書いた基準となるモデルと一致するかを検査する方法を紹介します。 この記事で行うのは、TypeScript の実装そのものを Lean で完全に証明することではありません。 より具体的には、以下の構成になっています。 TypeScript でワークフローを実装す
Perry — TypeScript → Native
v0.5.306 — generational GC + lazy JSON tape default, faster than Node and Bun on most benchmarks One Codebase. Every Platform. Native Performance.Perry compiles TypeScript to native GUI and CLI apps on macOS, iPadOS, iOS, Android, Linux, Windows, watchOS, tvOS, WebAssembly, and the Web. No runtime. No Electron. Just native binaries.
GitHub - chenglou/pretext
Pure JavaScript/TypeScript library for multiline text measurement & layout. Fast, accurate & supports all the languages you didn't even know about. Allows rendering to DOM, Canvas, SVG and soon, server-side. Pretext side-steps the need for DOM measurements (e.g. getBoundingClientRect, offsetHeight), which trigger layout reflow, one of the most expensive operations in the browser. It implements its
JavaScriptとTypeScriptのpolyglot
Polyglot とは、複数のプログラミング言語 (あるいはより一般に、何らかのファイルフォーマット) で解釈できるプログラムのことで、多言語話者にちなんでこの名前がつけられています。Polyglotはしばしば、プログラミングに関する非実用的な探求として遊ばれます。 TypeScriptはJavaScriptのスーパーセットであるため、JavaScriptコードは自然にJavaScriptとTypeScriptコードのpolyglotとみなせます。しかしこれでは面白くないので、本稿では以下の条件を満たすpolyglotを提示します。 JavaScriptとして実行したときと、TypeScriptとして実行したときで、全く異なる処理が実行されること。 TypeScriptとして型エラーが生じないこと。 答え 本稿で提示する解答例は以下のコードです。 new (f())<0>/[/*]/ fu
GitHub - dupontcyborg/numpy-ts: Full NumPy, in TypeScript/JavaScript (94% coverage)
import * as np from 'numpy-ts'; // Array creation with dtype support const A = np.array([[1, 2], [3, 4]], 'float32'); const B = np.ones([2, 2], 'int32'); // Broadcasting and chained operations const result = A.add(5).multiply(2); // Linear algebra const C = A.matmul(B); const trace = A.trace(); // Reductions with axis support const colMeans = A.mean(0); // [2.0, 3.0] // NumPy-style slicing with st
Introducing Flint
ESLint has been the leading web ecosystem linter for a decade. Its dominance is being challenged by new native speed linters such as Biome and Oxlint that implement blazing fast linting using native speed languages. Even TypeScript’s source is being ported from TypeScript to Go. Yet, this Flint project -a new, experimental linter- is implemented in TypeScript rather than Go or Rust. Why does Flint
TypeScript 7で消えるtsconfigのレガシー設定。target: es5やbaseUrlにサヨウナラ
TypeScript 7で消えるtsconfigのレガシー設定。target: es5やbaseUrlにサヨウナラ TypeScript 7ではtarget: es5やbaseUrlといった長年のレガシーな設定が削除され、strict: trueが標準になるなどデフォルトの挙動が変更されます。本記事では、消えるレガシーな設定や挙動が変わる主要な設定について、設定の基本知識から代替案までを解説します。ご自身のtsconfig.jsonを更新する際の参考になれば幸いです。 TypeScript 7とは そもそもTypeScript 7ではコンパイラーが大きく変わります。現在のTypeScriptのコンパイラーはTypeScriptで記述されていますが、TypeScript 7ではGO言語によるネイティブコンパイラー「tsgo」となります。コンパイル速度が10倍向上するという公式発表があり、実際
GitHub - cloudflare/capnweb: JavaScript/TypeScript-native, low-boilerplate, object-capability RPC system
Cap'n Web is a spiritual sibling to Cap'n Proto (and is created by the same author), but designed to play nice in the web stack. That means: Like Cap'n Proto, it is an object-capability protocol. ("Cap'n" is short for "capabilities and".) We'll get into this more below, but it's incredibly powerful. Unlike Cap'n Proto, Cap'n Web has no schemas. In fact, it has almost no boilerplate whatsoever. Thi
Biome v2の型推論を試して限界を知る
皆さんこんにちは。先日、Biome v2がリリースされ話題となりました。Biome v2の新機能の一つに型推論があります。 TypeScriptコードに対するlintにおいて型情報を使う (type-aware linting) 機能は、これまでのところTypeScript-ESLintによって提供されてきました。これは、実際のTypeScriptコンパイラを使って型情報を取得するので、重いという欠点がありました。TypeScript自体もGoへの移植などを通じてパフォーマンス改善に取り組んでいますが、Biomeはこの問題に対して別のアプローチをとっていました。それが、本家TypeScriptコンパイラに頼らず独自に型推論を行うというものです。 ただし、TypeScriptコンパイラは非常に複雑なシステムであり、別実装でその型推論結果を完全に再現するのはまず不可能です。そのため、Biome
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - vercel-labs/just-bash: Bash for Agents
GitHub - cjpais/Handy: A free, open source, and extensible speech-to-text application that works completely offline.
GitHub - flint-fyi/flint: [Experimental] A fast, friendly linter. ❤️🔥![GitHub - flint-fyi/flint: [Experimental] A fast, friendly linter. ❤️🔥](https://cdn-ak-scissors.b.st-hatena.com/image/square/a44fa93a66e6ea9a674d730add7456734c7986a4/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Frepository-images.githubusercontent.com%2F988429140%2Fce077a43-7c9b-4e67-b624-3049017bb340)
TypeScriptだけで「なんちゃってOS」を作ってみた【コードあり】 - Qiita
GitHub - fumieval/ts-module-isolation: Ensure separation of concerns via directory structure
GitHub - ArnaudBarre/tsl: An extension of tsc for type-aware linting
GitHub - pmndrs/valtio: 🧙 Valtio makes proxy-state simple for React and Vanilla
GitHub - mizchi/similarity
GitHub - mizchi/lsmcp
