GitHub - SodiumFRP/sodium: Sodium - Functional Reactive Programming (FRP) Library for multiple languages
Sodium - Functional Reactive Programming (FRP) library for multiple languages This is based on Flapjax, Yampa, scala.React and a number of other Functional Reactive Programming efforts, as well as a lot of personal experience. Enjoy. Status: C++ - complete, but the memory management is not quite right yet - in separate sodium-cxx repository C# - complete (source in dotnet folder, binaries in Sodiu
ソウルフル小話: 型付き関数型言語と C++ は同時に使ってはいけない - camlspotter’s blog
いやまじで使っちゃいけないです。 三年前こういうことがあったんです。 Haskell と C++ を使っているコードなんですが、 突然ビルドができなくなる。さっきまで上手く行っていたのに、意味不明な C++ のエラーがゴボゴボ出てくる。 git status や hg status してもそんなとこ何も触ってない。そもそも C++ なんか触ってねえし、俺触ってたの Haskell だし！ 変更を全部元に戻してビルド ⇒ やはり意味不明な C++ のエラー。エラー行数が多すぎて読む気も起きない。俺は C++ 専従じゃねえからこんなもん読めるか！ make clean してフルビルドしなおすと…やはり C++ のエラー。ふんぎーーーーー！！！ ビルドできたはずのコードに戻して make clean してもビルドエラーが出るわけ。まさに「何もいじってないのに壊れましたぁ」状態。ほら、さすがにプロ
Redirecting...
Redirecting... Click here if you are not redirected.
たのしいHaskellのツールチェインとC++ - 純粋関数空間
というタイトルで、先日、社内の公開セミナーで話しました。 発表資料はこちら。 Haskellのテストフレームワークとベンチマークフレームワークがよくできているので、 これをC++でも使えるんじゃないかという内容です。 概要 背景として、QuickCheck をもっと多くの人に知って/使って貰いたいというのがあります。 QuickCheckは、普段から使っている人間からすると、よくいろいろなバグを拾ってくれるとても便利なものなのですが、 残念ながら普段開発に利用しているC++には相当のもので完成度の高いものが見当たりません。 だからといって、そこから作るためにC++のテンプレートをいじくりまわすには、私はもう老いてしまいました （与えられた関数にランダムな入力を与えるだけなら簡単なのですが、ジェネレータを自由にいじれる機能がやはり欲しいところで）。 そう思った時に、FFIを使えてQuickC
QuickCheck使ってC++のテストも有効である可能性
理解できなかったけれど何か重要な事を言っているような気がしたのでまとめておきます．「誰でも編集可」にしておきます．関連ツイートなど自由に追加して下さい．
たのしいHaskellのツールチェインとC++
たのしいHaskellのツールチェインとC++田中英行 <tanakh@preferred.jp> PFIセミナー 2012/07/19 自己紹介田中英行, @tanakh, http://tanakh.jp PFIで働くプログラマ Haskell愛好家 拙訳「すごいHaskellたのしく学ぼう! 」発売中 本日の概要ソフトウェアテストを取り巻く環境 C/C++のコードをQuickCheckする C/C++のコードをCriterionでパフォーマンス測定する テスト駆動開発Not enough! http://blog.fogus.me/2012/06/20/not-enough/ http://evanfarrer.blogspot.ca/2012/06/unit-testing-isnt-enough-you-need.html Static typing is not enough!
QuickCheck++に入門した - Faith and Brave - C++で遊ぼう
QuickCheck++は、Haskellで広く使われているテストフレームワークである QuickCheckをC++に移植したライブラリです。 ドキュメントと最新版は以下にあります。 QuickCheck++ Documentation 0.0.2 Version 0.0.2ではsigned/unsigned周りでバグがあるので generate.hhを以下からダウンロードして置き換えてください。 generate.hh さて、では使い方を見ていきましょう。 1.インクルード QuickCheck++はヘッダファイルのみのライブラリなのでインクルードするだけですぐ使えます。 #include <quickcheck/quickcheck.hh> 2.テストするプロパティの作成 以下は、reverseを2回した結果、元に戻るかのテストクラスです。 quickcheck::Propertyクラ
Haskell、OCamlでSPH法
このエントリに載せていたC++のコードを、HaskellとOCamlで書いてみました。（あと、C++のコードも整理しました） コードを置いておきます。 Haskell版(sph.hs) OCaml版(sph.ml) C++版(sph.cpp) Haskell版(sph.hs)の実行方法は、 $ ghc --make -O sph.hs $ ./sph 300 です。./sphの引数は計算するステップ数です。上記のsph.zipにはData/Vector.hsというベクトル演算のためのモジュールを入れてあります。 同様に、OCaml版(sph.ml)の実行方法は、 $ ocamlopt -pp 'camlp4o -parser Camlp4ListComprehension' -o sph sph.ml $ ./sph 300 です。-ppオプションは、プリプロセッサにCamlp4を使ってO
備忘録 [Haskell]FFI使ってC++バインディングに入門
この記事はHaskell Advent Calendarのために書いたものです。 FFIでCの関数を呼び出すところまではすんなりいったので、次C++行ってみよう！として ドハマりしたという内容です。 C++でクラスを作成して、ラッパー関数を書き、Haskellから呼び出すという手順でやってみます。 とりあえず何も考えずに以下のコードを書きました。 point.h point.cpp wrapper.cpp main.hs /* point.h */ class Point{ public: Point(int, int); int getX(); int getY(); private: int x, y; }; /* point.cpp */ #include "point.h" Point::Point(int x, int y){ this->x = x; this->y = y;
Monads in C++ | Bartosz Milewski's Programming Cafe
Monads in C++ Posted by Bartosz Milewski under C++, Functional Programming, Haskell, Monads, Programming, Type System [32] Comments Follow @BartoszMilewski “You must be kidding!” would be the expected reaction to “Monads in C++.” Hence my surprise when I was invited to Boostcon 11 to give a three-hour presentation on said topic, a presentation which was met with totally unexpected level of interes
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - wavewave/fficxx: Haskell-C++ Foreign Function Interface Generator
GitHub - minamiyama1994/FTMP: TMP library