The Roc Programming Language
Examples Roc is a young language. It doesn't even have a numbered release yet, just nightly builds! However, it can already be used for several things if you're up for being an early adopter— with all the bugs and missing features which come with that territory. Here are some examples of how it can be used today. Command-Line Interfaces main = Stdout.line! "Hello!" You can use Roc to create script
なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記
How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわからなかったと同僚から相談があり, それをきっかけにして社内の勉強会で以下の話をしました. よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じ
Hello World | Zen Language Documentation
Zenでプログラムを書く準備が整いました。まず、Zenのサンプルプロジェクトを作成して、実行してみましょう。 サンプルプロジェクト プロジェクトの作成 作業用のディレクトリhelloを作成し、zen init-exeコマンドを実行して下さい。 $ mkdir hello $ cd hello $ zen init-exe これで、プロジェクトの雛形であるbuild.zenとsrc/main.zenが生成されます。 . ├── build.zen └── src └── main.zen 1 directory, 2 files build.zenについては、10章ビルドスクリプトで紹介します。 src/main.zenの内容を確認してみましょう。 examples/hello/src/main.zen const std = @import("std"); pub fn main() an
Ruby中間表現のバイナリ出力を改善する - クックパッド開発者ブログ
Ruby 開発チームに4週間インターン生として参加いたしました、永山 (GitHub: NagayamaRyoga) です。 私は「Ruby中間表現のバイナリ出力の改善」という課題に取り組み、Railsアプリケーションのコンパイルキャッシュのサイズを70%以上削減することに成功しました。以下ではこの課題の概要とその成果について述べたいと思います。 InstructionSequenceの概要 まず、RubyVM 内で実行される命令の中間表現、InstructionSequence (以下 ISeq と省略) について簡単に説明します。 通常の Ruby プログラムは、以下のような手順で実行されます。 ソースコードを構文解析し、抽象構文木を作る。 抽象構文木をコンパイルして、ISeq を作る。 RubyVM (YARV) で ISeq を解釈し、実行する。 ISeq は、このように Ruby
VM命令ディスパッチ手法: Context Threading - Qiita
2005年のそれほど新しくないものだが、Context Threading: A flexible and efficient dispatch technique for virtual machine interpreters という論文を読んだので、内容について少しまとめておく。 前提知識: 既存のThreading手法 http://www.complang.tuwien.ac.at/forth/threaded-code.html にまとまっているが、この論文では以下の2つが関係している: Direct threading: ラベルのアドレスを取得するGCC拡張などを使い、VMのprogram counterからVM命令の実装のアドレスをディスパッチしてそこにジャンプする Subroutine threading: VM命令の実装を関数にしておき、それをcallする命令を並べたネ
Rust で Erlang 処理系を実装してみている
今年の 9 月あたりから、 Rust で Erlang の処理系を実装してみています。まともに試せるほど進んでないんですが、気分的に年内に一区切りつけたいので公開しておきます。リポジトリはこちら。 https://github.com/szktty/starlight みています、というのはもちろん思いつきだからです。なにぶん Erlang は適用分野がベリーハードなミッションクリティカルシステムしかなく、あらゆる性能やメリットが Erlang VM (BEAM) を超えなければ非公式処理系の用途はありません。 かといって最初から諦めてもいませんが、業務で Erlang に関わらなくなったら or 開発に疲れたら自然消滅すると思います。すでにわりと疲れている。 進捗状況「速くなるのか？」「軽量プロセスは？」などの疑問に興味津々の皆様、すいません。全然ご期待に応えられません。本当に同梱のごく
COBOLってこんな言語
日経xTECHの元記事を読んでもCOBOLの特徴があんまり伝わってこない感じだし、かといってそれをディスってもしょうがないので、書いてみた。 https://anond.hatelabo.jp/20190205192741 COBOLは本質的にはDSLなんだけど、一見汎用プログラミング言語に見えてしまってRubyやPythonなんかと比較するのが誤解のもとではあると思う。今の人でも知ってそうなCOBOLに似ている言語はたぶんSQLで、データを処理するための専用言語。ただ、SQLは頑張ればすごく複雑なこともできるパワフルな言語で、だからこそ現代でも生き延びているわけだけど、COBOLはわりとシンプルなデータ処理を想定している感じ。 SQLだけでアプリケーションを作れないのは触ったことある人なら誰でもわかると思う。普通はJavaやRubyで全体の流れを記述してデータベース入出力をSQLで書く。
カインドを用いたレコード多相 (record polymorphism) の計算体系とその実装 - 私が歌川です
これは KMC Advent Calendar 2018 - Adventar と 言語実装 Advent Calendar 2018 - Qiita 4日目の記事です． 3日目はそれぞれ， id:nojima718 さんの ぷよぷよのプレイ動画を解析して棋譜を生成する - @nojima's blog (KMC) @yhara さんの Shiika進捗(2018) - yhara.jp (言語実装) でした． 自己紹介 id:utgwkk (うたがわきき) です．学部4回生になり，プログラミング言語に関する研究をすることになりました*1． KMC部員としての生活もついに4年目です．ふだんはお酒を飲んでいます． 概要 この記事では，大堀先生の多相レコード理論の論文[1] *2について，(数学的な議論は控えめに)どういうことをやっているのかについて紹介します． また，リファレンス実装のSML
untitled
........................................................................................................................4 ..............................................................................................................4 .....................................................................................................................4 ...............................................
Perl Advent Calendar 2017 2日目「SPVMという言語について語る」 - Perl入門ゼミ
この記事は、Perl Advent Calender 2日目の記事です。1日目はK君でしたね。 先週は妻の実家に帰っていて、甥っ子ちゃんと遊びました。そのあと、カラオケいって、バッティングセンター行ったら、ちょっと疲れて風邪をひいちゃいました。 さて、本題へ。 SPVMの開発の動機 もともとは、Perlの集合演算を速くしたいなぁとずっと思っていて、RstatsというR言語のライブラリを、Perlに移植するプロジェクトをやっていました。これはC++とXSで書いていたのですけれど、関数を実装するためには、C++とXSで書かなくっちゃいけなくってちょっと辛い。 集合演算というのは、まぁ、簡単にいうと、配列の足し算や引き算や掛け算や割り算のことです。たとえば、10万の長さの二つの配列の要素を足し算して、結果として返すというようなことですね。 Perlの配列の足し算は、かなり遅い。C++とXSで書く
Writing An Interpreter In Go
In this book we will create a programming language together. We'll start with 0 lines of code and end up with a fully working interpreter for the Monkey* programming language. Step by step. From tokens to output. All code shown and included. Fully tested. Buy eBook for $29 Buy paperback for $39 eBook includes PDF, ePub, Mobi (Kindle) and HTML. Read a free sample. Current version: 1.7. Released 7.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H28-hasegawa.pdf
簡単なプログラミング言語を作るライブコーディング