ATS プログラミング入門

2026/11/04 4:25

ATS プログラミング入門

RSS: https://news.ycombinator.com/rss

要約▶

改善された要約:

ATS プログラミング言語に関するこの入門ガイドは、ATS Trustful Software, Inc. が出版し、2010 年以来ホンウェイ・シー氏によって著作権が保留されています。本書はジンニン、ゾー、クローに捧げられており、機能プログラミング、依存型、線形型、定理証明(PwTP)、多相型、再帰的に定義されたデータ型、テンプレートベースのプログラミング、単純型など、高度な機能を備えたsyntax が豊富な環境としての ATS を記述しています。初学者向けかつプログラミング経験が全くない方々のために設計されていますが、相当な事前知識がない場合には資料が密度が高いと認められています。本書は個人的な印刷を許可していますが、より広範な配布は制限されています。最終的に、それは厳格な使用ガイドラインを尊重しつつ、複雑なパラダイムへのアクセス可能な入り口として機能します。

本文

ATS 入門:型理論と証明論を備えたプログラミング言語

本書の概要

  • 対象言語: ATS(ATS Trustful Software)
  • 特徴: 豊富な構文でありながら、高度な機能が実装されています。
  • 前提知識: プログラミング経験が不十分な方は内容を密度が高いと感じる可能性があります。(一般的なプログラミング知識は不要ではありませんが必須ではありません)。
  • 権利表記: 本稿のすべての権利を留保します。個人利用目的での印刷のみ許可されます。
  • 献呈: ジニン、ゾエ、クローに捧ぐ。

ATS の核心機能

本書では、ATS ならではの高度な機能を以下に紹介します。

  • 基礎的な関数型プログラミング
  • 型指定: シンプルな型の宣言から始めます。
  • データ型定義: 再帰的に定義されたデータ型をサポートします。
  • 多項型 (Polymorphism): 汎用性の高い型システムを扱います。
  • 依存型 (Dependent Types): 値や計算結果に依存する型が可能です。
  • 線形型 (Linear Types): リソース管理を厳密に行う機能を提供します。
  • 定理証明: 証明論を用いた**定理証明(PwTP)**機能を実装できます。
  • テンプレートプログラミング: メタプログラミングによるコード生成が可能になります。

同じ日のほかのニュース

一覧に戻る →

2026/11/04 6:40

生成 AI の基礎:直感的な数学入門の小さな本

## Japanese Translation: 本書は、現代の生成人工知能の数学的基盤に対するコンパクトかつ導出志向的な導入を提供する。主となるモデルファミリー—including 主成分分析(PCA)と確率的 PCA、変分オートエンコーダー、正規化フロー、自己回帰的因数分解、拡散モデル、Wasserstein GAN、GAN、エネルギーベースモデル—to れらの間の深い相互関係を明らかにするために関連する概念を開発する。本書の目的は、生成モデリングの構造を理解しやすくしつつ、モデルの導出と関係性を理解するために必要な数学的な実体も保持することにある。本書は、数学に興味を持つ研究者、実践者、学生のための基礎構築用の入門書として機能する。メタデータには提出履歴が反映されており、v1 バージョンが 2026 年 5 月 28 日に(125 KB)、v2 バージョンが 2026 年 9 月 8 日に(1,168 KB)提出された。改訂を通じて、コアなミッションは元のドラフトと一貫して維持されている。

2026/11/04 6:51

PostgreSQL の内部構造

## Japanese Translation: 弘野博文氏のテキストの核心となるメッセージは、PostgreSQL と機械学習統合に特化した国際的なリモート職へのターゲットされた求人情報であり、ヨーロッパ、南半球、または東南アジアでのビザスポンサシップを具体的に要請しています。彼は最近の一時滞在からの回復後、日本に長期的に住み続ける意図を持っています。鈴木氏は、広範な技術的作業に対する商業契約を明確に提供しており、売上利益共有(売上 20%)または完全な買収(5,000,000 ユーロ)を含みます。彼の主要プロジェクトである「PostgreSQL の内部構造」は、2015 年 9 月 26 日に最初に公開され、バージョン 19-beta 以前の版本をカバーしています。最近の更新には、2026 年 5 月 1 日に出版された第 12 章(「論理的複製」)、2026 年 6 月 28 日に出版された 8.5 セクション(「非同期 I/O」)、および 2024 年 12 月 14 日に追加された第 11.2.4 セクションの衝突が含まれています。教育機関はこれらの教材の研究のために無料アクセスが与えられています。過去の XZ バックドア事件に関連する匿名脅威による過去のため、鈴木氏は連絡問い合わせを受諾する前に 2 つの SNS アドレスによるソーシャルメディアの認証を厳格に必要としています;匿名メッセージはもう受け入れられていません。

2026/11/04 6:39

Safari が 27.3 で適応型ダークモードを導入

## Japanese Translation: Apple は Safari 27.3 ベータ版で Adaptive Dark Mode を導入しました(ダークモードサポートは当初 Safari 12.1 で提供開始)。この機能は、明るい色のウェブサイトをダークなシステムインターフェース内でも表示できるようにすると同時に、既存のレイアウトを崩さずに処理することを目的としています。ページの色を自動的に解析し、色相を保ちながら輝度を反転させる高度なカラーマトリックスを採用し、アクセシビリティ向上のため WCAG 4.5:1 のコントラスト比を目標としています。以前のバージョンでは開発者のサポートがなかったためトラフィックの約 40% しかダークモードを利用できず(ネイティブ対応サイトは約 10%)、この新たなベータ版では既存コンテンツを自動的に適応させます。システムは SVG をピクセルヒストグラムで処理し、mix-blend-mode などのエフェクトによる視覚的な不具合を防ぐためにビットマップロゴを変換しますが、パフォーマンスとプライバシーを確保するため `<canvas>` コンテンツは変更しません。ユーザーが電力効率の向上から恩恵を受ける一方で、機能はユーザーのプライバシーを最優先としており、JavaScript の色クエリやキャンバスレンダリングも元の色を保つように設計されており、ウェブサイト自身でも検知不可能です。開発者には最適な互換性を得るために透明な背景など現代的な実践を採用するよう推奨されていますが、現時点では特定のメタタグを使用して変換から opting out(除外)することは可能でありながら、Safari 27.3 ベータ版 1 ではこの目的で"light only"キーワードをサポートしていません。