Modular: Mojo 🔥 - A systems programming language presented at LLVM 2023
Jeff, Abdul, and Chris presented a talk about Mojo and how it relates to MLIR and LLVM, at the LLVM Developer Conference 2023. The full presentation for these slides will be coming at a later date on the LLVM YouTube channel: https://www.youtube.com/@LLVMPROJ The interactive presentation below has animations and clickable hyperlinks, or you can scroll through the slide images below, and click to e
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
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
Scrapscript is a small, pure, functional, content-addressable, network-first programming language. My previous post introduced the language a bit and then talked about the interpreter that Chris and I built. This post is about the compiler that Chris and I built. In the beginning, there was an interpreter Writing a simple tree-walking interpreter is a great way to prototype a language implementati
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 techniques that will improve the compile times of Rust programs. Some techniques only require changing build configurations, but many requi
GitHub - glebbash/LO: LO - small programming language targeting WASM that aims to be as simple as possible
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 - pen-lang/pen: The parallel, concurrent, and functional programming language for scalable software development
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
Subscribe to Jacob’s Tech Tavern for free to get ludicrously in-depth articles on iOS, Swift, tech, & indie projects in your inbox every week. Full subscribers unlock Quick Hacks, my advanced tips series, and enjoy exclusive early access to my long-form articles. Subscribe now Swift was a great language, but it has fallen far from its original vision. Pretty damn far. You can see the full list of
Speed of Rust vs C
The run-time speed and memory usage of programs written in Rust should about the same as of programs written in C, but overall programming style of these languages is different enough that it's hard to generalize their speed. This is a summary of where they're the same, where C is faster, and where Rust is faster. Disclaimer: It's not meant to be an objective benchmark uncovering indisputable trut
新しいシステムプログラミング言語Nim・日本初の解説書！ 『プログラミングNim』発行！ 技術の泉シリーズ、8月の新刊 インプレスグループで電子出版事業を手がける株式会社インプレスR&Dは、『プログラミングNim』（著者：浅田 睦葉）を発行いたします。 最新の知見を発信する『技術の泉シリーズ』は、「技術書典」や「技術書同人誌博覧会」をはじめとした各種即売会や、勉強会・LT会などで頒布された技術同人誌を底本とした商業書籍を刊行し、技術同人誌の普及と発展に貢献することを目指します。 『プログラミングNim』 https://nextpublishing.jp/isbn/9784844379560 著者：浅田 睦葉 小売希望価格：電子書籍版 1,800円（税別）／印刷書籍版 2,400円（税別） 電子書籍版フォーマット:EPUB3 印刷書籍版仕様：B5判／カラー／本文282ページ ISBN：97
Tree Calculus
Tree Calculus was discovered by Barry Jay. Check out his blog! This website and demos are maintained by Johannes Bader. See here for more background, resources and contact info. Tree Calculus captures the essence of computation Intensional Tree Calculus can perform program analysis without quotation: The ability to reflect on programs is built right into the reduction rules. This means that anythi
Preface ¶ I started this paper in 2013, and in 2015 sent it out for review to the people listed later on. After incorporating comments, I sent it to Rik Farrow, the editor of the USENIX magazine ;login: to see if he would publish it. He declined to do so, for reasonably good reasons. The paper languished, forgotten, until early 2018 when I came across it and decided to polish it off, put it up on
古から存在するプログラミング言語Lisp。その通り名の一つに「神の言語」というものがある。 なんという甘美な響きだろうか。この名前だけで男子中学生は全員習得することを決心するだろう。そのくらいインパクトのある名前である。文部科学省はプログラミング教育を推進するにあたって、この通り名を公式に採用することを真剣に検討されると良いと思う。 さて、「神の言語」の勉強を始めてみて驚くだろう。どのあたりが神なのかよくわからないのだ。たしかに丸括弧は多い。多いが、それと神との関連性はよくわからない。 何か土着の信仰の話なのだろうか？あなたがそう戸惑うのも無理からぬことだ。 私自身、前からこのフレーズは聞いたことがあったが、あまり理解していなかった。そこで今回改めて調べてみたので共有しようと思う。 「神の言語」の由来 そもそも、Lispは神の言語だと誰が言い出したのか？どうやら海外でそのような歌が作られた
GitHub - darrenks/atlas: concise functionless functional esolang
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
Matzミーティングに潜入！Ruby開発者・まつもとゆきひろさんに聞くRuby秘話｜ZOZO DEVELOPERS BLOG
こんにちは、広報の坂井（@hana_yonde）です！ ZOZOテクノロジーズでは月に1度、技術顧問であるまつもとゆきひろさん（通称：Matz）とのオンラインミーティングを実施し、勉強会を行っています。 「社員なら誰でも参加自由！」ということで、ミーティングにお邪魔してきました！社員があれこれ聞いていたので、当日出た質問とMatzさんからの回答を抜粋してお届けしたいと思います。 Rubyの人気が低下…？日本のプログラマーのガラパゴス化についてー 最近、プログラミング言語の人気ランキングなどで「Rubyの順位が徐々に下がってきている」と感じることがあります。Rubyの人気がなくなってしまうと、日本のプログラマーがガラパゴス化するというか、世界から孤立してしまうんじゃないかなと思っているのですが、MatzさんはじめRubyを作っている方たちはどう考えていらっしゃるのでしょうか？ Matz：ご質
GitHub - SerenityOS/jakt: The Jakt Programming 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 - ThakeeNathees/pocketlang: A lightweight, fast embeddable scripting 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 - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
This repo is still very early and rough, it's mostly just notes, speculative writing, and exploratory theorem proving. Most of the files in this repo are just "mad scribblings" that I haven't refined enough to actually stand by! If you prefer video, this presentation talks about the core ideas that make formal verification and Magmide possible, and the design goals and intentions of the project: I
しぶしぶ覚えるLua言語 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに Lua好きですか？ ええ、そうですよね、好きでも嫌いでもないですよね。わかります。 Luaが好きで好きでしょうがないという人はいません。ごめん、言い過ぎた。大抵は自分の使っているアプリのスクリプティング機能がLuaだからAPIを叩くために仕方なく使うという人が多いのではないでしょうか。 私のよく使うDTM分野のアプリでもReaperのReaScript、FalconのUVI Script、KONTAKTのCREATOR TOOLS、HALionのHALion ScriptなどLuaによるスクリプティングができるものがあります。
ポール・グレハムの記事の一つにWhat Makes Lisp Different?というものがある： www.paulgraham.com ポール・グレハムらしくよく書かれていて、C言語などと比較した場合のLispの特徴をうまく捉えているように思う。 その中の一つが Recursion. Recursion existed as a mathematical concept before Lisp of course, but Lisp was the first programming language to support it. (It's arguably implicit in making functions first class objects.) こうある通り、私も今まで深く考えたこともなく「プログラミングにおける再帰はLispが由来」と考えていたのだが、前回の記事を書く
わかる！？Rustの所有権システム
「Rustの所有権が難しい」という話しがときどきありますが、所有権システムの理解を助ける記事にしてみたいと思います。 所有権とはリソースを開放する権利のこと 所有権とは関数がリソース(資源)を開放する権利のことです。所有するというより消費されてしまうイメージに近いです。 以下のように変数の束縛での解説が多いですが、たぶんつまずくのは関数のほうかなと。 let a = String::from("abc"); let b = a; println!("{}", a); // bに所有権が移動するのでコンパイルエラー let c: u32 = 1; let d: u32 = c; println!("c = {}, d = {}", c, d); // 基本データ型はCopyトレイトを実装しているのでコンパイル可能 というわけで、ここから関数の例で解説します…。 以下のfoo関数はb: Bar
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 - losvedir/transit-lang-cmp: Programming language comparison by reimplementing the same transit data app
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
今回は Python のスクリプトにおいてエントリーポイントとなる main 関数を定義することのメリットについて説明します。 # わざわざ main 関数を定義してその中に処理を書く def main(): ... if __name__ == "__main__": main() Python では本来 main 関数を定義する必要はありませんが、経験者が書いたスクリプトではよく main 関数が書かれています。 筆者は Python を学び始めた頃にそのようなコードを見て「必要ないものをなぜわざわざ書くのだろう？」と疑問に思いました。 今回は筆者自身がかつて抱いたこの疑問に答えてみます。 尚、 main という名前を使うのはただの慣習です。 この名前の関数にしないといけない制約は特にありません。 本記事において、「 main 関数を定義する」というのは、正確には上のコードのように m
GitHub - coalton-lang/coalton: Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
(in-package #:coalton-user) (named-readtables:in-readtable coalton:coalton) (coalton-toplevel ;; Define Coalton `Symbol`s as Lisp `cl:keyword`s. (repr :native cl:keyword) (define-type Symbol) ;; Bind a Lisp function into Coalton. (declare sym (String -> Symbol)) (define (sym s) "Create a new symbol named `s`." (lisp Symbol (s) (cl:intern s "KEYWORD"))) ;; Define equality of `Symbol` types using CL
GitHub - nanochess/bootLogo: Logo language in 508 bytes (x86 boot sector)
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
Rustが最も人気のあるプログラミング言語トップ20に
Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
GitHub - crablang/crab: A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
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
[詳解] Pythonのdataclasses
dataclassesとは pythonのdataclassesモジュールは、データを格納するためのクラスを定義し、データ格納クラスのための様々な機能を含んだモジュールです。 データ格納のための、と言うとふんわりした印象になりますが、クラス変数を初期化するための__init__()関数を自動生成してくれるため、クラスの定義がシンプルになります。またデータ格納を目的とするクラスの場合__init__()に大量の引数を記載する必要がありますが、自動生成されることによりその必要も無くなります。 データ格納といった目的以外にも様々な用途に用いることが考えられると思います。 dataclassesはPython3.7から追加になりました。本記事はPython3.9のドキュメント、ソースコードを参照して執筆しています。 基本的な使い方 dataclassesモジュールを用いたデータ格納クラスを作成する
![[詳解] Pythonのdataclasses](https://cdn-ak-scissors.b.st-hatena.com/image/square/6d56aea76443615b42f785c9262d9e092a537c48/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--E6mCCp6B--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3A%25255B%2525E8%2525A9%2525B3%2525E8%2525A7%2525A3%25255D%252520Python%2525E3%252581%2525AEdataclasses%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3A%2525E3%252581%252588%2525E3%252582%252593%2525E3%252581%2525B6%2525E3%252582%252593%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9saDMuZ29vZ2xldXNlcmNvbnRlbnQuY29tL2EtL0FPaDE0R2g1LW5HV3VTeEFVM1VzVHV4bWljUVVCUDhSMXUtZ19IU0VpQTdUPXMyNTAtYw%3D%3D%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png)
Why I'm leaving Elm
Over the past year or so, I've reluctantly come to the conclusion I need to leave Elm and migrate to some other language (most likely Bucklescript via philip2), and I definitely cannot recommend it to anyone else. This post is about my reasons for that, which are mostly about the way in which the leadership behave. I'm not going to talk about the good points of Elm as a technology. You can read th
A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Game
A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Game It's a wise saying, because we game developers have so much fun making the underlying foundations, that we never get around to adding the actual gameplay. This is an article about how badly I disregarded that advice, and what happened because of it. As you can guess, I made my own game engine. It was an gloriously unw
# Idris2の数量的型が解決した問題導入した問題 ---------------------- [第一回関数型プログラミング（仮）の会 - connpass](https://opt.connpass.com/event/222709/) === # About Me ---------  * κeen * [@blackenedgold](https://twitter.com/blackenedgold) * GitHub: [KeenS](https://github.com/KeenS) * GitLab: [blackenedgold](https://gitlab.com/blackenedgold) * [Idein Inc.](https://idein.jp/)のエンジニア * Lisp, ML
新星プログラミング言語Julia。 Rubyの動的さとC言語の速度を両立させた、公認会計士の資格を取得したジャニーズJr.みたいな、そんなのアリかよって感じの言語だ。 Juliaの宣伝文句はすごい。引用してみよう。 僕らが欲しい言語はこんな感じだ。まず、ゆるいライセンスのオープンソースで、Cの速度とRubyの動的さが欲しい。Lispのような真のマクロが使える同図象性のある言語で、Matlabのように分かりやすい数学の記述をしたい。Pythonのように汎用的に使いたいし、Rの統計処理、Perlの文字列処理、Matlabの線形代数計算も要る。シェルのように簡単にいくつかのパーツをつなぎ合わせたい。チョー簡単に習えて、超上級ハッカーも満足する言語。インタラクティブに使えて、かつコンパイルできる言語が欲しい。 （そういえば、C言語の実行速度が必要だってのは言ったっけ？） こんなにもワガママを言った
GitHub - robertmuth/Cwerg: The best C-like language that can be implemented in 10kLOC.
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
Cognition
Lisp programmers claim that their system of s-expression code in addition to its featureful macro system makes it a metaprogrammable and generalized system. This is of course true, but there's something very broken with lisp: metaprogramming and programming aren't the same thing, meaning there will always be rigid syntax within lisp (its parentheses or the fact that it needs to have characters tha
RubyがいかにJITと向き合ってきたか
TLDR Ruby under the Microscopeと言う本の輪読会をやっていて、JITまわりで気になった部分があったので、解説します。 今、有志でRuby under the Microscopeという本を輪読しています。 この本はRubyのしくみという邦題で訳されてもいて、Rubyが内部でどうやって動いているのか、とても丁寧に解説されています。 2014年にすでに本は出ていて、その頃に購入はしていたのですが、今まで積読していました。 JITとは何か JITとは「Just in Time」の頭文字で、その名の通り「必要な分を、必要な時に」コンパイルするコンパイラのことです。 なぜ今読むのか 今週、Ruby edgeブランチにでYJITというRailsパフォーマンス向上が期待できる新しい種類のJITがマージされました。PRはこちら。たまたま、その開発者・チームと同じ会社（Shopi
ようこそ プログラミング言語処理系が好きな人の集まりは、言語処理系に関する話題ならなんでもありな Zulip コミュニティです。 参加したい方へ まずは覗いてみよう Zulip のリンクから中を覗けます。 メンバーとして参加される際はZulip の招待リンクから登録してください。 次は自己紹介 #general で自己紹介をすると良いです。 参加した目的を簡単にまとめれば、他の人がぴったりのストリームを紹介してくれるかもしれません。 ストリーム紹介 #general のほか、#雑談 #質問 #言語 #進捗 #meetup などのストリームがあります。 Scrapbox 情報をまとめるために Scrapbox を開設しました。 定期ミートアップ 有志による定期ミートアップを２週に１回程度開催しています。詳細はこちら 日程や参加の方法などは Zulip の#meetup で告知しています。 過
zig言語でtomlパーサを書いてみた
数ヶ月前にzig言語というやつの存在を知って、これはちょっと面白そうだなと思ったので、勉強がてらなにかやってみよう、と思っていた。ある日、tomlのパーサはどうだろうかと思い立ってしばらくやっていて（Ghost of Tsushima で作業が中断したりしつつ）、まあまあ出来上がってきたと思うので、現在のところのソースコードをgithubに置いておいた（https://github.com/jmuk/zig-toml）。 というわけで、zig言語をちょっと書いてみた感想を残しておく。なお、利用したのはzig 0.6.0なので、今後いろいろ変わってくる可能性もあることは強調しておきたい。 zig言語のよいところ・興味深いところ 型の扱いがzigでは興味深いところだった。zigはかなりいろんなところでcomptimeというマーカをつけてコンパイル時にコンパイラが事前処理をするようなことができる
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
graydon2 | The Rust I Wanted Had No Future
How I wrote my own "proper" programming language
今どきの言語ならこの2択、歯ごたえ十分のRustか型を使えるTypeScriptか
A baseline scrapscript compiler
Introduction - The Rust Performance Book
Apple is Killing Swift
新しいシステムプログラミング言語Nim・日本初の解説書！ 『プログラミングNim』発行！ 技術の泉シリーズ、8月の新刊
AWK As A Major Systems Programming Language — Revisited
Lispはなぜ神の言語と呼ばれるのか - SEむううみんのプログラミングパラダイス
プログラミング言語における再帰の初出はLISPではなかった - Arantium Maestum
Python Tips: Python で main 関数を定義することのメリット
Idris 2の数量的型が解決した問題、導入した問題 | κeenのHappy Hacκing Blog
Juliaの速さの核心に迫る〜インタプリタ、コンパイラ、JITコンパイラ〜 - SEむううみんのプログラミングパラダイス
プログラミング言語処理系が好きな人の集まり
news.denfaminicogamer.jp
search.app
tanikusyu.com
kicks-blog.com
aoi8.vp.bex.jp
houseplants-jp.info