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
ゲーム＝プログラム？ みなさんこんばんは。セガゲームス開発技術部の林です。 長年、技術と名のつく部門で技術者をやっています。このブログも TECH とついているためぜひ何か情報を発信してみたいと考えていましたが、やっと順番が回ってきました。 これまでやってきたことを控えめに表現するとゲームタイトルを開発しているチームのお手伝いです。遠慮せずに表現すると、技術的に難易度の高い部分を引き受けて成功に導くのが役割です。 そのため、家庭用ゲーム・アーケードゲーム・スマートフォンアプリなどいろいろなタイプや規模のゲーム開発に触れる機会が数多くありました。そこで、今回ブログのテーマとしてはその全てに関わる内容をご紹介したいと思います。 ゲーム開発に使用するプログラミング言語について取り上げます。 プログラム上のテクニックや技術の詳細ではなく、実際の開発現場でどのプログラミング言語が何に使われているのか
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
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が最近リリースされ、重要な変...
新星プログラミング言語Julia。 Rubyの動的さとC言語の速度を両立させた、公認会計士の資格を取得したジャニーズJr.みたいな、そんなのアリかよって感じの言語だ。 Juliaの宣伝文句はすごい。引用してみよう。 僕らが欲しい言語はこんな感じだ。まず、ゆるいライセンスのオープンソースで、Cの速度とRubyの動的さが欲しい。Lispのような真のマクロが使える同図象性のある言語で、Matlabのように分かりやすい数学の記述をしたい。Pythonのように汎用的に使いたいし、Rの統計処理、Perlの文字列処理、Matlabの線形代数計算も要る。シェルのように簡単にいくつかのパーツをつなぎ合わせたい。チョー簡単に習えて、超上級ハッカーも満足する言語。インタラクティブに使えて、かつコンパイルできる言語が欲しい。 （そういえば、C言語の実行速度が必要だってのは言ったっけ？） こんなにもワガママを言った
zig言語でtomlパーサを書いてみた
数ヶ月前にzig言語というやつの存在を知って、これはちょっと面白そうだなと思ったので、勉強がてらなにかやってみよう、と思っていた。ある日、tomlのパーサはどうだろうかと思い立ってしばらくやっていて（Ghost of Tsushima で作業が中断したりしつつ）、まあまあ出来上がってきたと思うので、現在のところのソースコードをgithubに置いておいた（https://github.com/jmuk/zig-toml）。 というわけで、zig言語をちょっと書いてみた感想を残しておく。なお、利用したのはzig 0.6.0なので、今後いろいろ変わってくる可能性もあることは強調しておきたい。 zig言語のよいところ・興味深いところ 型の扱いがzigでは興味深いところだった。zigはかなりいろんなところでcomptimeというマーカをつけてコンパイル時にコンパイラが事前処理をするようなことができる
In 1966 the ACM published Peter Landin’s landmark paper “The next 700 programming languages” [22]. Seven years later, Springer’s “Lecture Notes in Computer Science” (LNCS) was born with Wilfred Brauer as editor of the first volume [5]. Impressively, the contributed chapters of this first volume covered almost every topic of what we now see as core computer science—from computer hardware and operat
EndBASIC
EndBASICBASIC interpreter + DOS environment, reimagined. Launch interpreter EndBASIC is an interpreter for a BASIC-like language and is inspired by Amstrad's Locomotive BASIC 1.1 and Microsoft's QuickBASIC 4.5. Like the former, EndBASIC intends to provide an interactive environment that seamlessly merges coding with immediate visual feedback. Like the latter, EndBASIC offers higher-level programmi
リンカーを自作した
自作Cコンパイラではすべて自分で実装してみるというつもりでCコンパイラ、プリプロセッサ、アセンブラを作ってきたが、ついに欠けている最後の要素だったリンカーを作った。 今まではアセンブラですべてのアセンブリコードを受け取って、マシンコード生成とラベルのアドレスを解決して直接ELF形式の実行ファイルを出力していた。 それでほとんど問題はないんだけど、リンカーが使えるとオブジェクトファイルを生成しておくことで分割コンパイルできるようになりコンパイル時間が短縮できたり、 他のコンパイラの出力結果も使用できるようになるという利点がある。 またリンカーがなくてすべてのコードを一緒にアセンブルしていることにより、ソースファイル中の static 変数や関数でも実際には漏れてしまっているため、プログラム全体で衝突しない名前を使う必要があるという欠点があった。 アセンブラからは実行ファイルだけじゃなくオブジ
並置による関数適用に関する所感
juxtaposition-application.md 並置による関数適用 並置による関数適用の善し悪しについて盛り上っているので、自分の意見を表明しておく。以下の2本立て。 純粋に構文論的な議論 (構文拡張の余地を残す) 意味論との関係での議論 (副作用の表示) 先に結論だけ書くと、私はどちらかといえば括弧による関数適用のほうが好みです。 そもそも並置による関数適用とは 以下のように特定のデリミタによらず、2つの式を並べるだけで関数適用できることを本稿では並置による関数適用 (application by juxtaposing) と呼ぶことにします。 result = f x y 理論面ではλ計算の標準的な記法で、また実用例としてはHaskellやOCamlなど広義のML系でよく見られる形式です。 並置による関数適用以外に以下のような関数適用構文が存在します。 括弧による関数適用 f
The Rust team is happy to announce a new version of Rust, 1.61.0. Rust is a programming language empowering everyone to build reliable and efficient software. If you have a previous version of Rust installed via rustup, you can get 1.61.0 with: $ rustup update stable If you don't have it already, you can get rustup from the appropriate page on our website, and check out the detailed release notes
SML#プロジェクト
SML#はオープンソースの関数型プログラミング言語です。Standard MLと互換性を保ちながら、C言語やデータベースとの連携など実用上重要な機能を備えています。詳しくは「SML#について」をご覧ください。 val puts = _import "puts" : string -> int fun f x = ignore (puts (#b x)) val _ = f {a = "Hi", b = "Hello"} val _ = f {b = "World", c = "SML#"} 最近のニュース SML#の教科書が出ました 2021年4月15日 「SML#で始める実践MLプログラミング」が発売されました。 もっと読む... GitHubへの移行が完了しました 2021年4月7日 SML#プロジェクトのGitHubへの移行が完了しました。 もっと読む... SML# 4.0.0 リ
Welcome to Claro! - The Claro Programming Language (DRAFT)
Welcome to Claro! Claro is a statically typed JVM language that provides a well-lit path to building simple, highly concurrent, and scalable applications. Dependency Management Done Right Claro was designed with modern build tooling in mind: Swap any dependency without changing a single line of source code Runtime "Dependency Injection" frameworks are a thing of the past First class Module system
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
当ページに含まれる広告と商品評価について 当ページには広告リンクが含まれており、当ページを経由して商品・サービスの申込みがあった場合、提携している各掲載企業から広告報酬を受け取ることがあります。ただし、当サイト内のランキングや商品の評価に関して、提携の有無や報酬の有無に一切関わらず、コンテンツポリシーに基づき、当サイト独自の調査と実際に使用したレビューをもとに掲載しております。当サイトで得た収益は、皆様により役立つコンテンツを提供するために、品質向上等に還元しております。 数百種類と言われるプログラミング言語ですが、IT技術のトレンドや新しい言語の登場で人気プログラミング言語のランキングは年々変化します。またWEBサイトやスマホアプリ、ゲーム、業務システムなどシステムの種類や開発目的でも利用言語が違い、ITエンジニアやプログラマーの求人数、副業・フリーランスの案件数、平均年収もプログラミン
Lispインタプリタを作った - 日常と進捗
とうとうApple MusicにPerfumeが追加されたので、ここ数日はワンルーム・ディスコを聞きながらコーディングをしている。 Perfume、良い。良すぎる。幸せになれる。 そう、幸せといえばLisp。 1週間労働を耐え抜いてまた週末にのんびりLispを書ける。 安定感がすごい。 そんな感じで週末Lisperとして今日もLispに向き合っていたのだけれど、そういえば前にLispでCのコンパイラを書く個人プロジェクトを立ち上げたものの完全に放置していたのを思い出した。 で、久しぶりに取り組もうと書きかけのコードを見ていたのだが、なんかグッとこない。 どうも自分のコードにときめかない... ということで中途半端な自分のクソコードをガチャガチャ触って気分の悪い土曜日にしてしまうくらいならまた別のプロジェクトをやった方がいいだろうと判断。 ただ、全く別の何かをやるのも少し気が引けたので、コン
GitHub - eeue56/derw: An Elm-inspired language that transpiles to TypeScript
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
The jank programming language jank is a general-purpose programming language which embraces the interactive, value-oriented nature of Clojure as well as the desire for native compilation and minimal runtimes. jank is strongly compatible with Clojure and considers itself a dialect of Clojure. Please note that jank is under heavy development; assume all features are planned or incomplete. Where jank
まえがき 先日、ツイッターで、（ある程度言語処理系に関わった人なら常識的な）「「コンパイラ型言語」と「インタプリタ型言語」という分類は誤り」という趣旨のことをつぶやいたところ、予想していなかった大きな反響をいただきました。 個々の反応については「うんうん、そうだよね」と思うものもあれば「いや、それは違うんじゃ」と思うものもあり、色々な意見を見られて有意義でしたが、その中で湧いた一つの疑問がありました。それは、「皆、インタプリタが何をやっているかイメージできていないのでは？」というものです。もちろん、トイ言語であれ何か言語処理系を作ったことがある人であればイメージできていないはずはないのですが、実際には、トイ言語であっても作ったことがある人というのは存外少ないものです。 そこで、この記事では、Kotlinで書かれた、簡単な数式言語のインタプリタとコンパイラを使って、それらの違いについて説明て
純粋関数型Lisp方言であるLispKit LispのインタプリタとSECD抽象機械の機械語へのコンパイラを作成する。 タネ本はHendersonの「Functional Programming - Application & Interpretation」で、この本に載っているISWIMやPASCALのコードを大体なぞるようにPythonで書いていく。（最近出た「コンパイラー原理と構造ー」でもSECDマシンへのコンパイルの話題が出ているらしいがまだ届いていないので未確認・・・） 例によって長くなるので複数の記事に分ける。 流れとしては以下のようになる： LispKit Lispの紹介 （本記事） パーサとAST インタプリタ 前編 後編 SECD抽象機械の実装 1 2 3 SECD機械語へのコンパイラ SECD抽象機械ガベージコレクション LispKit Lisp LispKit Lis
GitHub - Vexu/bog: Small, strongly typed, embeddable 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 - coalton-lang/coalton: Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
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.
# その正規表現エンジン、<br /><span class="narrow"><span>イ</span><span>ン</span><span>タ</span><span>プ</span><span>リ</span><span>タ</span></span>で<ruby>満足<rp>(</rp><rt>サティスファイ</rt><rp>)</rp></ruby>してる？！ ---------------------- [Regex Festa - connpass](https://opt.connpass.com/event/140566/) === # About Me ---------  * κeen * [@blackenedgold](https://twitter.com/blackenedgold) * Git
Penrose: from mathematical notation to beautiful diagrams
by Katherine Ye1, Wode Ni1, Max Krieger1, Dor Ma'ayan1, 2, Jenna Wise1, Jonathan Aldrich1, Joshua Sunshine1, and Keenan Crane1 1Carnegie Mellon University, 2Technion appearing in SIGGRAPH 2020 Talk Teaser video Abstract We introduce a system called Penrose for creating mathematical diagrams. Its basic functionality is to translate abstract statements written in familiar math-like notation into one
今回は、Rustで書いたアプリケーションを実際に動かして、Rustを使う楽しさを体感してみよう。例題に選んだのは「コラッツ予想」という数学の問題だ。 コラッツ予想は、いまだに解決されていない不思議な問題である。任意の正の整数nに次のルールの操作を繰り返すことで、どんな整数であっても必ず最後には1になる、というものだ。 n が偶数の場合には、nを2で割る n が奇数の場合には、nに3をかけて1を足す 例えば6という整数を例にとると、次のように計算が進んでいく。今回はこうした計算をRustで再現してみる。 6は偶数なので、2で割る→3 3は奇数なので、3をかけて1を足す→10 10は偶数なので、2で割る→5 5は奇数なので、3をかけて1を足す→16 16は偶数なので、2で割る→8 8は偶数なので、2で割る→4 4は偶数なので、2で割る→2 2は偶数なので、2で割る→1 Rustとプロジェクトを
Ruby 3.0.0-preview2 リリース
Posted by naruse on 8 Dec 2020 Ruby 3.0に向けてフィードバックを得るためのリリースである、Ruby 3.0.0-preview2が公開されました。 Ruby 3.0には、多くの新しい機能やパフォーマンスの改善が含まれます。 その一部を以下に紹介します。 静的解析 RBS RBSはRubyプログラムの型を記述するための言語です。 TypeProfなどの型検査ツールを初めとする静的解析を行うツールは、RBSを利用することでRubyプログラムをより精度良く解析することができます。 RBSでは、Rubyプログラムのクラスやモジュールの型を定義します。メソッドやインスタンス変数、定数とその型、継承やmixinなどの関係などが記述できます。 RBSはRubyプログラムに頻出するパターンをサポートするように設計されており、ユニオン型、メソッドオーバーロード、ジェネリ
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 - titzer/virgil: A fast and lightweight native programming language
Virgil is a programming language designed for building lightweight high-performance systems. Its design blends functional and object-oriented programming paradigms for expressiveness and performance. Virgil's compiler produces optimized, standalone native executables, WebAssembly modules, or JARs for the JVM. For quick turnaround in testing and debugging, programs can also be run directly on a bui
GitHub - shafik/determine_c_or_cpp: Determine programatically C from C++ as well as various versions
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
The Verse Calculus: a core calculus for functional logic programming
Abstract Functional logic languages have a rich literature, but it is tricky to give them a satisfying semantics. In this paper we describe the Verse calculus, VC, a new core calculus for deterministic functional logic programming. Our main contribution is to equip VC with a small-step rewrite semantics, so that we can reason about a VC program in the same way as one does with lambda calculus; tha
なぜRuby 3は速くならなかったのか？
この記事は、著者の許可を得て配信しています。 https://www.fastruby.io/blog/ruby/performance/why-wasnt-ruby-3-faster.html 多くの人がRuby 3のスピートに失望しています。その理由はたくさんあると思いますが、それを考察するのも悪くないと私は思います。 では、なぜ Ruby 3 は速くなかったのでしょうか？約束を破ったのでしょうか？(ネタバレ: 私はそうは思いませんが、そう思う人がいるのは理解できます)。 早いとは：何と比較しているのか？ 問題の原因は、あまりにも期待しすぎたところにあると思います。みんなが「3倍速」の意味を理解していませんでした。みんなが、その意味をしっかりと考えたとは思いませんが、その意味があまり明確に伝わっていなかったとも思います。 だから、約束されたことを理解していた人もいたけれど、理解していな
O'REILLY の『Go言語でつくるインタプリタ』が良かったので、続きの洋書『WRITING A COMPILER IN GO』 もやってみた - Qiita
O'REILLY の『Go言語でつくるインタプリタ』が良かったので、続きの洋書『WRITING A COMPILER IN GO』 もやってみたGoコンパイラ この記事は Go Advent Calendar 2022 カレンダー 2 の 21 日目の記事です。 『WRITING A COMPILER IN GO』という書籍を読んでコンパイラを作ってみたので、その書籍について紹介します。 『Go言語でつくるインタプリタ』と『WRITING A COMPILER IN GO』について まず、『Go言語でつくるインタプリタ』については、 O'REILLY から 2018 年に日本語訳版が発売されたものとなります。 書籍で想定したオリジナルの言語 Monkey のインタプリタを実装していくという内容になっています。 ステップバイステップで少しずつ作っていく流れがわかりやすく、私も楽しくインタプリ
Contribute to SoliditySolidity continues to improve with help from our global community. Check out these ways to get involved and contribute to the Solidity project. Reporting issues and vulnerabilities To report an issue, please use the GitHub issues tracker. To report a vulnerability, please check out the instructions in the SECURITY.md. Translating the documentation Translations help developers
2019年11月12日(火)に、社内研修でプログラミング言語「Rust」をテーマにしました。 そこでプレゼンしたRustの概要や魅力を、コードなしでまとめました。 本記事の対象読者 オススメできる方 Rustをよく知らないが、Rustに興味を抱いている方 Rustのコードを見ずにとりあえず概要を知り、Rustの勢いを感じたい方 オススメできない方 Rustのコードを読んでみたい方 プログラミング言語Rustのススメ ※こちらがオススメです！ 本記事の目的 Rustの概要を知る 「Rustキテるな」を実感する Rustの概要 Mozillaが支援するオープンソースのプログラミング言語 https://www.rust-lang.org/ 名前はさび菌に由来 Graydon「菌類にちなんで命名したと思います。さび菌はすごい生き物です」 1 ロゴは自転車のチェーンリングに由来 Graydon「私
Introducing Jevko: a minimal general-purpose syntax / 2022-02-22 / Darius J Chuck
Introducing Jevko: a minimal general-purpose syntax Dear Hackers, I am making something for you and I’d like to show you an early preview today, on this palindromic datetime of 2022-02-22T20:22:02. It is a small thing, but one that I hope at least some of you will like, because it’s very hackable. I hope that it turns out to be a valuable contribution, and all the energy and time I put into obsess
Test your PHP code with this code tester You can test and compare your PHP code on 400+ PHP versions with this online editor. <?php // Enter your code here, enjoy! $array = array("1" => "PHP code tester Sandbox Online", "emoji" => "😀 😃 😄 😁 😆", 5 , 5 => 89009, "Random number" => rand(100,999), "PHP Version" => phpversion() ); foreach( $array as $key => $value ){ echo $key."\t=>\t".$value."\n";
数当てゲームのプログラミング ハンズオン形式のプロジェクトに一緒に取り組むことで、Rustの世界に飛び込んでみましょう！ この章ではRustの一般的な概念を、実際のプログラムでの使い方を示しながら紹介します。 let、match、メソッド、関連関数、外部クレートの使いかたなどについて学びます！ これらについての詳細は後続の章で取り上げますので、この章では基本的なところを練習します。 プログラミング初心者向けの定番問題である「数当てゲーム」を実装してみましょう。 これは次のように動作します。 プログラムは1から100までのランダムな整数を生成します。 そして、プレーヤーに予想（した数字）を入力するように促します。 予想が入力されると、プログラムはその予想が小さすぎるか大きすぎるかを表示します。 予想が当たっているなら、お祝いのメッセージを表示し、ゲームを終了します。 新規プロジェクトの立ち上
The other day I read 20 most significant programming languages in history, a “preposterous table I just made up.” He certainly got preposterous right: he lists Go as “most significant” but not ALGOL, Smalltalk, or ML. He also leaves off Pascal because it’s “mostly dead”. Preposterous! That defeats the whole point of what “significant in history” means. So let’s talk about some “mostly dead” langua
Counterexamples in Type Systems - Counterexamples in Type Systems
collated by Stephen Dolan, with thanks to Andrej Bauer, Leo White and Jeremy Yallop
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Idris 2の数量的型が解決した問題、導入した問題 | κeenのHappy Hacκing Blog
ゲーム開発に使われるプログラミング言語 - SEGA TECH Blog
Juliaの速さの核心に迫る〜インタプリタ、コンパイラ、JITコンパイラ〜 - SEむううみんのプログラミングパラダイス
The Next 7000 Programming Languages
Announcing Rust 1.61.0 | Rust Blog
2024年に学習をおすすめしたい人気プログラミング言語ランキング | 株式会社EXIDEA
jank programming language - Clojure/LLVM/C++
数式言語を使って、インタプリタとコンパイラの違いを説明してみる - Qiita
LispKit Lisp処理系の実装 序 - Arantium Maestum
その正規表現エンジン、インタプリタで満足してる？！ | κeenのHappy Hacκing Blog
Rustを使うのはこんなに楽しい！「不思議な予想」で体験しよう
Home | Solidity Programming Language
Rustの概要や魅力をコードなしでまとめてみた - Qiita
PHP Sandbox - Execute PHP code online through your browser
数当てゲームのプログラミング - The Rust Programming Language 日本語版
10 Most(ly dead) Influential Programming Languages
xtech.nikkei.com
www.4gamer.net
www.asahi.com
www.jiji.com
www.cnn.co.jp
wirelesswire.jp