Search Results for "types" - Page 2

Idris‑dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-safe programs and proofs within the language itself. It compiles to C and JavaScript (for Node.js and browsers), and supports code generation via substitute backends. This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. For those who wish to use a more stable version of Idris please consider installing the latest version that has been released on Hackage. ...

...Eta offers a wide range of strategies for handling concurrency including Software Transaction Memory (STM), MVars, and Fibers. Using the powerful and type-safe Servant web framework, we define our API as a type and the handler types for each endpoint are automatically generated and conversions happen automatically.

...It is designed as a lightweight, deterministic, and embeddable configuration and scripting language ideal for use within larger applications. Skylark maintains Python’s familiar syntax and high-level data types while omitting features that could cause nondeterminism, such as concurrency and dynamic module imports. The interpreter supports first-class functions, dictionaries, lists, and comprehensions, allowing developers to define reusable logic and structured configuration data. Originally developed for Bazel, Google’s build tool, Skylark enables users to define build rules and macros that extend system functionality. ...

...In Jake implemented: File-io; Http requesting(with post and get); Simple gui engine; Drawing canvas engine; Associate arrays; Basic math; Standart functions to work with strings; Jake it's OOP language without any OOP(yet), functional, imperative with half-strict data types.

This is an interpreted programming language that is designed to teach young children the fundamentals of programming, hiding away from students the complex concepts of programming, such as parentheses, quotes, data types, arrays, while allowing them to understand the basic concepts of programming, and, move to a more advanced language. It also serves as an exapmle on how to create an interpreter with QBASIC. The interpreter is written in QBASIC, and is licensed under the GNU GPLv2. About the unixname: The "shortname" of the project was a typo, but it was too late when I actually realised it. ...