GitHub - google/cel-spec: Common Expression Language -- specification and binary representation
The Common Expression Language (CEL) implements common semantics for expression evaluation, enabling different applications to more easily interoperate. Key Applications Security policy: organizations have complex infrastructure and need common tooling to reason about the system as a whole Protocols: expressions are a useful data type and require interoperability across programming languages and p
CEL | Common Expression Language
// Simple predicates 'tacocat'.startsWith('taco') // Parameterized predicates over structured data account.balance >= transaction.withdrawal // JSON objects {'sub': '12345678', 'aud': 'example2.cel.dev', 'iss': 'https://example1.cel.dev/jwt-issuer'} // Strongly typed objects common.GeoPoint{ latitude: 10.0, longitude: -5.5 } Common Expression Language (CEL) is an expression language that’s fast, p
Hylo
Hylo (formely Val) is a programming language that leverages mutable value semantics and generic programming for high-level systems programming. Hylo aims to be: Fast by definition: Hylo is compiled ahead-of-time to machine code and relies on its type system to support in-place mutation and avoid unnecessary memory allocations. Hylo avoids hidden costs such as implicit copies and therefore avoids h
MoonBit
> moon new hello> cd hello> cat src/main/main.mbtfn main { println(@lib.hello()) }> moon run src/mainHello, world! The Full-Product Collaborative DesignThe collaborative design of programming language, compiler, build system, and IDE ensures the integrity of the system, reduces component friction, and improves overall efficiencyGenerate significantly smaller WASM output than any existing solutions
The Inko programming language
A language for building concurrent software with confidence Inko makes it easy to build concurrent software, without having to worry about unpredictable performance, unexpected runtime errors, data races, and type errors. Inko features deterministic automatic memory management, move semantics, static typing, type-safe concurrency, efficient error handling, and more. Get started Discord GitHub clas
A decade of developing a programming language
In 2013, I had an idea: "what if I were to build my programming language?". Back then my idea came down to "an interpreted language that mixes elements from Ruby and Smalltalk", and not much more. Between 2013 and 2015 I spent time on and off trying different languages (C, C++, D and various others I can't remember) to see which one I would use to build my language in. While this didn't help me fi
Moonbit: the fast, compact & user friendly language for WebAssembly
The importance of WebAssembly (Wasm), a cross-platform Instruction Set Architecture (ISA), is escalating in Cloud and Edge computing, given its efficiency, security, compactness, and open standard. However, its true potential remains untapped. Low level Wasm languages like Rust and C/C++ are challenging to learn and can be slow for developers because of their long compilation time. On the other ha
HaskellとRustを足して2で割ったような関数型言語Fixを作っている話 - Qiita
はじめに ここ1年ぐらいかけて、Fixという名前のプログラミング言語を作っています。 コアとなる機能の実装がある程度落ち着き、実際にFixを使ってプログラムを書けるようになってきたので、そろそろ言語の紹介をしてみようと思います。 本記事はFixのチュートリアルではなく、どういう思想で設計されていて、どういう特徴を持つ言語なのか、という点を紹介するものです。 意見・提案・助言などをいただけるとうれしいです。 リポジトリはこちらです。 ※ コメントやコミットメッセージは一応拙い英語で書いていますが、日本語でissueを立てたりdiscordで意見・質問してもらっても大丈夫です。 ※ 急いで作った部分もあるため、コンパイラのコードは結構汚いです。ご容赦ください。 現状、Fixをローカルで実行するためにはLLVMのインストールが必要で時間がかかりますが、Fix playgroundを使えばブラウザ
GPT-4 Designed a Programming Language
Edit: TenetLang now has a github repo, which I'll be updating as I continue to work on it with GPT-4. Open a PR or submit a feature request! GPT-4GPT-4 was released on Tuesday, and on my sector of Twitter, many of the smartest people I know were losing their brilliant minds. And for good reason; many wonderful things have been made with GPT-3 class of LLMs, keeping a frenetic pace that has continu
What Color is Your Function? – journal.stuffwithstuff.com
↩ ↪ February 01, 2015 code dart go javascript language lua I don’t know about you, but nothing gets me going in the morning quite like a good old fashioned programming language rant. It stirs the blood to see someone skewer one of those “blub” languages the plebians use, muddling through their day with it between furtive visits to StackOverflow. (Meanwhile, you and I, only use the most enlightened
Dak Language
Play If you want to jump in and see what it looks like, explore the Dak Tour. Zen Full access to JavaScript. Be one with the host. No runtime. Participate in the ecosystem. Perfect is the enemy of good. Versions are infinite. Be useful today. Survive to thrive. Be fast. Stay fast. JavaScript is ubiquitous. It's ecosystem is diverse and populated. Dak attempts to provide a path to leverage and part
Unison | A friendly, statically-typed, functional programming language from the future · Unison programming language
Distributed programming No more writing encoders and decoders at every network boundary. Say where you want computations to run and it happens 🔮 — Dependencies are deployed on the fly. Learn More Refactoring Your codebase is always live and typechecks, even in the middle of a refactoring. Unison has structured refactoring sessions, not a big misleading list of type errors. Learn More Durable stor
pldb.com
$300/month for the first 12 months$360/month for the next 12 months$420/month for the next 12 months$480/month for the next 12 months$540/month for the next 12 months5% annual increase onward
Ante
For exploring algebraic effects, safe shared mutability, and other novel features Ante is currently in active development and the compiler is in a very early state. In addition, the features listed on this website detail the language itself rather than the subset that is implemented by the current compiler. If you are interested to see which features are implemented, please look at the github page
GitHub - carbon-language/carbon-lang: Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Fast and works with C++ Performance matching C++ using LLVM, with low-level access to bits and addresses Interoperate with your existing C++ code, from inheritance to templates Fast and scalable builds that work with your existing C++ build systems Modern and evolving Solid language foundations that are easy to learn, especially if you have used C++ Easy, tool-based upgrades between Carbon version
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The search for easier safe systems programming
GitHub - HigherOrderCO/Bend: A massively parallel, high-level programming language
GitHub - amber-lang/amber: 💎 Amber the programming language compiled to bash
GitHub - ambulancja/mariposa: A toy programming language with time travel
Mojo 🔥: Programming language for all of AI
