Kleisli Categories
Kleisli Categories Posted by Bartosz Milewski under C++, Category Theory, Haskell [34] Comments In the previous installment of Categories for Programmers, Categories Great and Small, I gave a few examples of simple categories. In this installment we’ll work through a more advanced example. If you’re new to the series, here’s the Table of Contents. Composition of Logs You’ve seen how to model types
Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
Programming and DIY Projects: Advanced Tools and Techniques
By choosing the right language for the job, developers can optimize productivity and project outcomes. 3. Linux and Open Source for Developers Linux remains a developer’s paradise with its flexibility, tools, and open-source support. Top Tools for Developers in Linux tmux: Terminal multiplexer for managing multiple sessions. htop: A process viewer for real-time resource monitoring. Docker: For con
acomar.net - Foreign.CPP -- Useful Types
I’ve been hard at work on a set of bindings to the OpenCV library, especially its C++ API, and I’ve been incorporating them into an idiomatic Haskell library. In the course of doing so I’ve written a few small bits of code that are more general than are strictly necessary for an OpenCV binding, and I think others would find them useful. I’ve also not seen any other attempt at a library like this.
Redirecting...
Redirecting... Click here if you are not redirected.
バックトラッキング、C++で、Prologも、Haskellでも - エンジニアのソフトウェア的愛情
「第7回オフラインリアルタイムどう書くの問題」を解いていて気がついたこと、学んだことを明日のじぶんのために、記録。 のんびり座りたい 〜 横へな 2013.2.2 いろいろ問題をコネているうちに、この問題はパタンマッチングで解けることに気がつきました。正確に言うと、最初にC++で解いたコードを読み直していて、パタンマッチングとバックトラッキングそのものだということに気がつきました。 マッチングに失敗したら条件を替えてもう一度最初からマッチングを試みる、というバックトラッキング。 以下、C++とPrologとHaskellでどうするか、整理してみたものです。 設問 まず、パタンマッチングの部分だけが見やすくなるように、「どう書く」の問題からいろいろ取り去ってより簡単な問題を作りました。 要素を格納する順序付きのコンテナを考える。先頭の位置は0とする。 コンテナ中にある指定された要素が3つ連続
HaskellのIntegerをC++で使う - iorate's blog
C++の標準には多倍長整数ライブラリがありません。これは大変なことだと思います。 まあBoost.Multiprecision来るじゃないというのはさておき、 標準の多倍長整数がないなら他言語の標準から持ってくればいいということで、HaskellのIntegerをラップしてC++の多倍長整数クラスにしてみました。 まずIntegerを扱う関数をFFIでエクスポートします。Integerを引数・戻り値にする関数はエクスポートできないので、代わりにStablePtr Integerを使います。これはIntegerオブジェクトを指すポインタで、GCに回収・再配置されない保証があります。CやC++からはただのvoid *に見えます。 とりあえずfromIntegral、(*)、showをエクスポートしました（今回は乗法と出力がしたいので）。StablePtr IntegerとCStringの解放関
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Polymorphism in Haskell vs C++
https://accu.org/journals/overload/15/81/golodetz_1422/
articles/from_oop_to_fp_-_inheritance_and_the_expression_problem.md at master · Dobiasd/articles
bitbucketの使い方
What’s good for C++ is good for … Haskell!?