<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<oembed>
  <author_name>ehlfin</author_name>
  <author_url>https://blog.hatena.ne.jp/ehlfin/</author_url>
  <blog_title>エムスリーテックブログ</blog_title>
  <blog_url>https://www.m3tech.blog/</blog_url>
  <categories>
  </categories>
  <description>こんにちは，エムスリーエンジニアリングGの榎田（@niflh）です．趣味は数学とテレビゲームです． 以前の記事 で Scala を通して関数型を勉強した話をしましたが，最近社内で Scala with Catsを読む勉強会をしています．この本は，Cats という「Scala で関数型プログラミングをサポートするライブラリ」を勉強しつつ，関数型特有の概念に慣れ親しむことを目的としたものです． この勉強会も，参加者の皆さんと二人三脚で進み，モナドを扱う章に入りました．そんな中，参加者の一人から，次のような意見が出ました． モナドをやるとよく圏論が出てくるので，かじってみると面白い一方，よくわからな…</description>
  <height>190</height>
  <html>&lt;iframe src=&quot;https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.m3tech.blog%2Fentry%2Ffrom-type-to-monad&quot; title=&quot;プログラムから圏のことばまで，或はモナドについて（前半） - エムスリーテックブログ&quot; class=&quot;embed-card embed-blogcard&quot; scrolling=&quot;no&quot; frameborder=&quot;0&quot; style=&quot;display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;&quot;&gt;&lt;/iframe&gt;</html>
  <image_url>https://cdn-ak.f.st-hatena.com/images/fotolife/e/ehlfin/20200804/20200804181257.png</image_url>
  <provider_name>Hatena Blog</provider_name>
  <provider_url>https://hatena.blog</provider_url>
  <published>2020-08-04 18:00:00</published>
  <title>プログラムから圏のことばまで，或はモナドについて（前半）</title>
  <type>rich</type>
  <url>https://www.m3tech.blog/entry/from-type-to-monad</url>
  <version>1.0</version>
  <width>100%</width>
</oembed>
