#型別系統

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
19
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 19
0
Avg reactions / post
Mastodon · last 19
—
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:26 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:26 UTC

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

Live pulse

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

Everything below is measured over the latest 19 public posts (spanning ~10642 hours).

Posting hours (UTC) — busiest: 00:00

00:0012:0023:00

Languages: Chinese (Taiwan) (19)

Avg boosts / post: 0

Top of the latest posts

  • 🌘 基於別名公式化的借用檢查器 · baby steps ➤ 探索 Rust 編譯器借用檢查的新範式 ✤ https://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/ 本文介紹一種基於別名（alias-based）的新型 Rust 借用檢查器設計方案。作者將傳統 NLL 提案中的生命週期「區域」重新定義為「借用（loans）

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

  • 🌘 不可移動型別與保證解構子 ➤ 擺脫 Pin 的複雜性，引入 Move 與 Forget 特徵優化 Rust 記憶體模型 ✤ https://github.com/rust-lang/rust-project-goals/blob/main/src/2026/move-trait.md 本提案建議在 Rust 中引入 `Move` 和 `Forget` 等全新自動特徵，讓型別能主動選擇不被移動或不被遺忘。目前 Rust 預設所有型別皆可移動且能透過 `mem::forge

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

  • 🌘 Haskell 公案：型別檢查的非空字串 ➤ 從 TemplateHaskell 到型別層級驗證的效能飛躍 ✤ https://exploring-better-ways.bellroy.com/haskell-koan-type-checked-non-empty-strings.html 本文分享了一項透過 GHC 新特性優化 Haskell 專案的實踐經驗。作者展示如何利用 GHC 9.10 引入的 `RequiredTypeArguments` 特性，將「非空字

    GripNews@[email protected]♥ 0↻ 02026-06-29 13:24 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/型別系統