kinaba on Twitter: "続) 型tからsへの関数の型を「tを取ってsを返す関数全体の集合」と解釈すると破綻なのでこれを「tを取ってsを返す、しかし有限通りの引数でしか定義されてない部分関数全体」と解釈する。これは取り得る値全部の集合ではないが、""型検査に関しては元の素朴な解釈と完全に同じにふるまう"""

暮らしカテゴリーの変更を依頼記事元:

twitter.com/kinaba

2 usersがブックマークコメント

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

<iframe marginwidth="0" marginheight="0" src="https://b.hatena.ne.jp/entry.parts?url=https%3A%2F%2Ftwitter.com%2Fkinaba%2Fstatus%2F620978507443666944" scrolling="no" frameborder="0" height="230" width="500"><div class="hatena-bookmark-detail-info"><a href="https://twitter.com/kinaba/status/620978507443666944">kinaba on Twitter: "続) 型tからsへの関数の型を「tを取ってsを返す関数全体の集合」と解釈すると破綻なのでこれを「tを取ってsを返す、しかし有限通りの引数でしか定義されてない部分関数全体」と解釈する。これは取り得る値全部の集合ではないが、""型検査に関しては元の素朴な解釈と完全に同じにふるまう"""</a><a href="https://b.hatena.ne.jp/entry/s/twitter.com/kinaba/status/620978507443666944">はてなブックマーク - kinaba on Twitter: "続) 型tからsへの関数の型を「tを取ってsを返す関数全体の集合」と解釈すると破綻なのでこれを「tを取ってsを返す、しかし有限通りの引数でしか定義されてない部分関数全体」と解釈する。これは取り得る値全部の集合ではないが、""型検査に関しては元の素朴な解釈と完全に同じにふるまう"""</a></div></iframe>

プレビュー

規約違反を報告

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

kinaba on Twitter: "続) 型tからsへの関数の型を「tを取ってsを返す関数全体の集合」と解釈すると破綻なのでこれを「tを取ってsを返す、しかし有限通りの引数でしか定義されてない部分関数全体」と解釈する。これは取り得る値全部の集合ではないが、""型検査に関しては元の素朴な解釈と完全に同じにふるまう"""

続) 型tからsへの関数の型を「tを取ってsを返す関数全体の集合」と解釈すると破綻なのでこれを「tを取っ... 続) 型tからsへの関数の型を「tを取ってsを返す関数全体の集合」と解釈すると破綻なのでこれを「tを取ってsを返す、しかし有限通りの引数でしか定義されてない部分関数全体」と解釈する。これは取り得る値全部の集合ではないが、""型検査に関しては元の素朴な解釈と完全に同じにふるまう""