ScalaMatsuri 2024 感想 - p-kino’s blog
昨年に引き続きScala Matsuri 2024に参加してきた。 色々あって体調を崩してしまっており長時間の外出に少々不安はあったが、それを押し切って来る価値はあったし、幸い何も起こらずに済んだのでよかった1。 オフライン会場ではレシーバとイヤホンが借りられ、それを使うと同時通訳で発表を聞けたのだが、特にリスニングがさっぱりな私としてはとても体験がよかった。 通訳者の方はもちろん、レシーバをアルコールティッシュで拭いて衛生を確保されていたスタッフの方も大変だっただろうから感謝したい。 特に印象に残ったセッションのうち、ある程度消化できたものについて忘れない内に書いていく。 Ironライブラリで守られた型安全性 (Raphaël Lemaitreさん) スライド: https://scalamatsuri.rlemaitre.com 篩型と呼ばれる、型に述語を記述することで受け付ける値を制
Akka Streams についての基礎概念 - Qiita
Akka Streams が2.4以降からexperimentalを外して、正式版をリリースしました。丁度会社で3日のHackerDaysを機に、Akka Streams を勉強しはじめました。 この記事では、AkkaStreamの公式ドキュメントを抜粋し、翻訳しながら、AkkaStreamの基礎概念を説明します。 Akka Streams ってなに 背景 今のInternet上、我々は膨大なデータを消費している。その大量のデータを人々はビッグデータと呼んでいるw。 もう昔みたいにデータを全部ダウンロードして処理、処理完了してアップロード的な処理は時間掛かりすぎ、そもそも一台のサーバに保存しきれないデータは処理できないので、Streamみたいな流れとしての処理が必要になっている。 Akkaが使うActorモデルもその一例、データを分割し、メッセージとしてActorに送る、Actorは只々流
関数型言語XQueryで大量のXMLを楽にさばく - Qiita
まえがき オープンデータ隆盛のこのご時世、意外と XML でデータを公開しているケースは多い。 XML形式で公開されているオープンデータを扱う際に XMLデータベース の一つである BaseX を活用してみた経験についてざっと書いてみる。 公開されている実世界のオープンデータを、事前知識なしで扱うのはなかなか大変だ。ドキュメントが整備されていなかったり、不揃いであったりして、ざっとデータの傾向を見てみないと活用しづらいケースが多々ある。 しかし、 帯域幅の制限もあって一回のアクセスでは十分な量のデータを得られない API があまり作り込まれていないため、欲しい情報をピンポイントで得るための検索ができない などというのは日常茶飯事だ。 そこで試しにちょっとしたスクリプトを書いて、まとまった量のデータをマイルドな周期でダウンロードすることになるけれど、 書き捨てのスクリプト一々書くのは億劫だ。
どうやってPureScriptに慣れたのか - oreshinyaのブログ
はじめに PureScript Advent Calendar 2017 - Qiitaの1日目の記事が埋まっていなかったので大急ぎで書くことにしました。 元々はRubyやJavaScriptなどの動的言語をメインでメシを食べているプログラミング的ゆとり世代であった私が、 少なくとも一般論としては学習が大変だと評されているPureScriptを、 (上手いか下手かは別として)普通に書けるようになった要因を記憶の限り辿ってみようと思います。 つまり、この記事は、「最初からPureScriptの勉強のためにやっていた」ということではなく、「たまたまそういう道を通ったけど、 あれがよかったのかもしれない」という回想です。 道のはじまり この道のはじまりはHaskellでした。 特に仕事で使うわけでもなく、関数型言語に興味があったわけでもなく、ただなんとなく暇を持て余していたので暇つぶしとして思い
GHCのソースコードのノートを読むやつを作った
タイトルがふわっとしてるけど見れば多分わかる。 ghc-compiler-notes 経緯とか 注意: 作ったと書いてるが私の力ではなく主に水無さん(@mizunashi-mana)とわどさん(@waddlaw)のお力添えによるところが大きい。 GHCのソースコードにはNoteと称して有益な(GHCの内部実装等に関する)情報が書いてあることは有名だと思うけど、実際にそれはまとまったりはしてなかったので知る人ぞ知る、みたいな情報であった。こういう他のドキュメントには書いてないような貴重な情報が誰にも読まれることなく眠っているのはもったいないと常々感じていたのでそれを読めるようにしたかった。 このプロジェクトは最近GitLabに移った方のghc/ghcのソースコードに埋められているNotes部分を抜粋しそれを比較的読みやすい形で並べて整理したものである。 現在の仕様一覧(ざっくり) compi
パッケージマネージャを自作するときに考えること - gfnweb
プログラミング言語を自前で創っていると，パッケージマネージャが欲しくなってくるものだ．既存パッケージマネージャやそのラッパーによる配布で事足りることも多いが，自前言語の要件とうまく合わなかったりして，真に自分で実装せねばならないこともある．そうした場合，パッケージマネージャをどんな設計にすべきだろうか？ 言語固有の都合には触れずになるべく一般に考慮すべき事項を洗い出し，簡単な設計例も提示してみたい． なお，本稿はパッケージマネージャの設計に焦点を当てたものであり，効率的に依存制約を解消するアルゴリズムなど実装の詳細については解説しない．実際例えばOCamlでは 0install-solver というOPAMの裏でも使われているパッケージを利用すれば制約解消アルゴリズムそのものに踏み込まずとも制約解消処理を実装でき，（それ自体に興味があるときを除けば）必ずしもアルゴリズムを理解する必要はない
Haskellにはそもそも+++という演算子が存在する - Qiita
JavaScriptで+++は許されない+ ++は許される を読んで書きましたシリーズです。 +++演算子の説明 Haskellには、+++は許される/許されない以前に、まさにそのような演算子が存在します。 これはControl.Arrowモジュールで定義されているArrowChoice型クラスのメソッドであり、次のような型を持つ演算子です。 (+++) :: ArrowChoice a => a b c -> a b' c' -> a (Either b b') (Either c c')
GHCに初めてコントリビュートした／最近のGHC動向 | 雑記帳
事実上の標準デファクトスタンダードなHaskell処理系であるGHCに貢献するというのが去年掲げた目標だったが、それがようやく実現したので報告する。ついでに、最近のGHC開発状況についても簡単にまとめてみる。 「貢献」と言っても色々あって、バグ報告とかも立派な貢献なのだが、ここで目標としていたのは「書いたコードをGHC本体に取り込んでもらう」ことである。 一つ目：fromInteger :: Integer -> {Float,Double} 年末に書いた記事 Haskell/GHCでの浮動小数点数の扱い – Qiita にあるように、現行のGHCのfromIntegerは値の大きさによって丸め方法が違っている。それによってどういう問題が引き起こされるかというと、 import Numeric import Data.Word main = do putStrLn $ "literal :
F#を4ヶ月ほど学んでみて - Shohei Yoshida's Diary
今年に入って新しい言語を学ぶかということで F#の勉強を初めて 4ヶ月ほど経ったので現状のまとめ。 やったことは主に小さいプログラムを書いたり, LeetCodeの問題を 100問ほど解いたという程度(LeetCodeは現状 F#未対応なので対応してほしい)。 結論としては始めるのが楽で学ぶ価値のある言語だと考えています。 書いたもの https://github.com/syohex/dotnet-study/tree/master/fsharp 良い点 セットアップが楽 .NET SDKを入れて PATHが通って入ればどの環境(Win, macOS, Linux)でも始められる。あとはVSCodeに Ionide拡張を入れるだけで OK. 1ファイルからコードを書ける いちいちプロジェクトを作らなくても .fsxファイルを作って書き始められるのが良い REPLベースの開発 Java系言
確率的プログラミングその3、Making Money Using Mathを読んだ
dipplの話とか難しいなぁ、とか行ってたら、なんかomo先生がHaskell使えば余裕ですよ！Erik Meijerも言ってた！とか言ってこの文書のurlを勧めてきた。 Making Money Using Math その時はHaskell厨乙、とか思ってちらっと見ただけでスルーしてたが、その後別の所でACM Queueで一番読まれた記事だよ！みたいなツイートが流れてきて、へぇ、と思って読んで見る事にしたら、これが素晴らしかった。 なお右上のリンクからpdfが落とせて、これだと文字化けとかも無いのでオススメ。 まず、以前確率的プログラミングその2、probmodsの最後で自分が書いたぼんやりした認識がもっとずっとちゃんと書かれていて、しかもエレガントで感動した。 JPTのような物、と自分が言っていた事をlistモナドのような物、として扱う。 これがリストで無い事は誰の目にも明らかだが、モ
モデルとアルゴリズム、圏と関手と自然変換 - xiangze's sparse blog
お正月気分が抜けないのでほわっとした記事を書きます。 prompton.io モデルとアルゴリズムの素朴な理解 圏論による理解 構造を保ったデータの学習 Haskell(とscala)プログラミング情報 圏論やHaskell得意な人から見た機械学習、統計モデリング 微分可能な計算の一般化 その他雑感と宣伝 課題 モデルとアルゴリズムの素朴な理解 機械学習や統計におけるモデルとアルゴリズムの違いを説明するときに学習、分析の対象をパラメータを使って数式で表現したものがモデルで最適なパラメーター値を探索する方法、プログラムが(最適化)アルゴリズムであるとしていました。 しかしネットを見ていると「データをアルゴリズムに投入して、できたロジックがモデル」といった説明も見かけます。これではアルゴリズムによる学習をする前にモデルは存在しないように聞こえます。stanによるベイジアンモデルの記述やpyto
Haskell の 3 つのバナナ - Qiita
この記事は Haskell Advent Calendar 2019 の 16 日目の記事です． Haskell プログラマとして知っておくべき 3 つのバナナを紹介します． その 1: Arrow のバナナ その 2: FRP のバナナ その 3: F-代数のバナナ その 1: Arrow のバナナ 1 つめのバナナは，型クラス Arrow のためのバナナです． Arrows: A General Interface to Computation Arrow は，モナドの一般化として Hughes [1] により定義された概念です． Haskell では型クラス Arrow として定式化されており，GHC では Arrow のための記法を Arrows 言語拡張により利用できます． この言語拡張で利用できる記法のひとつにバナナ括弧 (| ⋅ |) があります． §9.28 Arrow n
関数型プログラミングに何を期待しているのか。 - 言語ゲーム
阿部さんに、何で僕が一人で関数関数言ってるのか全然分からないと言われたので、寝る前に書く。だけど今日中に纏めるのは無理なので下書き。 プログラミングというのは、パソコンに何をやって欲しいかを伝えるという役割と、自分が何をやりたいのか纏める役割と、両方あると思う。特に自分が何をやりたいのか纏めるというのは大切で、プログラムを書く事によって今まで何て自分は浅はかな事を考えていたのだろうと何度も気づかされた。 で、なぜプログラミングによって考え方が纏まるかというと、プログラミングには考えを纏めるための色んな仕組みが用意されているから。サブルーチンだったり構造体だったりオブジェクトだったり。そういうのを使って、色んなアイデア同士の関係をじっくり見たり、壊れていた部分を探したり、意外と共通していた物を見つけたり、プログラムとアイデアが同時に整理されてくる。これがプログラミングで一番大切な部分。 そこ
プログラミング言語における再帰の初出はLISPではなかった - Arantium Maestum
ポール・グレハムの記事の一つにWhat Makes Lisp Different?というものがある： www.paulgraham.com ポール・グレハムらしくよく書かれていて、C言語などと比較した場合のLispの特徴をうまく捉えているように思う。 その中の一つが Recursion. Recursion existed as a mathematical concept before Lisp of course, but Lisp was the first programming language to support it. (It's arguably implicit in making functions first class objects.) こうある通り、私も今まで深く考えたこともなく「プログラミングにおける再帰はLispが由来」と考えていたのだが、前回の記事を書く
代数的データ型と初等代数学
「関数プログラミングとはなんですか？」と問われたときには「デ，データファースト……(震え声)」と答えることが多いのだが，実際 Haskell や OCaml などの言語を特徴付けるものとして，代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう．その有用性ゆえに，近年では新たな言語の策定の際にその概念が輸出され，Rust や Swift などの言語にも採用されている． 「代数的データ型とはなんですか？」と問われたときには——問われたことがないのでわからないのだが——おもむろに ghci か utop を立ち上げて，解説を始めるのではないかと思う．ひとしきり解説をした後，「つまり直積の直和なんですよ〜🙌✨」と言って話を締めくくるだろう． int 型や float 型など，「メモリ上の表現」という計算機の気持ちに極めて寄り添ったプリミティヴなデータ
はりぼて自作OCamlコンパイラAQamlでセルフホストしてみた
おじさん1なにしたのはりぼて自作OCamlコンパイラを書いてセルフホストを達成しました2。コミットログによると、11月から開発を始めて3およそ2ヶ月くらいかかったようです。レポジトリはこちら4： https://github.com/ushitora-anqou/aqaml 文字列・リスト・タプル・レコード・バリアント・参照などの基本的なデータ構造5と、 if・for・パターンマッチ・let・相互再帰関数・クロージャなどの基本的な制御構造6が実装されています。 セルフホストに必要な機能のみを実装したので、もちろんOCamlの全てを実装したわけではありません。例えばGC7・カリー化8・クラスなどのOCamlの重要な機能が無い他、型推論9もありません。 GCが無いのでセルフコンパイルに数百MBのメモリを要しますが、まぁそれはそれです。 OCamlってなに一言では説明できないのでググってください
圏論をデータベースに応用する（２） - bitterharvest’s diary
５．４ セッターとゲッターの関手を一般化する 前回の記事の中で、説明の中心となっていた\(Store \ a \)という関手は、代数的データ型を用いて、 data Store a s = (a, a -> s) で定義した。しかしこれはデータベースでのセッターとゲッターを分かりやすくするための便宜的な方法である。すなわち、これらの操作でデータ型が変化しないように、 get :: s -> a set :: s -> a -> s としたためである。 しかし、セッターでは、フィールドに書き込むデータが、今までに書き込まれていたデータ型とは異なる可能性もある。その結果、レコードのデータ型も影響を受けるので、セッターとゲッターの型シグネチャは、一般的には get :: s -> a set :: s -> b -> t となる。これに対応させて、代数的データ型を定義すると、 data IStor
絶対に理解出来ないモナドチュートリアル - konn-san.com
世の中には、恐しい数のモナドチュートリアルがあって、それぞれモナドは象だとか、いや接ぎ木だ とか、プログラマブル・コンテナだとか、プログラム可能なセミコロンだとか、色々な説明がなされている。「モナド チュートリアル」で検索すれば、他にも色々に絵解きされた有象無象のモナドが大量に引っ掛かる。そうそう、モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？なんてのもあったな。 この記事の目的は別に、こうした既存のモナドチュートリアルを「間違ってる！」とか「わかるわけねーよ！」といって貶そうという訳ではない。実際、既に幾多書かれているチュートリアルの中でも、僕の云いたいことと殆んど同じようなことが書かれているものは沢山ある。 では、上の膨大なリストの末尾にまた一つ「わかりやすい比喩」を付け足そうというのか？というとそういう訳でもない。そうそう、モナドは比喩ではないというチュートリアル
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Elixir で OpenCV (Evision) を使った画像処理（移動、回転、フィルターなど） - Qiita
Haskell/Servantで行う安全かつ高速なAPI開発 - Speaker Deck
