Lambda Calculus in 383 Bytes
The Lambda Calculus is a programming language with a single keyword. It's the Turing tarpit discovered by Turing's doctoral advisor. This blog post introduces a brand new 383 byte implementation of binary lambda calculus as an x86-64 Linux ELF executable. Friendly portable C code and prebuilt APE binaries are provided for other platforms too. SectorLambda implements a Church-Krivine-Tromp virtual
たのしいRubyの構文解析ツアー
鹿児島Ruby会議02
先日、Appleが設定ファイルのためのプログラミング言語「Pkl」を公開して話題になっています。そもそも、設定ファイルにどのような形式を採用するかは、アプリの使い勝手を大きく左右するものです。今回は話題の「Pkl」について紹介します。 Appleがオープンソースで公開した「Pkl」を使えばいろいろなデータ形式に変換して出力できる 設定ファイルの重要さについて 地味にアプリの使い勝手を左右するのが「設定ファイル」です。もちろん、多くのユーザーが利用するようなアプリであれば、GUI画面を持つ親切な設定ツールも用意されていることでしょう。 しかし、多くのコマンドラインツールや、個人が開発したツールなどの設定を行うには、設定ファイルを直接書き換えることで、アプリの挙動を変えることができるのが一般的です。そのため、アプリの設定ファイルを開いてみて、そのファイル形式や設定の複雑さや幻滅することも多々あ
GitHub - borgo-lang/borgo: Borgo is a statically typed language that compiles to Go.
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
Goとは、Google社が開発したプログラミング言語です。並行処理が得意で実行速度が速く、有名サービスで使われています。シンプルで、プログラミング入門者が学びやすいのも特徴です。 この記事では、Go言語が得意なことや開発できるものの種類を解説します。将来性や学習方法なども紹介するので、Go言語に関して知るべきことをまとめて知れます。 ちなみにGoは案件の単価が特に高い言語です。Goを身につけるか悩んでいるなら、ぜひじっくりとお読みください。 Goとは？成り立ちや特徴、メリット Go言語とは、Googleが2009年に開発、2012年にリリースしたプログラミング言語です。Goは簡易な記述と高速処理を同時に実現したのが最大の特徴です。 Go以前の言語は、処理が早いものは記述が複雑で、記述が簡単なものは処理が遅い場合がほとんどでした。そこで、C言語の設計者であるケネス・レイン・トンプソン、UNI
はじめに｜Goでの並行処理を徹底解剖！
言語実装 Advent Calendar 2022の6日目です。 本記事ではLL(1)の素晴らしさと難しさについてDesk言語の開発の体験から語ります。 LL(1)とは LL(1)についてご存知でしょうか。 「LL(1)言語」「LL(1)文法」「LL(1)パーサ」でそれぞれ定義がありますが、一番分かりやすい「LL(1)パーサ」をざっくりいうと、ソースコードの頭から順番にトークン（ifや1や{など）を見ていきながらASTを構築するための情報を集める[1]パーサのうち、現在見ているトークンの種類を確認するだけで（それ以上の先読みなしに）ASTのノードの種類（IfやIntegerLiteralやBlock）を決定できるもののことです。 そしてLL(1)パーサでパースできるのがLL(1)文法であり、LL(1)言語であるというのがざっくりした説明です[2]。 次は、LL(1)パーサ（言語）のメリット
雑記Topに戻る レシート記述言語 一般社団法人オープン・フードサービス・システム・コンソーシアム（OFSC）は、2020年7月13日にレシート記述言語 ReceiptLine® （レシートライン）を新たなOFSC標準として公開しました。 ※「オープン・フードサービス・システム・コンソーシアム」は、情報システム先進化を目指す外食企業からなる一般社団法人です。 ReceiptLine のテストにはこちらのページが使えます。例えば、以下のコードをレンダリングすると下の図のようになります。 {i:iVBORw0KGgoAAAANSUhEUgAAAIAAAAAwAQMAAADjOuD9AAAABlBMVEUAAAD///+l2Z/dAAAAZklEQVQoz2P4jwYYRrrABwYGOwYG5gMMDBUMDPxAgQcMDDJAgQYGhgJcAv//yMj//9/8//+HerAZRAsA
haku
Haku A toy functional programming language based on literary Japanese. Is Haku for you? Haku lets you write programs that look very much like written Japanese. So you need to be familiar with written Japanese to program in Haku. I have added translations and explanations to the documentation. Haku is an experiment, not a practical programming language. Several of its features are rather contrary.
GitHub - Naotonosato/Clawn: The Clawn Programming Language
Clawn is a programming language developed with the goal of making it easy to write high-quality, safe programs. Currently, Clawn has the following features Simple syntax Statically typing Higher rank polymorphism Safe "any" elegant C FFI Automatic memory management (WIP) I value a gentle learning curve, and Clawn is designed to be easy to learn. For example, Clawn's function definitions have no ty
// ExampleApp.vala public class ExampleApp : Gtk.Application { public ExampleApp () { Object (application_id: "com.example.App"); } public override void activate () { var win = new Gtk.ApplicationWindow (this); var btn = new Gtk.Button.with_label ("Hello World"); btn.clicked.connect (win.close); win.child = btn; win.present (); } public static int main (string[] args) { var app = new ExampleApp ()
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
GitHub - DanielXMoore/Civet: A TypeScript superset that favors more types and less typing
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
Biscuit Language
Biscuit Language The Biscuit Language (BL) is simple imperative programming language using LLVM backend implemented in C. Language syntax and all it's features are still in development and not ready for 'real' use yet. Biscuit is designed to be simple, fast and explicit. Simple small language. Manual memory management. ABI compatibility with C libraries. Game development oriented. Compilation to n
GitHub - argumentcomputer/yatima: A zero-knowledge Lean4 compiler and kernel
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
プログラミング言語を教える人々の中には、「1つの言語を習得することができれば、新たな言語も簡単に習得できる」と主張する人が多く存在します。ところが、ミシガン大学で電気工学とコンピューターサイエンスの教授を務めるMark Guzdial氏はこの主張に疑問を投げかけており、現代におけるプログラミング言語習得の実情にはそぐわないと主張しています。 Why Did We Ever Think the First Programming Language Didn't Matter? | blog@CACM | Communications of the ACM https://cacm.acm.org/blogs/blog-cacm/253393-why-did-we-ever-think-the-first-programming-language-didnt-matter/fulltext G
GitHub - multikernel/kernelscript: KernelScript is a modern, type-safe, domain-specific programming language for eBPF-Centric kernel customization
⚠️ Beta Version Notice KernelScript is currently in beta development. The language syntax, APIs, and features are subject to change at any time without backward compatibility guarantees. This software is intended for experimental use and early feedback. Production use is not recommended at this time. A Domain-Specific Programming Language for eBPF-Centric Development KernelScript is a modern, type
Kotlin 2.0 リリース記念： 高速、スマート、マルチプラットフォーム対応 | The Kotlin Blog
この度、安定版 K2 コンパイラーを備えた Kotlin 2.0 をリリースすることになりました。このコンパイラーはマルチプラットフォームとしてゼロから開発されており、コードをより深く理解して 2 倍の速度でコンパイルすることが可能です。 Kotlin は JVM 言語として始まり、その簡潔さと安全性により、開発者をすぐに魅了しました。 AWS、Adobe、Atlassian、Google などの大手企業が採用し、サーバーサイドで急速に普及しています。 Kotlin は Android 開発の主要言語としても採用されるようになり、上位 1,000 タイトルに入る Android アプリのうち 95% が Kotlin コードを使用しています。 JetBrains は Kotlin Multiplatform（KMP）を導入することで Kotlin の限界をさらに押し広げ、サーバーサイド、ウ
Delimiter-first code
Summary I argue for wider usage of delimiter-first in the code three friends [tic, tac, toe] becomes three friends ・tic ・tac ・toe. A new top-level syntax for programming languages is proposed to show advantages of this method. New syntax is arguably as simple, but more consistent, better preserves visual structure and solves some issues in code formatting. Related: comma-first formatting A well-kn
Rustでシンプルなリンカーを実装してみた
$ gcc -c main.c -o main.o && gcc -c sub.c -o sub.o $ cargo run -- a.out main.o sub.o $ ./a.out $ echo $? 11 リンカーとは リンカーとは、コンパイラが生成したオブジェクトファイル（.oファイル）を結合して実行可能ファイルを作るソフトウェアです。 簡単に説明すると、次のようなことを行っています。 複数のオブジェクトファイルを読み込む シンボル（変数や関数の名前などの情報）を解決 重複や未定義の場合の処理 セクション（コードやデータの固まり）を結合して適切にレイアウトする シンボルの参照先を正しいアドレスに調整する（再配置） 実行可能な形式のファイルを出力する オブジェクトファイルとは オブジェクトファイルとは、コンパイラがソースコード（CやRustなど）をコンパイルした結果の中間ファイル
Glicol
I’ve become convinced that “little languages”—small languages designed to solve very specific problems—are the future of programming, particularly after reading Gabriella Gonzalez’s The end of history for programming and watching Alan Kay’s Programming and Scaling talk. You should go check them out because they’re both excellent, but if you stick around I’ll explain just what I mean by “little lan
Pointers Are Complicated II, or: We need better language specs
Pointers Are Complicated II, or: We need better language specs Some time ago, I wrote a blog post about how there’s more to a pointer than meets the eye. One key point I was trying to make is that just because two pointers point to the same address, does not mean they are equal in the sense that they can be used interchangeably. This “extra information” that distinguishes different pointers to the
The Vine Programming Language description Docs GitHub Discord
GitHub - aspizu/goboscript: goboscript is the Scratch compiler
★ Star the repo to support the project! Installation and documentation goboscript is a text-based programming language that compiles to Scratch. Write Scratch projects in text, and compile it into a .sb3 file -- which can be opened in the Scratch editor, TurboWarp or be uploaded to the Scratch website. goboscript makes developing advanced Scratch projects FAST. goboscript syntax is concise and eas
Rye language
What’s Rye? A flexible, high-level programming language designed for predictible state management How it’s different? Code-as-data, keyword-less, function centric, 41 datatypes, multiple DSL-s, strict state handling About Rye Rye takes ideas from Rebol, and adds few from Factor, Linux shell, and Go. It's in active development, but our goal is to make it practical and powerful ASAP. Written in Go,
GitHub - Beariish/bolt: High-performance, real-time optimized, and statically typed embedded language implemented in C.
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 - rochus-keller/Luon: A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
Luon is a high-level programming language with a syntax similar to Oberon+, Oberon-07 and Oberon-2, integrating concepts from Lua, and targeting the LuaJIT VM. Luon can be regarded as a statically typed version of Lua. The name is thus a combination of "Lua" and "Oberon". Luon procedures can be declared "external" and be implemented in Lua. This allows the re-use of libraries written in Lua, and a
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
Redirect
Click here to be redirected.
scrapscript
greet <| person::ron 3 ; greet : person -> text = | #cowboy -> "howdy" | #ron n -> "hi " ++ text/repeat n "a" ++ "ron" | #parent #m -> "hey mom" | #parent #f -> "greetings father" | #friend n -> "yo" |> list/repeat n |> string/join " " | #stranger "felicia" -> "bye" | #stranger name -> "hello " ++ name ; person : #cowboy #ron int #parent (#m #f) #friend int #stranger text "hi aaaron" Scrapscript i
RubyにlramaがマージされてBison依存がなくなった（RubyKaigi 2023）｜TechRacho by BPS株式会社
こんにちは、hachi8833です。RubyKaigi 2023@松本に行ってまいりました。 イベント感想などは他の皆さまが続々ネット上のブログにアップしているのでそちらにおまかせするとして、今回のRubyKaigiのDay1で発表されていたlramaが気になったので手短にメモします（個人的にPEGパーサージェネレータに関心があるので）。 Lramaでリャマと読みます。LALR parser generatorのYaccやBisonの流れをくむものとして、リャマという名前にしました。LR parser generatorなのでLlama (LL)ではなくLrama (LR)と綴ります。 Ruby Parser開発日誌 (5) - Lrama LALR (1) parser generatorを実装した - かねこにっきより lramaパーサーがmasterにマージされた 発表: The f
GitHub - amber-lang/amber: 💎 Amber the programming language compiled to Bash
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
Press ← or → to navigate between chapters Press S or / to search in the book Press ? to show this help Press Esc to hide this help Introduction Performance is important for many Rust programs. This book contains techniques that can improve the performance-related characteristics of Rust programs, such as runtime speed, memory usage, and binary size. The Compile Times section also contains techniqu
GitHub - actonlang/acton: The Acton Programming Language
Acton is a general purpose programming language, designed to be useful for a wide range of applications, from desktop applications to embedded and distributed systems. In a first approximation Acton can be described as a seamless addition of a powerful new construct to an existing language: Acton adds actors to Python. Acton is a compiled language, offering the speed of C but with a considerably s
Modular: Mojo 🔥 - A systems programming language presented at LLVM 2023
Mojo 🔥 - A systems programming language presented at LLVM 2023
In a recent podcast about Rust leadership, the BDFL question came up again and Jeremy Soller said (in the understatement of the century) that "I believe Graydon would have said no to some things we all like now". And this echoes a different conversation on reddit where I was reminded that I meant to write down at some point how "I would have done it all differently" (and that this would probably h
The diagram above is the compiler for the language Bolt we’ll be building. What do all the stages mean? I have to learn OCaml and C++? Wait I haven’t even heard of OCaml… Don’t worry. When I started this project 6 months ago, I had never built a compiler, nor had I used OCaml or C++ in any serious project. I’ll explain everything in due course. In this series of posts we’ll be building a proper pr
日経クロステックが実施した「プログラミング言語利用実態調査2023」で「今後、スキルアップしたいと思う言語はどれですか」と複数回答可で尋ねたところ、トップ10の言語が分かった。それぞれの言語の特徴を解説する。 4位 Rust 多機能でC/C++並みに高速。ただし、難易度は高め 2015年に最初の安定版である「Rust 1.0」がリリースされたRustは、近年人気が高まっているプログラミング言語です。Rustの魅力は、高速に動くプログラムを、現代的なプログラミングテクニックを使うコードで作成できることです。これはプログラミング言語の歴史から見ても興味深い点です。 近年、プログラミング言語の進化の方向は、PythonやRubyのように実行速度を犠牲にする代わりに様々な機能を提供するか、Go言語のように提供する機能を絞って実行速度の向上を追求するかという2つの道に分かれていました。その中で、Ru
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
世界のプログラミング言語(52) 設定ファイルに新潮流Appleの新言語「Pkl」
Goとは？特徴や作れるもの、Pythonとの違い、入門方法を解説
LL(1)言語を作るのは難しい、しかしLL(1)言語は素晴らしい
レシートを記述するプログラミング言語「ReceiptLine」 - 理系のための備忘録
Vala Programming Language
「1つのプログラミング言語を学んだら別の言語も簡単に習得できる」という説は本当なのか？
「Dart」言語のマクロ機能、開発を断念／課題に次ぐ課題で、限られた時間での解決に見込みが立たず
Little Languages Are The Future Of Programming
The Vine Programming Language
Introduction - The Rust Performance Book
graydon2 | The Rust I Wanted Had No Future
How I wrote my own "proper" programming language
今どきの言語ならこの2択、歯ごたえ十分のRustか型を使えるTypeScriptか
takuya-blog.com
www.pixiv.net
www.pixiv.net
www.cinema-life.net
reiko8.ht.gob.jp
tech.dentsusoken.com