tacit programming は point-free style としても知られてゐる。函數適用を使って函數を組み立てるのではなく、函數合成を基本の部品とするやり方だ。見た目上では函數の定義から引數が消える。 tacit programming から連鎖性 programming 言語 (concatenati…
masawada Advent Calendar 2019 - Adventar 12/11 masawada ではないものって何? どれだけ在るの? 調べてみました! 和田 和田(わだ)はどこ？Weblio 辞書 姓氏の一。関東御家人。三浦氏一族。義盛は早くから源頼朝に従い幕府内に重きをおいたが、和田合戦に敗…
Elixir Advent Calendar 2019 - Qiita 12/11 Kubernetes を何故採用したのかの續きだ。各項目の一般的な前提も前の記事に準ずる。よって讀んでくださってゐる事を期待する。 下記 slide 時期の昔話をする。何故技術撰定で Elixir を採用したのか。 ステート…
言語実装 Advent Calendar 2019 - Qiita 12/11 C に lex / yacc と云ふ字句解析 generator と構文解析 generator が有る。Erlang には標準 library に leex / yecc と云ふ同じ役割のものが有り簡單に構文解析器を作れる。Elixir からもこれを使える。 昔 Eli…
Kubernetes3 Advent Calendar 2019 - Qiita 12/11 昔 Kubernetes を技術撰定した事が有ったのでその時の話をする。以下の slide の時の話だ。 ステートフルで大規模アクセスのある soft-realtime なゲームサーバーを easy につくる 採用後の具体的な運用の話…
Mackerel Advent Calendar 2019 - Qiita 12/11 以前にKubernetes 上で動く Elixir アプリを監視するを書いた。これが完成した。 確かに Erlang/Elixir の system は落ちない。programmer が落ちないやうに書けば落ちなく出來るからだ。基本的な道具は BEAM V…
ももんが Advent Calendar 2019 - Adventar 12/7 3 : 不安定、調停 3 は不安定、調停である。3 を A, B, C とし、三角形を作る。すると順序を無視した組み合はせ {A, B}, {B, C}, {C, A} の個數も 3 であり、これは三角形の邊である。A からは {B, C} が見え…
はてなエンジニア Advent Calendar 2019 - Qiita 12/6 12/5 はAWS コストエクスプローラー API と気軽につきあう(2019) - Qiitaであった。 今暫くは都合で Scala を書いてゐる。數年 Elixir をやってきた身だから、簡單に比較してみやう。 同じ所 函數型言語…
ももんが Advent Calendar 2019 - Adventar 12/5 Notion と云ふ service が在ってこれが何であるかは使っていただければよいので解説しないが、少し便利に使ってゐる。この service は使ひ方により色々と見た目が變はるもので、私も幾つかの用途に使ってゐる…
ももんが Advent Calendar 2019 - Adventar 12/3 Cynefin framework はカタカナで「クネビンフレームワーク」と書かれる。現象の狀態を四つに分類し對策を探し易くするやり方である。現象が單純 (Obvious) と複雜とに分類されるとすれば、複雜は更に三つに分…
ももんが Advent Calendar 2019 - Adventar 12/1 人類が短くも長い歴史で行って來た考へは豊富で蒐輯は終る氣配を見せない。しかし典型的な型を幾つか (實は「幾つも」なのだらう) 切り出す事が出來る。一つに、原理の個數に依る型が在る。原理の個數が 2 で…
これは皆さんを 兩河世界 の研究へ誘ひ、その基礎知識を與へるものです。 兩河世界とは (meta 的には) 架空世界です。架空なので我々は創作者なのですが、「架空ではない」と云ふ設定に成ってゐます。時は未來の宇宙時代です。惑星間移動や恆星間移動は確立…
だいたいに於いてそんな方法は存在しない。 test するうまい方法が既に有れば人類は parallelism で苦勞しない。競合しないやうにする爲に施した對策が動いてゐる事は test できるが、その對策に依って競合が防がれる事はよく test できない。 たまたまうま…
去る九月七日にElixirConfJP 2019 小倉城が開かれ、公募 (審査無し) で五分間喋った。 過去 K8s 上で Elixir の Phoenix.Channel を運用してゐて、今は個人で、K8s 上で Elixir の bot とかを運用してゐる。運用するのに監視は必要なものであり、樂に充分な…
Let's create stateful systems, by Elixir. Elixir で stateful なアプリケーションを作るのは簡單です。 Elixir の得意な事としてよく眞っ先に擧げられるのは竝列性 parallelism です。確かに、簡單で安全に或る程度效率好く parallel にできるのは Elixir…
英語を書くのであれば Latin 文字とアラビア數字を使って左から右へ書く。日本語は長年の書き方の變化を結構保存してゐて、書字方向は上から下への縱書きと左から右への横書き、半世紀ほど前であれば又今でもトラックの側面等に右から左への横書きを使ふ。字…
雜と云ふ在り方の概念を重視出來るのではないかと云ふ考へを育ててゐる。はっきりと際立った概念ではないが、雜をどう定めるのが好いかと云ふ假説は持って有り、細分を續けても常に更に細分出來る狀態である在り方を雜と名附けやうとしてゐる。私は今 progra…
qiita.com What is Google Apps Script? Google Apps Script (以下Apps Script) は、Googleのserver上でのserverlessなJavaScript實行環境です。serverlessなJavaScript實行環境ですのでCloud Functionの仲間です。函數を起動できるeventの種類が限られてい…
Immutable data is a foundation of abstraction - it localizes program computation. So immutable data makes concurrency easy & decreases bugs. All data in Erlang/Elixir is immutable. We are happy to use functional programming techniques, wor…
ヨコガナ/縦Latin Advent Calendar 2018です。 毎日、橫假名/縱Latinを書いて畫像を貼ります。募集もしてます。 應募先 : https://mstdn.res.ac/@ne_sachirou 今迄の書例は下記に在ります。 橫假名 | c4se 縱ラテン | c4se ももんが Advent Calendarの系譜 :…
Vimのbufferの内容をjqでformatする。下の記事に書いて在る事でしかないが。 cf. pipe - Piping buffer to external command in Vim - Stack Overflow 大きなJSONを得たがそれがformatされてゐない。ざっと目で眺めたいから、jq .に流し込めればよいが、手數…
RailsにはKomachiHeartbeatと云ふ何かと有り難いmountable engineが在り、Elixir/Phoenixにも欲しかったので移植した。 KomachiHeartbeat github.com Plug若しくはPhoenixのapplicationの、適当なpathにぶら下げて使ふ。例では/opsにぶら下げてある。Phoenix…
讀み取り専用 on-memoryで高速 再起動せずに新しいver.のdataへ入れ替へられる 古いver.で處理してゐた計算はそのまま古いver.を讀み出し續けられる heap領域にcacheできる。讀み出したdataをsnapshotとしてsystem外に持ち運べる parallel これらを滿たしたM…
はい。 bookmarkletです。 javascript:{let n=""+(Math.floor(Math.random()*1213)+1);while(n.length<3)n="0"+n;window.open(`http://negineesan.com/comics/negi/negi${n}.jpg`)} 貼り附けてやりましょうよ。 駄目でした。
Clojure/Haskellの誓ひと云ふのを立ててゐる。個人的なprogrammingをClojure/Haskell以外でしないと云ふ誓ひだ。大体の事は置き換へてゆける。Javaを使ふところはClojureに置き換へる。Lispを使ひたかったし、SuperCollider (Overtone)とProcessing (Quil)を…
qiita.com 12/5 Elixirを使って製品を作ってゐると、releaseして此れ程の時が経ち此れ程の人が利用してゐるのに樣々のものが足りない。此の世では、必要なものは作る事に成ってゐるさうだ。なので一つづつ作ってきた。 みなさんも一つづつ作ってゆきませう。…
Clojureをやる。Overtone (SuperCollider)とQuil (Processing)が目當てだったが、JVMは此いつで濟ませて了へさうだ。AndroidもClojureで書ける。 書けてゐた。 或る日突然書けなく成った。Leiningenを更新したからだ。lein 2.8に成った。 % lein -v Leininge…
github.com whatyouhide/stream_dataは素晴らしいlibraryだがElixir 1.5以上でなければ動かない。他の事の序でついでに1.4に對應させてみた。 diff --git a/lib/ex_unit_properties.ex b/lib/ex_unit_properties.ex index f9822b1..f95bcad 100644 --- a/lib…
pqueue2 | Hexを作った。 github.com Erlangで書かれたpqueueに含まれてるpqueue2モジュールを、Elixirでラップしたもの。 q = PQueue2.new |> PQueue2.put(:a, 2) |> PQueue2.put(:b, 1) |> PQueue2.put(:c, 1) {:b, q} = PQueue2.pop CollectableとEnumera…
Streamでhashを計算する stream_hash | Hex 何故無かった。 github.com "test/fixture/xyzxyz.txt" |> File.stream! |> StreamHash.hash(:sha512) |> Enum.to_list |> hd # <<215, 133, 241, 243, 115, 159, 59, 127, 111, 242, 140, 106, 171, 211, 130, 48…
