今年に入ってからずっと、OCaml で ActivityPub サーバを書いています。名前は Waq（ワク）で、例によって GitHub で大公開しています。SNS に必要な最低限の機能は揃っていて、README に従うと Docker Compose でデモが動かせるので、よければ試してみてください。
OCaml 製 ActivityPub サーバ Waq の紹介 - HackMD
今年に入ってからずっと、OCaml で ActivityPub サーバを書いています。名前は Waq（ワク）で、例によって GitHub で大公開しています。SNS に必要な最低限の機能は揃っていて、README に従うと Docker Compose でデモが動かせるので、よければ試してみてください。
OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful
Preface About This Book Installing OCaml Introduction 1. Better Programming Through OCaml 1.1. The Past of OCaml 1.2. The Present of OCaml 1.3. Look to Your Future 1.4. A Brief History of CS 3110 1.5. Summary 2. The Basics of OCaml 2.1. The OCaml Toplevel 2.2. Compiling OCaml Programs 2.3. Expressions 2.4. Functions 2.5. Documentation 2.6. Printing 2.7. Debugging 2.8. Summary 2.9. Exercises OCaml
『定理証明支援系 Coq チュートリアル』に参加した - yhara.jp
先週の土日にこのオンラインセミナーに参加してみた。 定理証明支援系 Coq チュートリアル - connpass 定理証明は、名前は聞くけど触ったことはなくて、興味はあるけど本を買うほどのモチベーションはないし、誰か詳しい人が要点だけ教えてくれたりしないかな〜。と思っていたところ、まさにぴったりのイベントが。なんていうか、昔ならこういうのは東京まで行かないと参加できなかった気がするけど、家からオンラインで参加できるようになったのは嬉しいね。 日程は5時間 x 2日という長丁場で、説明だけでなく練習問題もあるのでとっても疲れた！でもこういうのって自分で手を動かさないと「わかったような気になった」だけで終わりがちだから、演習があるのはとてもありがたい。 Coqの感想 これまでいろんなプログラミング言語を触ってきたけど、証明とプログラムが一体になった環境は新鮮で面白かった。「整数」「文字列」みた
Koka - Microsoft Research
Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side)
Eff Programming Language
Eff is a functional programming language based on algebraic effect handlers. This means that Eff provides handlers of not only exceptions, but of any computational effect, allowing you to redirect output, wrap state modifications in transactions, schedule asynchronous threads, and much much more… Try it out in your browser! or install it on your computer Algebraic effects, on which Eff is built, g
Algebraic EffectsとExtensible Effectsの違いってなんや? 関係あんの?
1. はじめに 最近のエフェクトシステム2大ホットトピックといえばAlgebraic EffectsとExtensible Effectsだろう [要出典]｡ 度々この2つの違いは何なのかという質問を見ます｡ 比較というわけでも無いんですが､今回はこの2つを並べて見比べてみましょう｡ そいうえばだいぶ前の発表でこんなこと言ってましたけど 本当かしら 2. Algebraic Effects and Handlers PlotkinとPowerによりもたらされた､計算エフェクトを代数的に表現するという考え方[1]に､PlotkinとPretnarがハンドラを追加したもの[2]である｡ 詳細はカツアイしますんで､本ブログをご巡回ください｡ 簡単にまとめると､ 新たな言語機能 エフェクト(仕様)とハンドラ(実装)が分離できるモジュラーな手法 エフェクトシステムによって計算中にどのようなエフェクト
Algebraic Effectsの型システム入門
はじめに Algebraic Effectsは計算エフェクトを扱う言語機能である｡エフェクトとハンドラから成り､エフェクトの発生をハンドラが捕捉し､なんらかの値を返してエフェクト発生部分からの計算を再開する｡エフェクト自体は何もせず､ハンドラが具体的な計算をおこないという部分が重要である｡例えばDependency Injectionにおいては､インターフェースで定義されたメソッドがエフェクトの定義､メソッドを呼び出すのがエフェクトの発生､インターフェースの具体的な実装がハンドラ､と対応づけることができる｡ Eff言語で実際に例をみてみる｡
経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog
今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、本当の Quant さん達が開発した、金融派生商
プログラミング言語: OCaml演習 <br /> Programming Languages: OCaml Excercise
授業のスライド Lecture Slides 新 OCaml HP 本家 New OCaml HP 旧 OCaml HP 本家 Old OCaml HP OCaml.jp 日本語ページ Japanese OCaml HP マニュアル. これの Core Languageの章だけでも読めば，OCamlを役立てるのに必要な情報が手に入る. Manual. You can get ready to use OCaml by reading Core Language chapter. ライブラリのマニュアルは，マニュアルの，Part IV. これは，何か必要な関数がないかを探すときに使う． Libraries are described in Part IV of the manual. Read this to find necessary functions. Jupyter環境ではセルにO
SCamlによるTezosプログラミング#0
SCaml という Tezos ブロックチェーン のためのスマートコントラクト記述言語とコンパイラを作って元旦にリリースしました。 コンセプトの紹介(英語) リリースのお知らせ(英語) プロジェクトページ レポジトリ 第0回: コンセプトの説明 第1回: 準備 第2回: 概観 第3回: ウォレット操作 第4回: スマートコントラクトのデータ型 第5回: はじめての SCaml コントラクト 第6回: もう少し複雑なコントラクト。パラメータとストレージ 第7回: 投票コントラクトを書いてみる このブログではSCamlを使ったTezosスマートコントラクトプログラミングについて少しずつ日本語で連載をしていきたいと思います。 初回はプログラミングではなく、SCamlの基本設計コンセプトについてです。一部、プログラミング言語設計についての知識がなければ理解できないところがありますが、読み飛ばされて
Functional Programming · OCaml Documentation
Functional Programming What Is Functional Programming? We've got quite far into the tutorial, yet we haven't really considered functional programming. All the features given so far (rich data types, pattern matching, type inference, nested functions) could exist in a "super C" language. These are cool features that make your code concise, easy to read, and have fewer bugs; however, they actually h
OCaml 再入門 - Haskell勉強会
新型コロナの感染拡大防止のため、外出の自粛が要請されていますが、こんな時は自宅で勉強するのが良いかもしれませんね。 せっかくなので、この機会にOCamlを復習してみたいと思います。 logmi.jp kuis-isle3sw.github.io try.ocamlpro.com yusukekokubo.github.io OCaml練習帳 · GitHub coordination.hatenablog.com togetter.com プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで〜 作者:五十嵐淳 発売日: 2014/12/09 メディア: Kindle版 プログラミングの基礎 (Computer Science Library) 作者:浅井 健一 発売日: 2007/03/01 メディア: 単行本 Real World OCaml 作者:Minsk
OCamlとCoqでブロックチェーンプログラミング
2019年7月29日、Opt Technologiesが主催するイベント「Fun Fun Functional (2) 関数型言語Lightning Talks!!」が開催されました。関数型プログラミングについて楽しく学び、知見を共有することを目的に開催されている本勉強会。今回は6名のエンジニアが、関数型プログラミング言語にまつわるユニークな発表を行いました。プレゼンテーション「OCamlとCoqでブロックチェーンプログラミング 」に登壇したのは、yoshihiro503氏。 OCamlとCoqでブロックチェーンプログラミング yoshihiro503氏（以下、yoshihiro503）：みなさんこんにちは。こういう鶏のアイコンのyoshihiro503です。今日「OCamlは良いぞ！」という話をします。株式会社ドワンゴのDMC開発部に所属しています。 簡単に自己紹介を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - ocaml-multicore/ocaml-effects-tutorial: Concurrent Programming with Effect Handlers
Eff - mrsekut-p
Algebraic Effectsの型システム入門(2) 多相エフェクト
Tezos
Amazon.co.jp: プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~: 五十嵐淳: 本
遅延評価 - OCaml.jp
GitHub - darklang/philip2: An Elm to OCaml compiler
