#類型系統

Live, measured metrics for the hashtag #類型系統 from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.

hashtag.org network · sponsored

Own #類型系統

This #name is available to claim. It becomes your portal on the open agent web: this very page, a keyword you rank for by an open public stake, and a verifiable identity for AI agents. Nobody else sells a page like this for every #name.

$2,449.80/ year · 4-character #name
Claim #類型系統 — $2,449.80/yr→Buy on hashtag.space (web3)
card via hashtag.org · tokens via hashtag.space
0
Uses / 7 days
Mastodon
0
Accounts / 7 days
Mastodon
12
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 12
0
Avg reactions / post
Mastodon · last 12
—
Reddit posts / month
Reddit search
—
Open-web mentions
hashtag.org Firehose

Day-by-day usage

measured · fosstodon.org (Mastodon public tags API) · fetched 2026-08-25 01:27 UTC
0
08-19
0
08-20
0
08-21
0
08-22
0
08-23
0
08-24
0
08-25

0 uses by 0 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.

Related hashtags

measured · fosstodon.org (Mastodon public search API) · fetched 2026-08-25 01:27 UTC

No related tags with measured usage found for #類型系統.

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-08-25 01:27 UTC

Everything below is measured over the latest 12 public posts (spanning ~13496 hours).

Posting hours (UTC) — busiest: 00:00

00:0012:0023:00

Languages: Chinese (Taiwan) (11)

Avg boosts / post: 0.3

Top of the latest posts

  • 🌘 xvw.lol - OCaml 中的守衛方法 (Guarded methods) ➤ 突破語言語法限制的類型系統藝術 ✤ https://xvw.lol/en/articles/oop-refl.html 本文深入探討在 OCaml 中實作「守衛方法」（Guarded methods）的技術。這類方法允許開發者對物件的類型變數施加特定約束，使方法僅在滿足條件時（例如僅當列表中的元素也是列表時）才能被呼叫。由於 OCaml 原生語法不直接支援此功能，作者提出利用「類型等價

    GripNews@[email protected]♥ 0↻ 02026-08-07 21:19 UTCView post →

  • 🌗 零成本 POSIX 兼容性：在 Lean 4 類型系統中編碼 Socket 狀態機 ➤ 以類型系統作為安全屏障，實現高效能的 Socket 協定保證 ✤ https://ngrislain.github.io/blog/2026-3-25-zerocost-posix-compliance-encoding-the-socket-state-machine-in-lean-4s-type-system/ POSIX Socket API 的本質是一個狀態機，若操作順序不

    GripNews@[email protected]♥ 0↻ 22026-03-25 03:18 UTCView post →

  • 🌗 當「類型」本身成為類型時，類型檢查即不可判定 ➤ 從Girard悖論解構類型系統的理論極限 ✤ https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6 本文探討當程式語言同時具備依賴類型系統與「類型作為類型」特性時，其類型檢查的不可判定性。作者重構並分析了Girard悖論，證明在此種系統中： + 這對設計強類型函數式語言有重大警示作用，須謹慎處理類型遞歸 +

    GripNews@[email protected]♥ 0↻ 02026-02-02 00:36 UTCView post →

#類型系統 across platforms

every network with a public tag surface

Follow #類型系統 straight to each platform’s own tag page. Where a platform publishes open data we measure it above; the rest lock their numbers behind paid APIs, so we link rather than guess.

X (Twitter) ↗Instagram ↗TikTok ↗Facebook ↗LinkedIn ↗YouTube ↗Threads ↗Bluesky ↗Mastodon ↗Reddit ↗Pinterest ↗Tumblr ↗

Every number above is measured from a named public API at the shown fetch time. Nothing is estimated or extrapolated. Platforms that lock their data behind paid APIs are not shown. Agents: the same numbers, as JSON, at /api/hashtags/類型系統