Keyboard shortcuts are available for common actions and site navigation. View Keyboard Shortcuts Dismiss this message
We've detected that JavaScript is disabled in your browser. Would you like to proceed to legacy Twitter?
Yes
療養中 / 計算機, プログラム意味論, FP, Web / イラスト描きます / 音ゲー好き / カラオケ大好き / エレキベース入門中 / Vtuberどハマリ中 / HERP, inc.
手続き型じゃなく関数型の教育用ビジュアルプログラミング環境を設計してるんだけど、結構難しい 真っ先に思いついたのは「縦向けにパイプを連結してそこに物を流す作業を、関数定義とその呼び出しに例える」という方法なんだけど、これだと高階関数と部分適用の概念との対応付けに無理があるpic.twitter.com/zg58ZJadBc
図が間違ってる 右端のパイプから最終的に出てくるのは 7
部分適用ですが、そもそもパイプの入口の個数が引数の個数に対応する気がするので、一本道で表すと無理が出てくるかもです。
関数の引数は1個しか存在を許されない (すべての関数がカリー化されている) 前提なんですがやっぱり無理がありますね()