Manticore
The Manticore Project Manticore is a high-level parallel programming language aimed at general-purpose applications running on multi-core processors. Manticore supports parallelism at multiple levels: explicit concurrency and coarse-grain parallelism via CML-style constructs and fine-grain parallelism via various light-weight notations, such as parallel tuple expressions and NESL/Nepal-style paral
プログラミング言語 Mokkosu
プログラミング言語 Mokkosu Mokkosuは全くのゼロから設計・開発されたオープンソースのプログラミング言語です。 Mokkosuは.NET Framework上で動作する関数型プログラミング言語で、ゲームや ジェネラティブアートといったインタラクティブなプログラムの開発を得意とし ています。 類似の言語としてはMITメディアラボで開発されたProcessingがあります。 Processingが手続型言語であるのに対して、Mokkosuは関数型言語であるため、 Processingとは異なるスタイルでのプログラミングが可能です。これにより プログラムによってはProcessingより簡潔に記述できる可能性があります。 Mokkosuは単なるプログラミング言語にとどまらず、統合的な開発環境をユーザに 提供します。専用の統合開発環境が用意されており、シンタックスハイライト 機能の付い
Red Programming Language
Sometimes deep changes take a huge amount of code. Sometimes they take a lot of detailed explanation and consideration, leading to long discussions and people taking sides. Rarely does an important syntactic change to a language happen quickly, with universal agreement, simple implementation, and tools to help update scripts in the wild. Today is one of those rare days. Admittedly, this idea has b
Eff Programming Language
Eff is a functional programming language based on algebraic effect handlers. This means that Eff provides handlers of not only exceptions, but of any computational effect, allowing you to redirect output, wrap state modifications in transactions, schedule asynchronous threads, and much much more… Try it out in your browser! or install it on your computer Algebraic effects, on which Eff is built, g
elalang.net | traceroute command
elalang.net This domain is registered for one of our customers. If this is your domain name, please visit this page to see how to register it as DNS zone into your account. Note: If you already have registered the DNS zone for your domain name, please wait for DNS propagation. Your web site will be displayed soon. It may take few minutes. * What is a Traceroute command? Suggested article: Tracerou
Mars Programming Language
Downloads Get started with Mars (Linux only). Download the compiler, in source or binary form, and begin building your own Mars programs. Download Mars 1.0 » About Mars Mars is a very simple imperative programming language with a catch: all of the functions and expressions are pure. That means when you call a function, it is guaranteed to have no side-effects: it can't mutate its arguments, modify
The Mezzo programming language
What is Mezzo? (Description shamelessly stolen from a paper abstract). We present the design of Mezzo, a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory. A balance between simplicity and expressiveness is achieved by marrying a static discipline of permissions and a dynamic mechanism of adoption and abandon. More inform
Lamdu
Lamdu : Lamdu - towards the next generation IDEProject Lamdu This project aims to create a next-generation live programming environment that radically improves the programming experience. The main idea behind the Lamdu project is that the canonical representation of programs should not be text, but rich data structures: Abstract syntax trees. Our programming tools, UIs and ecosystems should take a
QML: A Functional Quantum Programming Language
Welcome to the QML Project A functional quantum programming language Home to the QML Research Diary QML is a functional language for quantum computations on finite types. The language introduces quantum data and quantum control structures, and integrates reversible and irreversible quantum computation. QML is based on strict linear logic, hence weakenings, which may lead to decoherence, have to be
The Mercury Project: Home
Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program d
The Pyret Programming Language
Pyret is a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming. It's under active design and development, and free to use or modify. Examples Why Pyret? Set Sail News & Discussion data BinTree: | leaf | node(value, left, right) end fun tree-sum(t): doc: "Calculate the sum of node values" ca
Purescript by paf31
A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks View project onGitHub purescript A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks Current Features Full Type Inference Higher Kinded Polymorphism Support for basic Javascript types Extensible records Type-safe blocks with for/while
ATS-PL-SYS
What is ATS? ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS2 (ATS/Postiats) is written in ATS1 (ATS/Anai
The Shen Group
Our mission is to bring the power of Shen technology to every major programming platform used by industry and deliver to programmers the great power of Shen. The word 'Shen' means 'highest spirit' in Chinese and indicates our goal is to transcend the divisions between computer languages. Since 2021 Shen has been based on the S series kernels. Features pattern matching, lambda calculus consistency,
)
CPL (圏論プログラミング言語) - Wikipedia
CPL (正式名称：Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、萩野達也によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。 詳細[編集] 元々定義されているデータ型が存在せず、何らかの関手の始双代数あるいは終双代数としてデータ型を定義する。プログラムあるいは関数[要曖昧さ回避]は射として、ポイントフリーの形式で記述する。関数の表し方としては射として表すものと冪対象として表すものの二通りがある。元々定義されている関数は恒等関数のみであり、元々定義されている制御構造は関数合成のみである。条件分岐や帰納法などはデータ型の定義に付随して定義される。 実装[編集] Haskellによる実装 参考文献[編集] 萩野達也 "A Categorical Progr
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
WebHome < Helium < UUCS
bitbucketの使い方
The Ur Programming Language Family
urbit.org
GitHub - Frege/frege: Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
