プログラミング・開発言語– category –

Haskellは、1987年にオレゴンで開催された関数型言語会議で「純粋関数型言語を一本化しよう」という合意のもとに設計が始まり、1990年に最初の仕様Haskell 1.0が公開された純粋関数型プログラミング言語です。言語名は論理学者ハスケル・カリー（Haskell C...

Elixirは、2012年にブラジル人エンジニアJosé Valim（ジョゼ・ヴァリム）が公開した動的型付け関数型プログラミング言語です。Ruby on Railsのコアメンバーとして活動していたValimが、並行処理に強い言語を求めて行き着いた答えがElixirでした。実行基盤...

Rustは、2010年にMozilla社員のGraydon Hoareが個人プロジェクトとして始め、後にMozilla公式の研究プロジェクトに昇格、2015年5月にバージョン1.0が公開されたシステムプログラミング言語です。「メモリ安全」「並行安全」「ゼロコスト抽象」をスローガン...

Dartは、2011年10月のGOTOカンファレンスでGoogleが発表したオブジェクト指向プログラミング言語です。当初は「JavaScriptを置き換える」という野心的なミッションで生まれましたが、ブラウザ側の反応は冷ややかでした。潮目が変わったのは2018年、Google...

Swiftは、2014年6月のApple開発者会議WWDCで発表されたオープンソースのプログラミング言語です。設計の中心人物はLLVMコンパイラ基盤の生みの親であるChris Lattnerで、彼はApple在籍時に約4年間、ほぼ一人で初期設計を進めていたと後年明かしています。O...

Kotlinは、2011年にIntelliJ IDEAを開発するチェコ拠点のJetBrainsが発表したJVM言語です。サンクトペテルブルク近郊のコトリン島から名前が取られており、ScalaやGroovyを使う中で感じた「もう少し実用に振った言語が欲しい」というJetBrains社内の現場感...

Scalaは、2004年にスイス連邦工科大学ローザンヌ校（EPFL）のMartin Odersky教授が公開したJVM言語です。OderskyはJavaのジェネリクス（Java 5）の設計にも関わった人物で、その経験から「もしJavaをゼロから設計し直したらどうなるか」という問いに自分な...

Go言語（Golang）は、2009年にGoogleが発表した静的型付けのコンパイル言語です。UNIX創成期からの伝説的なエンジニアであるKen Thompson、UTF-8の設計者Rob Pike、そしてV8チームに関わったRobert Griesemerの3人が中心となって設計しました。「大規模開...

Devboxは2022年8月に米国Jetify社(設立時の社名Jetpack.io、2024年に改名)が公開した、Nix Package Managerを基盤にした開発環境構築ツールである。devbox initでプロジェクトにdevbox.jsonを作り、devbox add python@3.12 nodejs@20で必要なツールを宣言...

direnvは2014年頃にzimbatm氏(本名Jonas Pfenniger)を中心に開発が広がった、ディレクトリ単位で環境変数を切り替えるシェル拡張である。プロジェクト直下に.envrcファイルを置くと、cdした瞬間にその内容を読み込み、ディレクトリを離れた際に元の状態に...