D
dotnet/fsharp
Fsharp
F# هي لغة برمجة وظيفية قوية النوع ومترجم لنظام .NET البيئي. تقوم بتحويل كود المصدر الوظيفي إلى لغة وسيطة مشتركة (Common Intermediate Language) للتنفيذ على وقت تشغيل .NET وتوفر مكتبة أساسية من الأنواع والدوال البدائية.
تؤكد اللغة على عدم القابلية للتغيير (immutability) وتستخدم نظام استنتاج نوع ثابت وقائم على القيود لتحديد أنواع المتغيرات تلقائياً دون الحاجة إلى تعليقات توضيحية صريحة من المستخدم. تعمل أيضاً كمزود لبروتوكول خادم اللغة (Language Server Protocol)، حيث تكشف منطق المترجم من خلال واجهة برمجة تطبيقات قائمة على الخدمة لتقديم تحليل الكود والذكاء في الوقت الفعلي للمحررين و IDEs.
يغطي المشروع تطوير البنية التحتية للمترجم، وصيانة وقت تشغيل اللغة الأساسي، وإنشاء أدوات لتطوير تطبيقات .NET.
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.
