ReactはUI = f(State)であるか？
ここで useProps はReactの実在APIではない. 以降では，通常はComponentの関数引数として受け取るpropsも，ハンドラから現在のpropsを読む概念的なHook操作として一般化して扱う. ユーザーが書くComponentはエフェクトフルな計算(effectful computation)として，React Fiberはそのハンドラ（解釈器）として見なせる. ただし，これはReactのすべてをAlgebraic Effectsだけで説明できる，という主張ではない. 特にRules of Hooksが要求する「Hook呼び出し列の静的な形」は，通常のMonadやAlgebraic Effectsの語彙だけでは捉えにくい. ここでは，まずRules of Hooksという規約があり，それがComponent bodyの形に制約をかける. その結果として，Hook呼び出し列
自作言語FixがAtCoderで使えるようになったので使い方を解説 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに 学びやすくて使いやすい関数型言語Fixを作っています。 2025年10月の言語アップデートにおいて、AtCoderでFixを使えるようになりました。 寛容にもマイナー言語を導入してくださるAtCoder社、および、言語アップデートに携わっていた有志の方々（特にFixを推薦してくださった方）に心より感謝申し上げます。 Fixはまだまだ発展途上の言語ですが、おそらく、ほとんどの問題を制限時間内に解くことができるのではないかと思います。 本記事では、AtCoderでFixを使うための環境構築の方法と、いくつかの問題の解答例を紹介しま
操作から意味へ ─ Haskell が変えた私のメンタルモデル - 一休.com Developers Blog
この記事は一休.com Advent Calendar 2025の 5日目の記事です。 私は毎年この時期になると Haskell に関する記事を投稿していますが、今年もまた Haskell を題材にしつつ、今回は Haskell を使うことがプログラミング中の思考にどのような影響を与えるかについて考察してみようと思います。 LLM と「言葉が思考を形づくる」という直感 LLM (Large Language Models、大規模言語モデル) は次にくる言葉を予測しているだけなのに、それが知性のように見える。「言葉の推定」でプログラミングすらできてしまうという事実に誰もが驚いたところだと思います。 LLM を本当の知性とみなすかどうかは議論の分かれるところだと思いますが、LLM の原理をみるに、少なくとも「言語」が推論や思考の形式に深く影響するという直感は正しいのではないかと思います。 とこ
Lysxia - A monad is just a submonad of the continuation monad, what's the problem?
A monad is just a submonad of the continuation monad, what's the problem? The previous post showed off the flexibility of the continuation monad to represent various effects. As it turns out, it has a deeper relationship with monads in general. Disclaimer: this is not a monad tutorial. It will not be enlightening if you’re not already familiar with monads. Or even if you are, probably. That’s the
プログラマーのための圏論
序文 しばらく前から、プログラマーを対象とした圏論に関する本を書こうと考えていた。計算機科学者ではなくプログラマー、科学者ではなくエンジニア向けだということに注目してほしい。正気の沙汰ではないし、本当に怖気づいてしまう。科学と工学の間に大きなギャップがあるのは否定できないと思う。自分自身がその分断の両側で仕事をしてきたからだ。それでも、物事を説明したいという強い衝動をいつも感じていた。簡潔な説明の達人だったリチャード・ファインマン1を心から尊敬している。自分がファインマンではないことは分かっているが、最善を尽くしたい。まずは、この序文――読者に圏論を学ぶ気を起こさせることを想定したもの――を公開することから始めようと思う。それによって議論を開始しフィードバックを募れることを願っている2。 ここからの数段落をかけて、この本があなたのために書かれたものであり、数学のうちでも特に抽象的な分野を学
型システムを知りたい人のための型検査器作成入門
@ 関数型まつり2025（2025-06-14） https://fortee.jp/2025fp-matsuri/proposal/5699c262-e04d-4f58-a6f5-34c390f36d0d
Tree Calculus | Hacker News
Tree Calculus is awesome with implications beyond this website.Shame the website doesn't attribute the creator and author Prof. Barry Jay. (Seems to be a pattern for them sadly, not sure why) See Jay's book on GitHub for more https://github.com/barry-jay-personal/tree-calculus/blob/mas... Note that it refers to his book on the "Specification" page :) > Seems to be a pattern for them sadly, not sur
Tree Calculus
Tree calculus is minimal, Turing-complete, reflective, modular Tree Calculus was discovered by Barry Jay. Check out his book and blog! The demos on this website were developed by Johannes Bader. See here for more background, resources and contact info. Minimal There is one operator △ that computes whenever it is acting on three values. Grammar: E ::= △ | E E Visually, △ is a tree node and the appl
John's Combinatory Logic Playground
000100011001100101000110100 000000101100000100100010101 11110111 101001000 11010000 111001101 000000000010110111001110011 11111011110000000011111001 10111000 00010110 0000110110 0011010100 0101000101 0001000001 0100000100 0101000100 0001000001 0100000100 0101000001 0001000001 0000000100 0101000101 0001000000 0000000100 0100000101 0000000001 0100000100 0001000100 0001000001 0100000000 0101000101 00
This FTP site
Index Unless specified otherwise, all the code and the documentation on this site is in public domain Recent changes: April 7, 2026 | RSS | Atom Computation Having an Effect; monads; programming as collaborative reference; effects without monads; Markov algorithms; R-technology; CK macros; generators vs. lazy evaluation; IO monad realized in 1965; grasping patterns; the mystery of assignment is s
12年前の『型システム入門』翻訳の思い出話
@ カワるガワるTAPLカタるヨる https://taplts.connpass.com/event/320294/
Direct-style Effects Explained
Direct-style Effects Explained By Noel Welsh on 24 Apr 2024 Direct-style effects, also known as algebraic effects and effect handlers, are the next big thing in programming languages. At the same time I see some confusion about direct-style effects. In this post I want to address this confusion by explaining the what, the why, and the how of direct-style effects using a Scala 3 implementation as a
型推論器の実装① Hindley-Milner型システム
Damas-Milner 型システム Damas-Milner 型システムとは、型の注釈を必要とせずに多相型を推論する、ラムダ計算の型システムである。ブログタイトルでは、より一般的に使われる Hindley-Milner という名称を用いたが、本稿では Damas-Milner の名称を用いたい。というのも、本稿では Robin Milner と Luis Damas による "Principal type-schemes for functional programs" で示されたアルゴリズムを直接実装するからである。 続き 型推論器の実装 ② Algorithm M 型推論器の実装 ③ 副作用のあるアルゴリズム 1. 言語（The language） 項（Term） 通常多相ラムダ計算では、ラムダ抽象に型がついたり、型適用、型抽象が構文に必要となるが、Damas-Milner 型システ
I'm Betting on Call-by-Push-Value
You come upon a function argument at a fork in the road. If it takes the left road, it’ll evaluate itself and then be passed to its function. If it takes the right road, it’ll pass itself to the function to be evaluated somewhere down the road (🥁🐍). Let’s bet on which road will be faster. We might suspect this is a rather boring bet. All we have to do is look down each road and see which one is
SML#プロジェクト
SML#はオープンソースの関数型プログラミング言語です。Standard MLと互換性を保ちながら、C言語やデータベースとの連携など実用上重要な機能を備えています。詳しくは「SML#について」をご覧ください。 val puts = _import "puts" : string -> int fun f x = ignore (puts (#b x)) val _ = f {a = "Hi", b = "Hello"} val _ = f {b = "World", c = "SML#"} 最近のニュース SML# 4.2.0 リリース 2025年3月24日 SML# 4.2.0 がリリースされました。 もっと読む... SML# 4.1.0 リリース 2024年11月15日 SML# 4.1.0 がリリースされました。 もっと読む... SML#の教科書が出ました 2021年4月15日
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Polynomial Functors: A Mathematical Theory of Interaction
Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad
A categorical view of computational effects - Lambda World Cádiz
関数型プログラミングの設計テクニック
GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc.
