タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
GitHub - zesterer/tao: A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
You can now test Tao in the browser! A statically-typed functional language with polymorphism, typeclasses, generalised algebraic effects, sum types, pattern-matching, first-class functions, currying, good diagnostics, and much more! For more example programs, see... hello.tao: Hello world input.tao: Demonstrates a more complex example of IO effects calc.tao: A CLI calculator, demonstrating parser
GitHub - HigherOrderCO/Kind: A next-gen functional language
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - roc-lang/roc: A fast, friendly, functional language. Work in progress!
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - KusionStack/KCLVM: A constraint-based record & functional language mainly used in configuration and policy scenarios.
A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Machine Logic At the junction of computation, logic and mathematics 08 Mar 2023 [ examples inductive definitions ] The simplest way to precisely specify the meanings of programming language expressions is through an operational semantics. Such a definition consists of a set of what look like the inference rules of a logic, stating the conditions under which a given expression can be reduced to a v
GitHub - eashanhatti/peridot: A fast functional language based on two level type theory
High-level programming and program performance are at odds. High-level languages enable complex, pervasive abstractions, whereas high performance demands these abstractions be reduced to a minimum. Thus, an optimizing compiler is an essential part of a high-level language that seeks to accomplish both goals. However, even the most sophisticated optimizer can fall short when presented with abstract
For the past few months, I have been working on an experimental functional/data language called Morel. SQL has several deficiences relating to nested collections, higher-order functions and type system. After several months trying to figure out how to add these features to SQL, I noticed that they were basically the defining characteristics of a functional programming language. I figured, rather t
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The semantics of a simple functional language
Morel: A functional language for data
kuromaron.hatenablog.com
kuikomeshi.hatenablog.com
www.kotablo.com
osakanosakenomi.hatenablog.com
jp.daisonet.com
wagadeshik.hatenablog.com