home.social

#型別推斷 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #型別推斷, aggregated by home.social.

fetched live
  1. Why F#? | Hacker News

    Link

    ##
    📌 Summary:
    本文介紹 F# 程式語言,一種基於 .NET 平臺的函數式程式語言,由微軟研究院的 Don Syme 開發並於 2005 年首次發布。作者分享了自己在多年使用 Java 和 OCaml 後重新接觸 F# 的體驗。F# 源自 OCaml,但專為 .NET 平臺設計,具備輕量語法、不可變性、型別推斷等特點。文章探討了 F# 的語言特性、生態系統、開發工具、社羣狀況及與 OCaml 的比較,認為 F# 既實用又有趣,適合希望在 .NET 環境中使用函數式程式設計的開發者。

    ##
    🎯 Key Points:
    - F# 是一種通用程式語言,專注於簡潔、健壯和高效能的程式碼,目前最新版本為 2024 年 11 月發布的 F# 9.0。
    - F# 主要特點包括:輕量語法、預設不可變性、型別推斷、一級函數、強大的資料型別、模式匹配和非同步程式設計。
    - F# 能無縫整合 .NET 生態系統,可輕鬆調用大量 C# 函式庫,適合後端服務、資料分析和全端應用開發。
    - 開發工具支援方面,Rider 和 VS Code (配合 Ionide) 提供最完善功能,但其他編輯器如 Emacs、Zed 和 Helix 也有基本支援。
    - 與 OCaml 相比,F# 在 .NET 整合、微軟支持和易用性方面佔優,但在語言純淨度和某些高級特性上略遜一籌。
    - Fable 工具允許將 F# 代碼轉譯為 JavaScript、TypeScript、Python 等其他語言,增加了語言的應用範圍。
    - F# 社羣相對較小,但活躍且充滿熱情,主要活動集中在 Reddit 和 Discord 平臺。

    ##
    🔖 Keywords:
    #函數式程式設計 #F# #.NET #型別推斷 #微軟

  2. Modern C | Hacker News

    Link
    📌 Summary:
    《Modern C》書籍推出了適應 C23 標準的新版本,現已在線免費提供。這個新版本全面更新了內容,涵蓋 C23 標準引入的重要新功能,包括位元精確型別(_BitInt(N))、新的標頭檔如 <stdckdint.h> 和 <stdbit.h>、對於現代架構的 128 位元類型支援、枚舉類型改進等。此外還新增了 nullptr 常數、屬性註解、auto 和 typeof 的型別推斷、預設初始化等功能,並增添了複合表達式、Lambda、國際化及程式故障處理等內容。

    🎯 Key Points:
    - 新版本已於 2024 年 10 月 15 日更新,同步配合 ISO 發布 C23 標準的時程
    - 主要新增功能包括:位元精確型別、溢位檢查工具、位元操作函式庫、擴展至 128 位元的型別支援
    - 新增語法特性:nullptr 常數、屬性註解、auto 和 typeof 型別推斷、預設初始化功能等
    - 書籍附錄提供過渡工具,協助開發者在現有平臺上立即開始使用 C23 功能
    - 出版管道:
    免費版本可在
    https://hal.inria.fr/hal-02383654 取得
    Manning 出版社提供早期存取計畫 (MEAP),可使用 au35gust 代碼獲得 35% 折扣
    程式碼範例採用 MIT 授權,書籍則使用 Creative Commons 授權

    🔖 Keywords: #C23標準 #ModernC #JensGustedt #型別推斷 #程式語言更新

Share on Mastodon

Enter the server where you have an account.