Hatena Blog Tags
はてなブログ トップ
Erlang
このタグでブログを書く
言葉の解説
ネットで話題
関連ブログ

Erlang

(コンピュータ)
【あーらん】

Erlangとは？

Erlangは汎用の並列指向のプログラミング言語とそのランタイムです。Erlangの逐次実行部分は、正格で単一代入で動的型付けの関数型言語になっています。
もともと、Ericssonで、ネットワーク分散システム上で、耐障害性に優れ、ソフト・リアルタイムをサポートし、無停止での実行が可能なアプリケーションを作成することができるように設計された、非オープンソースのソフトウェアでしたが、1998年にオープンソース化されました。

参考サイト

公式サイト
http://www.erlang.org/
Erlang Project
http://www.erlang-projects.org/
Planet Erlang
http://www.planeterlang.org/
Wikipedia
http://en.wikipedia.org/wiki/Erlang_programming_language
日本語による解説
http://www.kmonos.net/alang/etc/erlang.php

参考文献

プログラミングErlang

プログラミングErlang

Programming Erlang: Software for a Concurrent World

Programming Erlang: Software for a Concurrent World

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
電通総研 テックブログ•5ヶ月前

VS Codeで作るErlangアプリケーション開発環境

みなさんこんにちは、電通国際情報サービス（ISID）Xイノベーション本部ソフトウェアデザインセンターの佐藤太一です。 皆さんは最近発売された『実践プロパティベーステスト ― PropErとErlang/Elixirではじめよう』はもう読みましたか？ この本はErlangやElixirを使ってプロパティベーステストというテスト手法について具体的なコードを使って実践的に学習できる本です。非常に素晴らしい本ですが、難しい部分も多いため私は少しずつ読んでいる所です。 この記事では、この本を読むにあたってサンプルコードを動かすための環境を使っているOSに依存せずに作成する方法を説明します。 事前の準備 …

#VS Code#Erlang

ネットで話題

もっと見る
611ブックマーク大規模ゲーム開発で存在感を高めるErlang/Elixir ─ Nintendo Switch™とロマサガRSの事例から - エンジニアHub｜Webエンジニアのキャリアを考える！eh-career.com
555ブックマークtwitterブームの陰で注目を集める“Erlang” － ＠IT2007/04/27 “twitter”がブームだ。140バイト以内の短いメッセージで“現在進行形”の自分のステータスをほかのユーザーとシェアするだけのオンラインサービスだが、本国の米国はもとより、日本でも非常な人気を集めている。Alexaでアクセス数の推移を調べると、今年に入ってから本格的にブレークしている様子が分かる。4月...atmarkit.itmedia.co.jp
388ブックマーク最速で知る！ ElixirプログラミングとErlang/OTPの始め方【第二言語としてのElixir】 - エンジニアHub｜Webエンジニアのキャリアを考える！employment.en-japan.com
359ブックマーク[O] これから15分でErlangを始めるための資料Erlangをいうプログラミング言語を使って何かをすることが、 最近の流行みたいです。去年はHaskellが流行しましたね。 研究室内で僕を含めてErlangに興味津々という人が、 何人かいたので、今やろう！すぐやろう！と始めてみました。 以下はDebian Etch LinuxでErlangを使ったHello Worldに たどり着くまでの方法と、自...blog.overlasting.net
259ブックマークなぜ Erlang/OTP を使い続けるのかgist.github.com
249ブックマーク私が愛する Elixir/Erlang の楽しさと辛さspeakerdeck.com
238ブックマークErlang クエックブック文字列 文字列を数値に変換する list_to_integer("123"). % 123 list_to_integer("-10"). % -10 n進数の文字列を数値に変換する u は指定した基数で変換、# は文字列が表現している基数で変換します。 io_lib:fread("~16u", "100"). % {ok,[256],[]} io_lib:fread("~2u", "100abc"). % {ok,[4],[abc]} io_lib:fread("~36...ancient.s6.xrea.com
234ブックマークErlang/OTP と ejabberd を活用した Nintendo Switch(TM)向け プッシュ通知システム 「NPNS」の 開発事例speakerdeck.com
224ブックマークなぜErlangにしたのかA framework for easily creating beautiful presentations using HTMLsile.github.io

関連ブログ

YAMAGUCHI::weblog•6ヶ月前

「実践プロパティベーステスト」という本が出版されました #pbtbook

はじめに こんにちは、Google Cloudのオブザーバビリティ/SRE担当者です。このたび私が翻訳しました「実践プロパティベーステスト PropErとErlang/Elixirではじめよう」という書籍がラムダノート社より去る11月1日に出版されました。書店ならびに各社オンラインストアでご購入いただけます。 実践プロパティベーステスト ― PropErとErlang/Elixirではじめよう作者:Fred HebertラムダノートAmazon 実践プロパティベーステスト ― PropErとErlang/Elixirではじめようwww.lambdanote.com 電子書籍についてはラムダノー…

#Erlang#Elixir#PBT#テスト
エンジニアのソフトウェア的愛情•1年前

ElixirのログをOTP標準装備のハンドラでファイルに出力する覚え書き

数年前に、Elixir の Logger モジュールのカスタムバックエンドを書く、という記事を書きました。 blog.emattsan.org ごく最近になって。 Elixir Forum で Logger の設定の記事を読み、OTP が標準で用意しているハンドラを使えば、バックエンドを書かなくてもログをファイルに出力できると知りました。 調べてみると、ハンドラは OTP 21.0 で追加された模様。 奇しくも OTP 21.0 のリリース日は、先の記事の公開日と同じ 2018/06/19 だったことに何かの縁を感じたり感じなかったり。 いまだ全貌を掴みきれていないのですが、ログをファイルに出…

#Elixir#Erlang#logger
Nullable•2年前

Erlang 入門

概要 1986年にスウェーデンの通信機器メーカーであるEricsson社が電話通信アプリケーションを開発する目的でErlangを開発し1998年にOSSとして公開した。 Erlangは巨大なサーバソフトウェア(メッセージキューイングやWebサーバ、分散データベースなど)などの高レベルプロトコルの実装に向いており、現在ではWhatsApp、ドワンゴ、LINEなどがErlangを採用していることを表明している。 qsort([]) -> []; qsort([Pivot|Rest]) -> qsort([ X || X <- Rest, X < Pivot ]) ++ [Pivot] ++ qso…

#Erlang
c4se記：さっちゃんですよ☆•2年前

Clojerl の runtime に起動してゐる process 達

Clojure Advent Calendar 2021 12/11 (土) です☆ 12/10 (金) は id:kbaba1001 さんのClojureで仕事をはじめて１年経った - さめたコーヒーでした♪ www.kbaba1001.com Clojerl は Erlang VM で動く Clojure です。Erlang/OTP や Erlang library の函數を Clojure の函數であるかの樣に呼べるのが特徴です。Clojure の library は、ClojureScript に於けると同じく reader conditionals を書けば使へます。 Clojerl…

#Clojure#Erlang
無題の備忘録•3年前

Erlang の gen_server モジュールを学ぶ

以前の記事で (2年も前くらいの記事...)、gen_server ビヘイビアの概要を学びました。 今回は、gen_server モジュールに用意されている各関数と gen_server モジュールのコールバック関数を学びたいと思います。というか書きかけだったのに気がついて、今書き上げました。 gen_server はいくつかの関数をコールバック関数として export されていることを期待しています。 gen_server ビヘイビアの関数とコールバック関数の関係は下記のようになります。 例えば、gen_server:start_link 関数が呼ばれると、コールバックモジュール Modul…

#Erlang
スペクトラム•23日前

RBSがテストになるとおもしろいんじゃないか日記5

前回までのあらすじ RBSがテストになるとおもしろいんじゃないか日記1 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記2 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記3 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記4 - スペクトラム 続シンボリックコール シンボリックコールは、前回紹介したようにメソッドの呼び出しを遅延評価するデータ構造である。 ザックリとしか紹介できていなかったので、ここで深掘りしておく。 シンボリックコールは次のようなシンプルなデータ構造だ。 [:call, Integer, :sqrt, [4], {}, …

エンジニアのソフトウェア的愛情•23日前

PureScript と Erlang、と Elixir、の覚書

PureScript というプログラミング言語があります。 Haskell のような構文で記述でき JavaScript を出力できる、ということを半年ほど前に知ったのですが。 www.purescript.org 最近になって、バックエンドを切り替えれば Erlang のソースコードを出力できるということを知りました。 元々は Phoenix のフロントエンドのプログラミングで PureScript を使うための方法を調べようとしていたのですが、あまりに面白そうだったので先にこちらに手を出した次第。 なお、ここから先は PureScript の開発環境は別途準備できている前提で話をしてゆきま…

aki_iic’s blog•24日前

再起動（又の名をリセット文化：）

これは多分マイクロソフト社やApple社（特にOSX以前のMacintosh）らの功績（無論、皮肉ですよ）なのだろうけれど、再起動（或いはリセット）をエンドユーザが平然と常用語として話題にされる事を、 少なくともパソコンOS／アプリメーカは恥じるべきではないだろうか（建前） と絵に書いた様な建前論で笑っていられるのは再起動が許されるPCというゆるい文化系での話であって、ミッションクリティカルなシステムでは命や社会インフラに関わる事件に発展する事柄だから笑って済む事柄では当然ない（真面目な話です：）： gigazine.net この記事のインタビュー対象がSalesforceだからまあ、リセット…

刹那的思考をメモる•25日前

【WIP】Atcoder Rustで使えるcrateのDocを全部眺めてみる

概要 Atcoderで最近Python -> Rustに移行している最中でライブラリを作成中． ライブラリーを作りつつ，Atcoderで使えるcrate一覧に記載があるcrateを眺めているのでそのメモ． 使えそうな問題があれば別途記事をまとめていく． https://img.atcoder.jp/file/language-update/language-list.html#:~:text=Rust ac-library-rs@=0.1.1 acl (AtCoder Library)のRust実装版． https://atcoder.github.io/ac-library/master/d…

スペクトラム•1ヶ月前

RBSをテストコードにする

DALL-Eより: Imagine a scene where the abstract concepts of Ruby programming and property-based testing blend harmoniously. Picture a large, glowing ruby crystal まいどお馴染み、作ってみたシリーズです。 今回は、RaaP(ラープ)というツールを作りました。RBS as a PropertyでRaaPです。 github.com RaaPはテスティングツールの一種で、RBSをそのままテストコードにみたてて実行してくれるツールです。 次のような…

若くない何かの悩み•1ヶ月前

テスト技法「同値分割」を信頼していいのかわからなくなった

これまで同値分割を信頼できる手法だと信じてきました。最近になってどうして同値分割が信頼できる方法なのかその理由を私が説明できないことに気づきました。この原因は2つあります： 同値分割の分割の基準が不明確であること 後述するいくつかの仮定を満たさない場合、ある同値パーティションの代表値の出力が正しければその同値パーティションの他の値の出力も正しいといえる根拠に乏しいこと この2つから、不明確な基準の同値分割はその信頼性の説明ができないこと、同値テストは後述するいくつかの仮定が満たされたときのみ有効な手段でありいずれかの仮定が満たされない場合はさして信頼できないことが導かれます。 この記事ではこの…

hotch-potch, Note to self•1ヶ月前

Elixirでステートマシンをつくる ～ gen_statem

１．はじめに 産業機械をPLCなどを使って制御する際に、 ラダーやST言語などを使って、シーケンスプログラムを書きます。 Elixir言語でシーケンスプログラム＝ステートマシンを実現したい場合に、何か便利な仕組みがないか探していたところ、erlangのgen_statemという仕組みを見つけました。 まずはgen_statemで、どんなことができるかを試行してみました。 １．はじめに ２．まずはお手本～ATMでお金を引き出す装置の例 （１）考え方 （２）ソースコードの準備 （３）サンプルの試行 正常な手順 異常な手順 ３．読み解きと理解 （１）現在のステートを保持する仕組み （２）コールバック…

ソフトウェアの品質を学びまくる•2ヶ月前

【参加メモ】AI時代のソフトウェアテストの現在と未来 #genai_autify_launchable

本日2024年3月5日(火)の昼間に開催された、『AI時代のソフトウェアテストの現在と未来』というイベントがとてもよかったので、特に印象深かったポイントについて共有したいと思います。 イベントの詳細はこちらで。 autifyjapan.connpass.com 登壇者はタワーズ・クエストの和田卓人 @t_wada さん、Launchableの川口耕介 @kohsukekawa さん、Autifyの近澤良 @chikathreesix さんのお三方。ファシリテーターは、近澤さんと同じくAutifyの、末村拓也 @tsueeemura さんです。 宣伝タイム Launchableは、「テストの失敗…

ESM アジャイル事業部 開発者ブログ•2ヶ月前

物理スイッチとウェブ UIを繋ぐ。Elixirで。

はじめに 近ごろ IoT プログラミングしたい欲が再起動した e.mattsan です。 IoT とは言っても Raspberry Pi などではマシンパワーも小さくなく、外部にデバイスを接続する以外は PC のプログラミングとほぼ変わりありません。 今回の記事は、題名の通り、ブラウザ上に表示したボタンでブレッドボード上の LED の点灯状態を制御し、ブレッドボード上のスイッチでブラウザ上のアイコンの表示状態の変更をすることを試みます。 はじめに Elixir とウェブアプリケーションと IoT 用意するもの Nerves アプリケーションで LED を点滅させる GPIO パッケージを追加す…

エンジニアのソフトウェア的愛情•2ヶ月前

フォントデータを ETS で保存する

前回の続きです。 前回は BDF ファイルをパースして読み込む話をしました。 そして、BDF ファイルは単純なテキストファイルだし、Nerves アプリケーションへそのまま持っていっても大丈夫だろう、と高を括っていたのですが。 Raspberry Pi ZERO W の非力さを甘くみていました。 起動時に BDF ファイルを読み込ませるようにしたら、電源を入れてもなかなか入力に反応しない。 何かを壊したかとあせりもしたのですが、結局テキストのパースに時間がかかっている様子でした。 一旦読み込み終えてしまえば、あとはメモリ上のアクセスのみになるので、その後の動作には影響しません。 しかし電源を入…

golden-luckyの日記•2ヶ月前

『定理証明手習い』の読み方（私論）

本記事は、ラムダノートで発売している『定理証明手習い』を買っていただいた方に「読んで」とお願いするための「私家版、読み方のおすすめ」です。そもそも定理証明とか自分には関係ないしっていう人も多いと思うので、「気になるけど買ってない」という方に興味を持ってもらうことも目的としています。 /**/ 「ラムダノートの本の読み方（私論）」シリーズはこれで第3回なのですが、前回からは丸1年も空いてしまいました。この間に『実践プロパティベーステスト』を出版し、プログラムの挙動を検証する本について語れることが増えたので、そのあたりの世界観自体から話を始めていきたいと思います。 テストケースを手作りして挙動を確…

MOTEX TECH BLOG•2ヶ月前

Elixirで運用監視ツールを書くときに工夫したこと

はじめに こんにちは、LANSCOPEセキュリティーオーディター開発チームの菊森です。 最近サービスレベルの向上に向けた取り組みの一環で運用監視ツールをElixirで書きました。 今回、企画からリリースまでの一連の過程で考えたことや工夫したことをご紹介したいと思います。 また、役に立ったElixirの機能についても合わせてご紹介していきます。 はじめに なぜやったか なにをやったか どうやったか 概要 前提となる各技術要素のバージョン ビジュアルの設計 CLIの設計 プロジェクトの作成 プロジェクトのディレクトリ・ファイル構成 プロジェクトの設定 ドメインオブジェクトの実装 コアプログラムの実…

kdnakt blog•2ヶ月前

今週気になったTLS関連のニュース

2024年2月5日～2024年2月11日に読んだ中で気になったニュースとメモ書きです。社内勉強会TLSらじお第143回分。 [CTログのモニタリング] [耐量子暗号ハンドシェイク遅延] [その他のニュース] ▼Google Trust Servicesのインシデント（2024/01/31） ▼Microsoft Cloud PKI ▼Go 1.22リリース ▼OV/EV証明書のACME ▼ルートDNSのDoT ▼3ツイートでChaCha20-Poly1305 ▼ErlangのmTLSバグ修正 [暗認本：42 VPN] [まとめ]

ytake blog•2ヶ月前

Goで実践 アクターモデル vol.1 Hello Actor

Hello Actor 細かい機能の解説はあとの回として、 まずはアクターシステムを使ったプログラミングを体験してみましょう。 Goではアクターシステムが商用でも十分利用できるものは、 下記のProto Actorとergoがあります。 github.com github.com Proto.Actorは、Akka.NET のオリジナル作成者 Roger Johansson によって開発されているもので、 Akka/Pekko と基本の部分がある程度似た形になっています。 あくまで似ている程度で、現在のAkka/Pekkoほど強力なツールが揃っているわけではありませんが、 Proto Acto…

ytake blog•3ヶ月前

Goで実践 アクターモデル はじめに

まえがき アクターモデルといえばErlang、もしくはScala/Javaなどで利用できるAkka/Pekkoがデファクトですが、 Go言語でも不自由なく利用できるProto Actorというツールキットがあります。 Akka/Pekkoほど機能はないため いくつかは自分で実装しなければいけません。 が、不自由ないくらいに機能が揃っています（筆者はPekkoとともにProto Actorも実際に利用しています）。 アクターモデルはプログラミングパラダイムでもあるため、 これまで利用してきたプログラミングの考え方などから少しだけ奇妙に見えるかもしませんが、 理解することで高いレベルで並行処理や分…