2022年10月20日のブックマーク (2件)

  • YARDタグからRBSを生成する - スペクトラム

    YARD YARDはドキュメンテーションツールです。 Rubyのコメントに # @param [String] a # @return [void] def foo(a) end みたいな記述を見たことがありませんか? この@paramがYARDのタグ名、[String]がタグのもつ型情報です。aは引数の名前ですね。 YARDではこの型情報を元にリンクを貼ったwebページを生成したりできます。 rubydoc.infoがまさにYARDによって生成されていますね。 RBS RBSはRuby公式の型を記述する書式、およびツールの名前です。 こんなかんじです。 def foo: (String a) -> void YARD to RBS では # @param [String] a # @return [void] def foo(a) end とかかれたソースコードを読み込んで def fo

    YARDタグからRBSを生成する - スペクトラム
    tmtms
    tmtms 2022/10/20
    個人的には Ruby の型は YARD から生成するのが一番便利だと思ってたのでよさそう。
  • 住民のマイナカードに誤って保険証機能を登録 滋賀・栗東市、「想定外」解除できず|社会|地域のニュース|京都新聞

    滋賀県栗東市が、住民女性(50)のマイナンバーカードを誤って健康保険証として使える「マイナ保険証」に登録していたことが22日分かった。市は女性に謝罪した。国によると、登録は解除できないという。 女性の話では8月18日、マイナポイントが付与される公的給付金の受取口座をカードに登録しようと市役所を訪問。保険証機能は登録したくないと考え、窓口職員に意思を伝えたが、誤登録されたという。 市によると、職員は来、タブレット端末の登録画面を人に確認してもらい登録を進めるが、保険証のひも付けに関する職員の記憶が定かでない、という。 いったん登録したマイナ保険証が削除できないことに関し、厚生労働省は「削除手順を整備していない。ひも付けによる不利益がなく、こうした(削除)要望が出ると想定していなかった」とした上で「削除の要望が来ており、検討しているが、健康保険組合など保険者の協力が必要になる」と説明してい

    住民のマイナカードに誤って保険証機能を登録 滋賀・栗東市、「想定外」解除できず|社会|地域のニュース|京都新聞
    tmtms
    tmtms 2022/10/20
    虚構新聞じゃなかった