Keyboard Shortcuts

Keyboard shortcuts are available for common actions and site navigation.

Skip to content
  • Home Home Home, current page.
  • About
  • Have an account? Log in
0918nobita's profile
kodai
kodai
kodai
@0918nobita

Tweets

kodai

@0918nobita

療養中 / 計算機, プログラム意味論, FP, Web / イラスト描きます / 音ゲー好き / カラオケ大好き / エレキベース入門中 / Vtuberどハマリ中 / HERP, inc.

WEIRD
github.com/0918nobita
Joined September 2017

Tweets

  • © 2020 Twitter
  • About
  • Help Center
  • Terms
  • Privacy policy
  • Cookies
  • Ads info
kodai‏ @0918nobita

手続き型じゃなく関数型の教育用ビジュアルプログラミング環境を設計してるんだけど、結構難しい 真っ先に思いついたのは「縦向けにパイプを連結してそこに物を流す作業を、関数定義とその呼び出しに例える」という方法なんだけど、これだと高階関数と部分適用の概念との対応付けに無理があるpic.twitter.com/zg58ZJadBc

11:00 PM - 15 Jan 2020
  • 1 Retweet
  • 10 Likes
  • wass やぎちゃん たた nori 村本章憲 tkr Ryutan S ERA 石宮鏡太郎 Ken ichi AKIMOTO
2 replies 1 retweet 10 likes
    1. kodai‏ @0918nobita 16m16 minutes ago

      図が間違ってる 右端のパイプから最終的に出てくるのは 7

      0 replies 0 retweets 0 likes
      Show this thread
    1. New conversation
    2. Aruneko@OSC大阪‏ @aruneko99 15m15 minutes ago
      Replying to @0918nobita

      部分適用ですが、そもそもパイプの入口の個数が引数の個数に対応する気がするので、一本道で表すと無理が出てくるかもです。

      1 reply 0 retweets 1 like
    3. kodai‏ @0918nobita 12m12 minutes ago
      Replying to

      関数の引数は1個しか存在を許されない (すべての関数がカリー化されている) 前提なんですがやっぱり無理がありますね()

      1 reply 0 retweets 0 likes
    4. 1 more reply

    • © 2020 Twitter
    • About
    • Help Center
    • Terms
    • Privacy policy
    • Cookies
    • Ads info