senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 23:09:08 JST orange orange

    オレンジが言いたい事としては、この議論をするなら、特に型システムの議論に慣れてない人がいる場合には、『動的静的の厳密な違いの話』( https://mstdn.nere9.help/@orange_in_space/105989721643608005 https://mstdn.nere9.help/@orange_in_space/105989751027039873 )と、『静的型な環境と動的型な環境それぞれの傾向の話』は厳密には違うって話もしてあげないと、混乱して可哀想かもって・・・><

    In conversation Wednesday, 08-Dec-2021 23:09:08 JST from mstdn.nere9.help permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: imgs.nere9.help
      orange (@orange_in_space@mstdn.nere9.help)
      from orange
      https://mathtod.online/@cmplstofB/105989698098192096 "「静的型が厳密」っていう表現,違和感あるな……。" これふたつの意味に取れる>< ひとつは、静的か動的の違いは「型検査をいつ行うか?」の話なので、『静的検査を行うけどゆるふわな型システム』の環境もあるし、『動的に型検査を行うけど型がガチガチな型システム』もあるので、静的型付け=ガチガチという事にはならない>< それは型システムが「強い」「弱い」という風に説明される事が多い方の話になる>< でもBさんが言いたいのはその話じゃ無さそう><
    2. Domain not in remote thumbnail source whitelist: imgs.nere9.help
      orange (@orange_in_space@mstdn.nere9.help)
      from orange
      Bさん、これ読むといいかも><(雪だるまアイコンの人の話が参考になるはず><) 動的型言語のふわふわ感 - Togetter https://togetter.com/li/163331

    Feeds

    • Activity Streams
    • RSS 2.0
    • Atom
    • Help
    • About
    • FAQ
    • TOS
    • Privacy
    • Source
    • Version
    • Contact

    senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

    Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.