#功能程式設計
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.
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.
Day-by-day usage
measured · mastodon.social (Mastodon public tags API) · fetched 2026-08-25 00:10 UTC0 uses by 0 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.
Related hashtags
measured · mastodon.social (Mastodon public search API) · fetched 2026-08-25 00:10 UTCNo related tags with measured usage found for #功能程式設計.
Live pulse
measured · mastodon.social (Mastodon tag timeline) · fetched 2026-08-25 00:10 UTCEverything below is measured over the latest 3 public posts (spanning ~3285 hours).
Posting hours (UTC)
Languages: Chinese (Taiwan) (3)
Avg boosts / post: 0
Top of the latest posts
🌘 Scala 程式語言的起源：與 Martin Odersky 的對話（一） ➤ 從編譯器夢想到 JVM 語言的誕生 ✤ https://www.artima.com/articles/the-origins-of-scala 本文記錄了 Artima 記者 Bill Venners 對 Scala 創始人 Martin Odersky 的深入訪談。Odersky 教授回顧了他對編譯器最初的濃厚興趣，以及如何從早期在 Modula-2 編譯器開發的經驗，進而參與 Pizz
🌘 更自由的Monad，更具擴展性的效果 ➤ 從自由Monad到高效擴展性效果的演進與應用 ✤ https://okmij.org/ftp/Haskell/extensible/more.pdf 本論文提出對擴展性效果（extensible effects）的合理化重構，這是一種與Monad Transformer並行的、用於組合帶有副作用計算的新方法。透過逐步抽象化帶有副作用計算的直接術語表示，作者們先推導出自由Monad，接著發展出擴展性效果。進一步的泛化導致了無需Fu
🌗 GitHub - hazelgrove/hazel：Hazel，一個即時功能程式設計環境，具有型別洞 ➤ 開發者專注的即時功能程式設計環境 ✤ https://github.com/hazelgrove/hazel Hazel 是一個基於類型理論原理的即時功能程式設計環境。它使用 ReasonML 撰寫，並提供線上試用版本。使用者可以透過 Git 複製專案，並使用 `make` 指令建置和執行 Hazel。文件提供了詳細的安裝說明，以及 VS Code 和 NeoVim
#功能程式設計 across platforms
every network with a public tag surfaceFollow #功能程式設計 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.
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/功能程式設計