<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<oembed>
  <author_name>kuwadgi</author_name>
  <author_url>https://blog.hatena.ne.jp/kuwadgi/</author_url>
  <blog_title>嫌われプログラミングの代弁者</blog_title>
  <blog_url>https://kuwadgi.info/</blog_url>
  <categories>
  </categories>
  <description>型無し君？ 型は有用だと良く言われます。 全くその通りだと思います。 しかし、そんなに良いなら、 整数 実数 配列 レコード型 を超える、汎用的な、全世界のみんなが、毎日使う様な型が有って当然だとは、思わないでしょうか？ しかし、十年一日、古の、さらに古のPascal言語で既にやっていた事以上の事が全く無いのはおかしいとは思わないでしょうか？ （以下、上４類型のみの型を、「古よりの型」と呼称します。） そして、何で、そういう古よりの型を集約した型が 百人百様で、不偏不党を構成出来ず、 使い回しが出来ない 「便利なはずの継承が、社会実装を伴うと、禁忌に触れてしまう」のと同じに見える のでしょうか…</description>
  <height>190</height>
  <html>&lt;iframe src=&quot;https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkuwadgi.info%2Fentry%2F2026%2F04%2F19%2F092008&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></image_url>
  <provider_name>Hatena Blog</provider_name>
  <provider_url>https://hatena.blog</provider_url>
  <published>2026-04-19 09:20:08</published>
  <title>社会実装を伴う、数学的抽象化の禁忌　３</title>
  <type>rich</type>
  <url>https://kuwadgi.info/entry/2026/04/19/092008</url>
  <version>1.0</version>
  <width>100%</width>
</oembed>
