awesome-repositories.com
博客
awesome-repositories.com

通过 AI 驱动的搜索，发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目关于排名机制媒体报道MCP 服务器
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
D

dotnet/fsharp

0
View on GitHub↗

Fsharp

F# is a strongly typed, functional programming language and compiler for the .NET ecosystem. It transforms functional source code into Common Intermediate Language for execution on the .NET runtime and provides a foundational core library of primitive types and functions.

The language emphasizes immutability and uses a static, constraint-based type inference system to automatically determine variable types without requiring explicit user annotations. It also functions as a Language Server Protocol provider, exposing compiler logic through a service-based API to deliver real-time code analysis and intelligence to editors and IDEs.

The project covers the development of compiler infrastructure, the maintenance of the core language runtime, and the creation of tools for .NET application development.

AI 搜索

探索更多 awesome 仓库

用简单的语言描述您的需求 —— AI 将根据相关性为您从数千个精选开源项目中进行排序。

Start searching with AI

Features

  • Functional Programming Compilers - Implements a full-scale compiler that transforms functional source code into Common Intermediate Language for the .NET runtime.
  • Source Code Compilers - Transforms functional source code into executable programs using a compiler and core library infrastructure.
  • Core .NET Libraries - Provides a foundational set of primitive types and functions required to execute programs within the .NET ecosystem.
  • Automatic Type Inferences - Determines variable types automatically using a constraint-based system without requiring explicit type annotations.
  • CIL Code Generation - Implements the translation of functional source code into Common Intermediate Language for execution on the .NET runtime.
  • Common Intermediate Languages - Compiles high-level constructs into a platform-neutral instruction set for execution on the .NET runtime.
  • Compiler APIs - Exposes internal compiler logic as a set of queryable services for providing real-time IDE intelligence.
  • Core Language Libraries - Links the language compiler to a foundational set of primitive types and functions required for execution.
  • Language Implementations - Provides a strongly typed, functional programming language emphasizing immutability and type inference.
  • Functional Programming Languages - Provides a strongly typed language based on the functional paradigm with an emphasis on immutability and type inference.
  • Constraint-Based Inference - Determines variable types automatically by solving a system of constraints without requiring explicit user annotations.
  • .NET Runtimes - Enables the creation of cross-platform programs that run on the .NET runtime using a strongly typed language.
  • Static Type Inference - Employs a constraint-based static type inference system to automatically determine variable types without requiring explicit user annotations.
  • Editor Tooling - Exposes compiler services to editors and IDEs to provide real-time code analysis and intelligence.
  • Language Server Protocols - Functions as a language server to deliver real-time code analysis and intelligence to editors and IDEs.
  • Language Intelligence Services - Provides editors with real-time code analysis, autocomplete, and type checking through a service-based compiler API.
  • Compiler Infrastructure - Provides the infrastructure for transforming source code into executable binaries and optimizing the compilation pipeline.
  • Multi-Pass Compiler Pipelines - Transforms source code through sequential phases of parsing, type checking, and intermediate language generation.
  • Immutable Data Management - Prioritizes non-changing data structures by default to ensure thread safety and predictable state transitions.
  • Core Frameworks - Functional-first language implementation and compiler tools.
  • Language Core - Primary language repository and compiler.
4,308 星标·865 分支·F#·MIT·6 次浏览

Star 历史

dotnet/fsharp 的 Star 历史图表dotnet/fsharp 的 Star 历史图表

常见问题解答

dotnet/fsharp 是做什么的？

F# is a strongly typed, functional programming language and compiler for the .NET ecosystem. It transforms functional source code into Common Intermediate Language for execution on the .NET runtime and provides a foundational core library of primitive types and functions.

dotnet/fsharp 的主要功能有哪些？

dotnet/fsharp 的主要功能包括：Functional Programming Compilers, Source Code Compilers, Core .NET Libraries, Automatic Type Inferences, CIL Code Generation, Common Intermediate Languages, Compiler APIs, Core Language Libraries。

dotnet/fsharp 有哪些开源替代品？

dotnet/fsharp 的开源替代品包括： dotnet/roslyn — The .NET Compiler Platform is a collection of open-source APIs for C# and Visual Basic that provides deep code… swiftlang/swift-evolution — Swift Evolution serves as the central governance and design platform for the Swift programming language. It provides a… frege/frege — Frege is a purely functional programming language that compiles to JVM bytecode, providing Haskell-like semantics for… elm/compiler — This project is a functional programming compiler and JavaScript transpiler that transforms a statically typed… ocaml/ocaml — OCaml is a strongly typed functional language featuring a sophisticated type system and a focus on safety and… mono/mono — Mono is an open source implementation of the .NET Framework that provides a managed execution environment, base class…

Fsharp 的开源替代方案

相似的开源项目，按与 Fsharp 的功能重合度排序。
  • dotnet/roslyndotnet 的头像

    dotnet/roslyn

    20,241在 GitHub 上查看↗

    The .NET Compiler Platform is a collection of open-source APIs for C# and Visual Basic that provides deep code analysis, refactoring, and automated source code generation. It serves as the core infrastructure for building development tools, offering a platform to inspect, modify, and understand source code through immutable syntax trees and semantic models. The platform distinguishes itself by providing full-fidelity syntax trees that preserve every character of source code, including whitespace and comments, alongside an incremental compilation pipeline that enables near-instant feedback dur

    C#csharphacktoberfestroslyn
    在 GitHub 上查看↗20,241
  • swiftlang/swift-evolutionswiftlang 的头像

    swiftlang/swift-evolution

    15,854在 GitHub 上查看↗

    Swift Evolution serves as the central governance and design platform for the Swift programming language. It provides a structured, collaborative framework for tracking, discussing, and managing the formal proposals and technical goals that define the language's syntax, semantics, and core features. By maintaining a comprehensive collection of design documentation, the project ensures the long-term stability and consistency of the language as it matures. The repository acts as the primary hub for the language's evolution, coordinating community feedback and technical decisions through a transp

    Markdown
    在 GitHub 上查看↗15,854
  • frege/fregeFrege 的头像

    Frege/frege

    3,700在 GitHub 上查看↗

    Frege is a purely functional programming language that compiles to JVM bytecode, providing Haskell-like semantics for the Java platform. It is built around a Haskell-inspired compiler that implements non-strict evaluation and a static type inference system to ensure data immutability and prevent side effects. The project distinguishes itself through a sophisticated type system featuring rank polymorphism, type-class based dispatch, and static purity enforcement. It includes a JVM language bridge and a foreign function interface that map Java classes and interfaces into functional types, allow

    Frege
    在 GitHub 上查看↗3,700
  • elm/compilerelm 的头像

    elm/compiler

    7,794在 GitHub 上查看↗

    This project is a functional programming compiler and JavaScript transpiler that transforms a statically typed language into optimized JavaScript for web browsers. It serves as a frontend architecture framework, providing a static type system and a package manager that enforces semantic versioning. The compiler uses a type-checking engine with automatic type inference to prevent runtime errors and guide code refactoring. It implements a structural pattern for managing application state and rendering user interfaces through a virtual DOM, utilizing immutable data and purity-based state transit

    Haskellcompilerelm
    在 GitHub 上查看↗7,794
    • 查看 Fsharp 的所有 30 个替代方案→