存在した関数型まつりと、存在しなかった関数型まつり - 解釈をするために手を動かす
存在した関数型まつり 2025.fp-matsuri.org 関数型まつりで、『ラムダ計算と抽象機械と非同期ランタイム』という題で発表してきました (Google slide)。 hsjoihs 氏を始めとする複数人の協力もあって（というか全面的にみなさまの協力のおかげです、本当にありがとうございました 1）全体的な構成は非常に良いバランスに仕上がり、発表も良い感じにできたのではないかと思います。資料の作り始め、友人に内容について相談したら「これ全部しっかり話すと学部の８単位ぶんくらいの積み上げがありそうだけどいける？」と言われていて、実際その見積もりは概ね正しそうだと今でも思っているわけですが、そんな内容を（事前に数十時間を構成のプランニングに注ぎ込んでいるとは言え）発表練習無しで45分で話し終えたというのは、我ながらよくやったものです。去年の ScalaMatsuri で 40 分枠で
より安全で単純な関数定義
class: center, middle # より安全で単純な関数定義 関数型まつり 2025 2025/06/14<br> @gakuzzzz --- class: left, top ## 自己紹介 * 中村 学/Manabu NAKAMURA * Twitter: [@gakuzzzz](https://twitter.com/gakuzzzz) * Tech to Value Co.,Ltd. CEO * [Alp, Inc.](https://thealp.co.jp/) Tech Lead --- class: center, middle ## 前置き --- class: center, middle ## このセッションでは ##<strong>モナド</strong>の話はしません！ ## 安心して聞いて下さい --- class: left, top ## はじめに
関数型言語を採用し、維持し、継続する
関数型言語を採用し、維持し、継続する By 松澤 有 (ymtszw) (Siiibo証券株式会社 CTO) @関数型まつり2025 (2025/06/14) [1] Siiibo証券株式会社 2019年創業、筆者はfounding engineer / CTO ↓の構成で社債専門の証券システムを作り上げてきた このセッションでは 実際に関数型言語を業務で採用し、維持し、継続するにあたって重視している価値観、手続き、手法などをざっくばらんに紹介します なんとか5年はやってこれた 次の5年もやっていきたいがためのやつ 前提 最新の開発組織規模 フルタイム - 5名（筆者含む） 週3日程度 - 2名 週2〜10時間程度 - 8名 学生アルバイト - 3名 1日あたりの平均デプロイ（master push, GitHub Flowなので）回数 Copilotにお願いして雑に集計したら4.94だっ
Haskell でアルゴリズムを抽象化する / 関数型言語で競技プログラミング
Competitive programming with Haskell Functional Festival 2025 in TOKYO
はじめて関数型言語の機能に触れるエンジニア向けの学び方/教え方 / how-to-learn-or-teach-for-fp-beginner
はじめて関数型言語の機能に触れるエンジニア向けの学び方/教え方 / how-to-learn-or-teach-for-fp-beginner
ラムダ計算と抽象機械と非同期ランタイム
このブラウザ バージョンのサポートは終了しました。サポートされているブラウザにアップグレードしてください。
RocqのProgram機構の紹介 〜型を活用した安全なプログラミング〜
このブラウザ バージョンのサポートは終了しました。サポートされているブラウザにアップグレードしてください。
Continuations: continued and to be continued
lily, Aikatsu, Programming language, and more
Kotlinの新しいエラーハンドリング「Rich Errors」 - Don't Repeat Yourself
先日より開催されていたKotlinConfで、新しいエラーハンドリング「Rich Errors」についての言及がありました。従来のように例外を使用するのではなく、エラーを値として扱えるようにする新機能です。聴き逃しているだけかもしれませんが、まだリリース予定などは立っておらず、機能を設計中の段階なのではないかと思われます。 私はもともとKotlinのエラーハンドリングはなかなか悩ましいなと思っていた節があり、ずいぶん前からKEEP上での議論を追うなどしてキャッチアップしていました。最近同僚ともエラーハンドリングに関する決め事をあれこれするために議論しており、私自身はエラーハンドリングに対する関心が高いです。 私の所感としては、Kotlinの言語設計によく合ったエラーハンドリングの方式が採用されそうで非常に楽しみにしています。最近の議論ではともすればモナドであるとか、Result<T, E>
純粋型システムとλキューブ - liewecmays
この記事では、型システムの統一的な定式化を与える 純粋型システム と呼ばれる枠組みを紹介し、それをもとに λキューブ として8つの型システムを導入する。 非形式的な説明抽象化の方法型システムにおいて重要な対象は関数である。関数は入力を受け取って出力を返すものと見ることもできるが、より一般的にはプログラムの一部を変数として 抽象化(abstract) ないし パラメータ付け(parameterize) したものと見ることができる。 さて、どのようなプログラムの中で何を抽象化するかについては、複数の場合がありえる。どの抽象化の方法を許容するかによって、その型システムの表現力が様々に変わることになる。ここでは、プログラムの要素として項と型を考え、合計2×2の4通りを例とともに見る1。 ① 項の中の項を抽象化これは通常の関数のことである。同じような処理を何度も書くことを避けるために、プログラムの一
衛星運用の実際と、効率化のために型システムを実装した話 - ArkEdge Space Blog
コンピューティング基盤部の小林（kobkaz）です。 アークエッジ・スペースでは現在複数の衛星が軌道上で運用されており、その運用業務には私たちのチームが開発している衛星管制システムが用いられています。 衛星管制システムの概要については、以前にもこの技術ブログにて取り上げていますので、あわせてお読みください。 blog.arkedge.space 今回は、この衛星管制システムを用いて衛星との通信を行う際に何が起きるのか、技術的な裏側を交えてもう少し詳しい内容をお見せします。 また、システムの効率化のための最近の取り組みについてもご紹介します。 衛星運用の実際 運用の様子 運用の裏側 地上局サービス テレメトリ・コマンド処理サービス(tmtc) 情報表示画面 コマンド送信画面 効率化に向けた取り組み 開発の経緯と目標 型検査の導入 スキーマ管理の課題 現在の型検査システム 結び 衛星運用の実際
TypeScript使いの憂鬱：never型はプロパティを持つか | 雑記帳
never型とプロパティアクセス TypeScriptにはneverという型があります。先日も記事にしましたが、簡単に言うとこれは「値を持たない型」です。 never型は、あらゆる型に対してその部分型として振る舞います。例えば、never が number の部分型であることは次のコードでわかります： type T<U extends number> = {}; type A = T<string>; // stringはnumberの部分型ではないのでエラー type B = T<never>; // neverはnumberの部分型なのでコンパイルが通る さて、部分型関係と、「その型の式に対してできる操作の集合」の関係について考えましょう。あまり面白い例を思いつかなかったのでアレですが、次の型を考えます： type UserInfo = { name: string }; type D
An Introduction to Existential Types
Parametric polymorphism is now widely known in the programming community (often by the alternate name generics). They allow one to create types parameterized by another type (e.g. a generic list type), along with functions that work on any type (e.g. the functional programming mainstays map, filter, and reduce ). You may have also heard them called universal types. This last nomenclature comes fro
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.cs.tsukuba.ac.jp/~kam/lecture/complogic2014/9.pdf
https://criceta.com/fp-matsuri-2025/1
Elixir で IoT 開発、 Nerves なら簡単にできる！？
Kotlinで学ぶ 代数的データ型
AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 #fp_matsuri / FP Matsuri 2025
[OOPSLA24] Degrees of Separation: A Flexible Type System for Safe Concurrency
https://www.math.nagoya-u.ac.jp/~garrigue/papers/danwakai2015.pdf