この記事では、いくつかの例を元に、プログラミング言語の構文の「合理性」はどのような基準で測られるべきなのかを考えます。筆者の主観(感覚)に基づく基準もあり、普遍的な基準を作成することを目指しているわけではありません。「それはお前がそう思っているだけなのでは?」と思われる部分もあるかもしれません。仮説、あるいは議論の材料の提示と思...| blog.miz-ar.info
プログラミング言語の表層構文を見ていると、「自然言語(特に英語)に寄せたかったのかな」と思わされる語順を時々見かけます。例えば、Pythonの from somemod import a, b という語順は英語として自然に読めることを意識していると思われます。| 雑記帳
私が作っているStandard MLコンパイラー、LunarMLの近況報告記事です。LunarMLに関する直近の記事は でした。 400スター GitHubスター数が400に到達しました。ありがとうございます(執筆時点で […]| 雑記帳
可算選択公理を仮定しない構成的数学では、Cauchy列に基づいた実数の構成をやるときに完備性が示せなくなる(らしい)。この弱点は、実数の構成に使うCauchy列を有理数の点列ではなく、有理数の集合の列とすれば克服できる。| 雑記帳
前に書いた「TypeScript使いの憂鬱:never型はプロパティを持つか」の補足をして、関連する話題を取り上げます。前の記事では| 雑記帳
「集合\(A\)が有限集合であるとは、ある自然数\(n\)に対し、\(A\)と\(\{0,1,\dotsc,n-1\}\)の間に全単射が存在することである。一方、有限集合ではない集合は無限集合である。」| 雑記帳
プログラミング言語の静的解析の良い点として、一回の解析で複数の誤りを検出できる(場合がある)点があります。実行時エラーしか出ない言語だったら、一回の実行で一個のエラーに遭遇して、修正して、またエラーに遭遇して、ということ […]| 雑記帳
久しぶりにLunarMLの話題です。LunarMLは、私が作っているStandard MLコンパイラーです。 最近は、JavaScriptとの連携に関する機能を追加しています。Webで使えるようにするのと、Promise […]| 雑記帳
定理証明支援系 (proof assistant / interactive theorem prover) というのは、専用の言語で書いた証明を機械にチェックさせるツール、およびその証明の記述を支援するツールです。Ro […]| 雑記帳
去る6月14日・15日に東京・中野で開催されたイベント「関数型まつり」に行ってきました。と言っても、14日は地元で予定があったので、参加したのは15日だけです。 関数型まつり 3つの部屋でセッションが同時進行しており、ど […]| 雑記帳
構成的数学に基づいて解析学を展開し、プログラミングでそれを実装するようなコンテンツを作れないかなあと去年ぐらいから考えています。| 雑記帳
今度の6月1日に池袋で開催される技術同人誌即売会・技術書典18に、サークル「だめぽラボ」として新刊「作ってわかるTeX言語」を出します。既刊も、在庫のあるものは頒布します。| 雑記帳