タグ

2021年7月28日のブックマーク (2件)

  • Type Sets Proposal 勉強会 (2021/08/01 13:00〜)

    概要 GoのType Sets Proposalについて勉強する会です。 事前にNobishiiさんの資料 (下記) を読んだ上で、気になる箇所について議論します。 Go の "Type Sets" proposal を読む - Zenn Type Sets Proposalを読む(2) - Zenn また、事前にType Parameters Proposalに目を通しておくことをおすすめします。 オンライン (Google Meet) で行います。 進め方 Nobishiiさんの資料を上から読みつつ、気になった部分についてフリートーク形式で議論します。 議論中にType Sets Proposal体も参照します。 参加者がType Setsについての理解を深めることを目的にするので、事前に資料を読んでおく必要はありますが、必ずしも深く理解している必要はありません。 議論したいポイント

    Type Sets Proposal 勉強会 (2021/08/01 13:00〜)
  • パターンマッチの網羅性検査

    解決策1:パターンマッチをコンパイルするとき、「すべてのパターンが失敗したらexit 1する」コードをパターンマッチの最後に追加する。 解決策2:コンパイル時にパターンの網羅性を検査する。 解決策2のほうが望ましそうなので、解決策2を目指す。そのためには、パターンの網羅性を検査する処理を実装しなければならない。そのための情報収集を行う。

    yhara
    yhara 2021/07/28
    まとめありがたい