Create accountLogin

Recent searches

No recent searches

Search options

Not available on mstdn.maud.io.
mstdn.maud.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
The place to express your ❤️ more freely. / あなたの「すき」をもっと自由に書き表すための場所。

Administered by:

Server stats:

341
active users

mstdn.maud.io: AboutStatusProfiles directoryPrivacy policyTerms of service

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.4+maud

tanakh はちょっと前に「ResultとOk/Errという命名はResult的用法に即しすぎている」というようなことを言っていたな(リンク紛失)

僕は以下トゥートが「Option の Some, None というバリアントの命名は意味が存在せず不適切だ」という意味だと思ってこのトゥートをした
mstdn.maud.io/@azyobuzin/101829489681004824

逆に考えると tanakh の件の発言は「Maybe, Either ぐらいの型は汎用的な利用にたえうる実装にすべきだ」ととれなくもない

Mar 28, 2019, 05:49 PM·Public·Web
0boosts·0favorites
SearchLive feeds
About