Borgo هي لغة ومترجم (compiler) مكتوب بنوع ثابت (statically typed) يحول الصيغة عالية المستوى إلى كود مصدر Go. تعمل كمترجم (transpiler) مصمم للاستفادة من بيئة تشغيل Go مع تقديم نظام أنواع يركز على أنواع البيانات الجبرية ومعالجة الأخطاء القائمة على النتائج.
الميزات الرئيسية لـ borgo-lang/borgo هي: Go Target Transpilers, Go-to-JavaScript Transpilers, Algebraic Data Types, Concurrent Programming Languages, Concurrent Thread Execution, Go-Compatible Language Runtimes, Go Library Interoperability, Channel-Based Concurrency.
تشمل البدائل مفتوحة المصدر لـ borgo-lang/borgo: gcanti/fp-ts — fp-ts is a TypeScript library that brings pure functional programming patterns to the language through algebraic data… c3lang/c3c — c3c is the compiler for the C3 programming language, transforming source code into executable binaries, static… purescript/purescript — PureScript is a statically typed, purely functional programming language that compiles to JavaScript. It is designed… reasonml/reason — Reason is a strongly typed functional language and multi-target compiler designed to produce either JavaScript for web… dry-python/returns — Returns is a functional programming library for Python that provides type-safe containers for managing state, error… typelevel/cats — Cats is a Scala functional programming library and type class library designed to implement algebraic patterns and…
fp-ts is a TypeScript library that brings pure functional programming patterns to the language through algebraic data types, type class abstractions, and composable combinators. It provides foundational data types like Option for optional values, Either for typed error handling, and Task for lazy asynchronous computations, all designed to make invalid states unrepresentable and side effects explicit. The library is built on category theory concepts, offering type classes such as Functor, Applicative, Monad, Semigroup, and Monoid with lawful instances for common data structures. The library di
c3c is the compiler for the C3 programming language, transforming source code into executable binaries, static libraries, or dynamic libraries using an LLVM backend. It implements a system based on result-based error handling, scoped memory pooling, and a semantic macro system. The compiler provides first-class support for hardware-backed SIMD vectors that map directly to processor instructions and enables runtime polymorphism through interface-based dynamic dispatch. The project covers a broad set of low-level capabilities, including manual and pooled memory management, inline assembly inte
Returns is a functional programming library for Python that provides type-safe containers for managing state, error handling, and optionality. It serves as a monadic container library and a type-safe error handling framework, replacing traditional try-catch blocks and null checks with Result and Optional containers to treat exceptions as data. The project is distinguished by its use of a specialized Mypy static analysis plugin to validate functional pipelines and emulate higher kinded types. It provides mechanisms for isolating side effects through IO containers and offers a framework for typ
PureScript is a statically typed, purely functional programming language that compiles to JavaScript. It is designed as a cross-platform frontend language for building safe web applications, utilizing a static type system and a JavaScript compiler to ensure program correctness across browser and server environments. The language is distinguished by its emphasis on mathematical purity, featuring a robust type system with first-class support for monads. It provides a sophisticated toolset for static verification, including algebraic data types, type classes, and automatic type inference to reje