オブジェクト指向におけるVisitorパターンは、F代数によるμ再帰を Church encoding したもの
某所で オブジェクト指向 (OOP) における Visitorパターン について話されていたので、自分の関数型プログラミングのメモ用に整理してみたいと思います。 （Twitterで書くには少し長すぎたので、こちらに整理） 2021/01/10 EDIT: Church (Boehm–Berarducci) エンコーディングとVistorパターンについての具体的な事例は、こちらの記事が分かりやすいので、ご参照ください。 Haskell for all: The visitor pattern is essentially the same thing as Church encoding 概要 OOP における Visitor パターンは、関数型プログラミング的に言えば、（パターンマッチする）F代数によるμ再帰を Church encoding したもの。 つまり、 を関数適用して、結果 a
ファッションデザイナーの三宅一生さん死去 84歳 | NHK
デザイン性と機能性をあわせ持った革新的な衣服を次々に世に送り出し、国際的に高い評価を受けた、ファッションデザイナーの三宅一生さんが、今月5日、亡くなりました。84歳でした。 三宅さんは1938年に広島県で生まれ、多摩美術大学を卒業後、ヨーロッパやアメリカでファッションデザイナーとして修行を積み、1970年に東京にデザイン事務所を開きました。 その後パリやニューヨークで作品を発表し、日本の伝統美と新素材との融合を図った斬新なデザインで世界的に注目を集めました。 生地を立体的に縫い合わせるのではなく、折り畳んだりくりぬいたりすることで身にまとう「一枚の布」というコンセプトでデザインされた衣服は、ファッションをアートに高めたと評され、小さく収納できるのが特徴の「PLEATS PLEASE」や、コンピューターで設計された生地から衣服を切り出す「AーPOC」などのシリーズはデザイン性と機能性を追求し
ソウルなどの首都圏中心に浸水被害 韓国大統領が対策を指示 | NHK
停滞する前線の影響で、韓国ではソウルなどの首都圏を中心に猛烈な雨が降って各地で浸水の被害が起きていて、ユン・ソンニョル（尹錫悦）大統領は人的被害が出ないよう対策の徹底を指示しました。 韓国では停滞する前線の影響で首都圏を中心に8日から大雨となっていて、ソウルでは局地的に1時間に100ミリを超える猛烈な雨が降って各地で浸水被害が起きました。 韓国の公共放送KBSは、特設ニュースを放送し、ソウル市内で濁った水が川のように道路を勢いよく流れる様子や、建物の内部に水が流れ込む状況などを伝えて、市民に警戒を呼びかけました。 また、倒れた街路樹の対応にあたっていた人が1人亡くなっていて、防災当局は感電によって死亡したとみて詳しい状況を調べています。 ソウルの一部では1時間当たりの雨の量が、市内で過去最も多かった1942年8月の記録を上回ったと報じられていて、韓国メディアは「80年ぶりの記録的豪雨だ」と
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
