はてなブックマーク

つい最近まで知りませんでした… Schemeを使っている方には「letで末尾再帰するときのアレをEmacsでも使えるようにする」というので通じるとは思うのですが… 総和っぽいのを求める関数を定義してみましょう。 (defun sum-rec (n &optional sum) (if (<= 0 n) (sum-rec (1- n) (+ n (or sum 0))) sum)) (sum-rec 100) ;=> 5050 アルゴリズムも使い方もめちゃ簡単なのですが、この実装には問題があります。 Lispに限らずよくあるプログラミング言語には、関数呼び出しの「深さ」と、その上限という概念があります。関数呼び出しをして、呼び出された関数から関数を呼ぶと深さは1追加され、その関数が実行終了すると深さは1減ります。 なぜこの呼び出しの深さという数が大事なのかというと、一般的なプログラムでは繰り

こんにちは！ 楽しくPHPStanを使っていますか？ それともPHPStanに使われていますか？ PHPStanは非常に賢く、容易にPHPコードの 「嫌な気配」 を検知してくれます。ただ、PHPStanが指摘することが常に正しいなどといったことはなく、いつでもプログラムが動作しているという事実が前提で、静的解析はその影を追っているに過ぎません。 PHPStanがどのようなメカニズムで型を付けているのか理解できていないと、自我を失って機械に言われるがままに意図しないコードを書かされる人形になってしまいます。本稿ではPHPStanを自律的に使うために前提となる知識を紹介します。 ここからプログラミング言語と型、そしてPHPについての議論を始めたいのですが、「PHP」という名前はプログラミング言語の名前であり、PHP言語で書かれたソースコードを実行するプログラム名でもあります。ややこしいのですが

;; 作成 (setq plist '(:foo (:bar (:buz 0)))) ;; 読み取り (plist-get (plist-get (plist-get plist :foo) :bar) :buz) ;; スレッディングマクロを使うと読みやすく… なってねえな (require 'subr-x) (thread-first plist (plist-get :foo) (plist-get :bar) (plist-get :buz)) (require 'dash) (-some-> plist (plist-get :foo) (plist-get :bar) (plist-get :buz)) 更新は… えー、ここには書きたくないほどめんどくさいです。 読み取りについても、ここではプロパティリスト(plist)という記法を使っているのでplist-get関数を使ってい

こんにちは！ PHPStanを活用していらっしゃいますでしょうか。 PHPStanは今日では言わずと知れた静的解析ツールですが、プラグイン機構を備えており、型付けのためのさまざまな機能を提供しています。PHPStanはできるだけコードを書かずPHPDocによる記述だけで多くのケースには型をつけられるようになっていますが、残念ながら本稿執筆時点のPHPStan 1.10系ではPHPDocだけですべてのニーズを満たすことはできないため、より深くPHPStanを利用するにはプラグインの理解が必要になります。 プラグイン機構は外部パッケージによる拡張だけでなく、PHPStan本体に組み込まれている標準関数への型付けなどにも使われています。つまり、PHPStanがどのような原理で解析対象のコードに型をつけているのかを知るにはプラグインAPIへの理解が必要になります。本稿ではPHPStanの拡張API

背景 2023年10月に RFC 3339 を拡張する新たな日付時刻形式を定める RFC 9557: Date and Time on the Internet: Timestamps with additional information が IESG によって承認されました。 これは TC39 で標準化が進められている ECMAScript Temporal において、生成する文字列形式にタイムゾーンなどの追加情報を入れたいという話が発端となっています。その後 IETF SEDATE で標準化作業が進行し Java SE 8 DateTimeFormatter の ISO_ZONED_DATE_TIME が生成する ISO 8601 の独自拡張形式と互換性を持つ形で定義されました。 インターネットにおける日付時刻形式 インターネットにおいて用いられる日付時刻形式は、伝統的な RFC 9

【2025/05/11】 2024/12 の Module Harmony のスライドについて追記し、画像を更新 遅延再エクスポート、同期インポートの提案についての記述を追加 【2024/08/20】 WasmCG で進行している ES Module Integration についての記述を追加 インポート属性の assert キーワードが正式に仕様から取り除かれたのに追随 【2024/05/26】 せっかくなので好きなTC39 Proposals発表ドラゴンをファーストビューに追加 モジュールインスタンスフェーズがなくなり、ソースフェーズと同じレイヤーへと変更されたのに追随 インポート属性で assert キーワードの廃止が検討されていることを追記 同期モジュールアサートがディレクティブを使うよう変更されたのに追随 Compartments のインターフェースが変更されたのに追随し、独立

【2026/04/08】 Ref Counted Observable に対して Mozilla が反対の立場を取ったことを追記 【2025/02/25】 将来的に ReadableStream でも Async Iterator Helpers が使えるようになることを追記 誤っていたコードを修正 【2025/02/24】 Subscriber がアクティブな状態で、かつ1つ以上のオブザーバーによって購読されている場合、購読しても Observable のコンストラクタに渡した（プロデューサー）函数を呼ばず、Subscriber を再利用する仕様変更（Ref Counted Observavle）に追随し更新 SubscriptionObserverCallback が ObservableSubscriptionCallback にリネームされたのに追随し更新 WinterCG を W

PHPStan （PHP Static Analysis Tool）はコードを実行せずに検査できるツールです。本稿では業務アプリケーションにPHPStanを導入するまでに押さえておきたい事柄を記述します。 導入 PHPStanは本稿記述時点の1.9.x系において、PHP 7.2以降で実行できます。PHPStanは composer require --dev phpstan/phpstan でのインストールが基本です。 プロジェクトルートの phpstan.dist.neon に、以下のように記述してください。 pathsには実際にPHPファイルが格納されているディレクトリを指定しましょう。たとえばフレームワークによっては app inc public のようなディレクトリに配置されているかもしれません。 levelは現在のところ1〜9が定義されており、文字列の"max"を指定することで将

本稿が掲載されたWEB+DB PRESS誌は2023年8月発売のVol.136をもって休刊されることになりました。6月に発売されるVol.135を含めて残り2号ですが、PHPについての素晴らしい記事も掲載されているはずなのでぜひ手に入れましょう。 私は書けていません。 『WEB+DB PRESS』 休刊のお知らせ：WEB+DB PRESS｜技術評論社 PHPはWebと親和性の高いプログラミング環境です。HTTP (Hypertext Transfer Protocol)はWebの標準的な通信プロトコルであり、Webアプリケーションを実装するということは、利用者からのHTTPリクエストを受け付けてHTTPの仕様に沿った応答を返すプログラムを書くことにほかなりません。 実際にはWebサーバやPHP、あるいはWebアプリケーションフレームワークと呼ばれる層が巧妙に隠蔽してくれるので、HTTPにつ

【2023/05/17 変更】 2023年5月の TC39 会議で Stage 4 になったため、タイトルを変更 HTML Standard の pattern 属性に取り込まれたので修正 ES2024 RegExp v (unicodeSets) フラグ ES2024 に RegExp v (unicodeSets) フラグというものがあります。これは既存の u (unicode) フラグを改善して置き換え、機能追加することを目的としています。 詳しい内容については V8 や 2ality による解説記事が詳しいです。ここではその概要をピックアップして述べたいと思います。 複数のコードポイントからなる絵文字の対応（Unicode Properties of Strings） ES2015 に u (unicode) フラグが導入され、コードポイント単位で正規表現を扱えるようになりました。

この記事は Deno の内部コードについて述べています。一般的な JavaScript アプリケーションでは考慮しなくていい内容がほとんどを占めます。ご注意ください。 primordials.js について Deno が提供している API は多くが JavaScript で実装されています。もし何も考えずに単純な JavaScript のコードで API を実装してしまっていた場合、ネイティブのプロトタイプメソッドが変更されてしまったときに影響を受けてしまいます。 この問題を回避するため Deno の内部コードでは primordials.js というものが用意されてあります。一旦ネイティブのメソッドをキャッシュしておいて、通常のメソッド呼び出しを使わずにこちらを使うようになっています。 例えばコンソールで表示するために、Error オブジェクトの cause プロパティを辿って文字列化

PHPStanはPHPの静的解析ツールです。現代のPHPerはみんな使ってるよ。 ……ところで、みなさんはPHPStanをどうやってインストールしているのでしょうか。 PHPStan開発者のOndřej Mirtesは次のように述べています。 多くの場合において、Ondřejの言う通りcomposer require --devが最善のインストール方法です。 この記事では、なぜそれが推奨のインストール方法だと言えるのか、どのような場合に別の選択肢が候補に挙がるのかを解説します。 あと、この記事はPHPカンファレンス沖縄2022でPHPStanの使い方を説明するのにインストール方法まで説明する時間がとれないので書きました。 あらかじめ知っておきたいこと 事前知識: PHPStanパッケージの構造 PHPStanのリポジトリはGitHubでは以下の2リポジトリに分かれています。 https:/

【2023/04/29 追記】 各エンジンのコンソールの表示について、古くなっている記述を修正。 【2021/10/27 追記】 2021年10月の TC39 meeting で Stage 4 になったため記事のタイトル、一部内容を更新しています。 エラーを識別するモチベーション デバッグを容易にするためにエラーを識別したいことがあります。例えば Fetch API を二回実行した際にエラーが投げられてしまうことを考えてみます。

式、書いてますか？ 私は書いています。この記事を書いているみなさまも、おそらく書いているのではないでしょうか。 本稿では私が大好きな式プログラミングというスタイルのコーディングテクニックについて紹介します。 初めに申し上げたいのは、この記事の内容をお読みいただくことでPHPやプログラミング言語についての知識をある程度まで理解することはできますが、この記事が目指すポイントはある種のパズルであり、非実用的なテクニックでもあります。 しかし、私は思うのです。実用的なテクニックとは日常と過剰の間のどこかにあるのではないかと。 雑に眺めるPHPの風景 みなさまは普段、PHPのコードの規則について意識して書いてますでしょうか。 それをアバウトに表現すると、以下のように表現できるでしょうか。 .phpファイル内のテキストはそのままHTMLとして出力される スクリプトは<?php ... ?>または<?=

【2023/05/05 変更】 ES2023 Change Array by Copy の議論によって Array に追加するメソッドが減り、同様に Tuple から取り除かれた pushed や sorted などの独自メソッドについての記述を削除 Symbols as WeakMap keys が ES2023 となったため修正 0, -0, NaN の等価性、同値性が決まったため修正 JSON.parseImmutable が別提案としてスプリットされたため修正 支持されなかった Box についての記述を削除 【2025/04/15 変更】 Record & Tuple が廃止され、後続として新しい提案である Composites が登場したことを追記 JavaScript におけるイミュータブル、ミュータブル JavaScript においてプリミティブはイミュータブル、つまり変更不

はじめに この記事では TC39 のプロトタイプ汚染周りの提案、そしてグローバルやプロトタイプのプロパティ変更に耐えるためのコードである primordials.js について紹介します。 プロトタイプ汚染とは JavaScript はプロトタイプベースの言語です。どのオブジェクトもプロトタイプ（[[Prototype]] 内部スロット）を持っており、それを辿ることで継承を表現します（プロトタイプチェーン）。 JavaScript では基本的にどのオブジェクトも凍結されておらず、好きにプロパティを追加していくことができます。かつて Prototype JavaScript Framework や MooTools というライブラリが広く使われ、ビルトインオブジェクトのプロトタイプに独自のメソッドを追加して Web サイトを開発していました。しかしオブジェクトが直接所有するプロパティとプロト

【2024/10/08】 Stage 4 となり、ES2025 に入ることが確定したため、タイトルと本文を更新 TypeScript 5.6 がリリースされたため、Beta の記述を消去 【2024/08/11】 TypeScript の BuiltinIterator が IteratorObject にリネームされたため修正 【2024/07/28】 TypeScript 5.6 Beta より Iterator Helpers の型サポート BuiltinIterator が入るため、その章を追加 【2023/10/01】 2023年1月に Async Iterator Helpers が別の提案としてスプリットされ Stage 2 に降格されたため、一部内容を変更 【2022/12/02】 2022年11月に Stage 3 になったため記事のタイトル、一部内容を変更 イテレーター

構造化複製アルゴリズムとは 構造化複製アルゴリズム（The structured clone algorithm）とは HTML Standard の中で定義されている JavaScript の値をシリアライズ、デシリアライズするアルゴリズムのことを言います[1]。postMessage や、IndexedDB に格納する際など用いられます。 対応している値 ECMAScript で定義されているものについては Symbol を除くプリミティブ値とプリミティブラッパーオブジェクト Date RegExp[2] ArrayBuffer, SharedArrayBuffer ArrayBufferView (TypedArray, DataView) Map, Set Error[3] NativeError (EvalError, RangeError, ReferenceError, Sy

いや、ない（反語） ES2015 から導入された @@species について ES2015 からクラス構文が導入され、ビルトインクラスを継承したクラスを簡単に作れるようになりました。 ES2015 を策定するにあたって議論となったのがビルトインクラスそのものを返すメソッドの存在です。例えばこの MyArray のインスタンスで Array#map を実行したときにその返り値は MyArray であるべきでしょうか Array であるべきでしょうか。そしてそれをどうやって Array#map に伝えればいいでしょうか。 これを制御できるようにするのが @@species という Well-known Symbol です。普通は派生クラスを返しますが、任意のクラスを返すように変更することも可能になります。 class MyArray extends Array { // 明示的に @@spe

Annex B について JavaScript の言語仕様には Annex B という項目があります。ここには Web 互換性のために残されているレガシーな機能の仕様について記述してあり、新たに ECMAScript のコードを書く際にこれらの機能を使用したり、その存在を前提にしたりしてはいけないと明記されています。 String#big などの今となっては全く実用性のないメソッドや、escape, unescape 函数、もともと IE の独自実装だった String#substr などについて記述されています。 ブラウザではこれらの機能を取り除くことが出来ないので残念ながら扱うことが出来ます。また Chrome の JavaScript エンジンである V8 を使っている Node.js や Deno でも Web 互換性を重視していることもあって扱うことが出来ます。 一方で Web

この記事は React Advent Calendar 13日目の記事です。 皆さん、react-redux の hooks を使っていますか？ react-redux は v7.1 より useDispatch useSelector などいくつかの hooks が導入されました。 界隈ではどちらかというと、mapStateToProps の冗長さを置き換えるもの、あるいは Container / Presentation コンポーネント の区別を不要にするものとして注目されている感があります。実際、useSelector によって可能になった設計論は重要です。 しかし本記事ではそれらと違う観点、つまり「設計に失敗した Redux を立て直すための武器として react-redux の hooks がスゴい！」という方向からの解説を行います。 以下、redux のミドルウェアとして re

TypeScript に bivarianceHack と呼ばれるテクニックがある。 これは、関数を意図的に双変（bivariant） にするテクニックだ。著名なところだと React の型定義で使われている type EventHandler<E extends SyntheticEvent<any>> = { bivarianceHack(event: E): void }["bivarianceHack"]; 実は自分はこのテクニックをとあるコードベースで使ったことがあるのだが（そしてそこにはある程度やむを得ない事情があったのだが）、当然初めて見たメンバーにとっては意味がわからない箇所となってしまった。 実際 bivarianceHack が必要になる事情を説明すると結構話が長い上に込み入ってしまうので、この記事でできるだけ噛み砕いてその背景を説明しようと思う。 TL;DR Type

この実装だと当然エンコード済みの文字列も渡せてしまい、多重エンコードが起きる。未エンコードの文字列だけが渡ってくることをコンパイラレベルで検出したい。 幽霊型（Phantom Type） こういうとき、他の言語ではよく幽霊型が用いられる。次のリンク先は Scala での実装例を紹介している https://www.slideshare.net/AkinoriAbe1/aja-2016623 // 上記スライドの 6 枚目より class Str[T] (val str: String) trait Normal trait Encoded def encode(x: Str[Normal]) = new Str[Encoded](...) 内部では利用されない型パラメータ（ Normal Encoded ）を使って、Str[T] にはそういう種類があること、 Str[Normal] と S