E_Mattsan https://blog.hatena.ne.jp/E_Mattsan/ エンジニアのソフトウェア的愛情 https://blog.emattsan.org/ Elixir Prolog Canada という小さな実装のライブラリがあります。 hex.pm Ruby でいうところの CanCanCan のような権限判定のためのライブラリなのですが、とても興味深い実装をしています。 例えば user が article を read できるか判定するとき、 can?(user, read(article)) あるいは user |> can?(read(article)) のような書き方をするのですが、このとき read/1 という関数は定義しません。 定義する必要がありませんというのがより正しいかもしれません。 何をやっているのか、その仕組みをなぞるコードを書いて確認してみまし… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.emattsan.org%2Fentry%2F2024%2F09%2F30%2F120000" title="Elixirの関数っぽい関数でない何かと、Prologの述語っぽい述語でない何か - エンジニアのソフトウェア的愛情" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.user.blog.st-hatena.com/default_entry_og_image/401695/1514192717173017 Hatena Blog https://hatena.blog 2024-09-30 12:00:00 rich https://blog.emattsan.org/entry/2024/09/30/120000 1.0 100%