Stabel
Minimal, yet flexible The syntax and semantics of Stabel uses reverse polish notation, meaning the function name comes after its arguments. This frees the syntax of many control characters while the semantics consist of a few, but powerful, rules. def: main : 2 increment def: increment : 1 + Code in Stabel consists of whitespace-separated functions which are called in a left-to-right fashion. The
(※2018/3/17 新しい記事書きました) Dottyによる変更点と使い方 - 水底
新しい記事を書きました. 本記事を包含します. amaya382.hatenablog.jp Dottyで何ができるようになるのかとその使い方を簡単にまとめたいと思います. 理論的な部分は深掘りしません. 以下ちょっと長め. 調べきれてない点も多々あるので, 抜けや間違いがあったら教えてください. そもそもDottyとは Dependent Object Types (DOT) に基づいた新しいScalaコンパイラです. たまにScala3とか呼ばれたりもしています. DOT計算理論の詳細は省きます (まとめるほど理解できていないとも言う…). 現行のコンパイラと比べ, コンパイラサイズの減少・コンパイル速度向上・様々な機能追加の他, コンパイラ自体の開発安定性も増すパワフルなアップグレードが期待できます. 現行のScalaとの互換性は切れていますが, 勿論重要な機能がなくなるといったこと
GitHub - carp-lang/Carp: A statically typed lisp, without a GC, for real-time applications.
We now have an official Discord server (invite) - future discussions about the language will most likely happen there, come join! WARNING! This is a research project and a lot of information here might become outdated and misleading without any explanation. Don't use it for anything important just yet! Version 0.5.5 of the language is out! Carp is a programming language designed to work well for i
Typed Assembly Language
Typed Assembly Language (TAL) extends traditional untyped assembly languages with typing annotations, memory management primitives, and a sound set of typing rules. These typing rules guarantee the memory safety, control flow safety, and type safety of TAL programs. Moreover, the typing constructs are expressive enough to encode most source language programming features including records and str
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
