Haskellにインラインアセンブリを書く - Qiita
{-# LANGUAGE QuasiQuotes #-} import qualified Language.C.Inline as C sigma :: C.CInt -> IO C.CInt sigma x = [C.block| int { int i, ret = 0; for (i = 1; i <= $(int x); i++) ret += i; return ret; }|] main :: IO () main = print =<< sigma 10 inline-cでは、QuasiQuoteでCのコードをHaskellに埋め込むので、LANGUAGEプラグマでこれを使えるようにしないといけません。sigmaという関数は、ご覧のとおり、引数xに対して、1からxまでの和を計算する関数です。基本的にCで普通に書けばいいのですが、$(<型名> <変数名>)などのunquote
Foreign Inline Code in Haskell // Speaker Deck
Talk and workshop at YOW! Lambda Jam, Brisbane, 2014. Template Haskell is a meta programming framework for Haskell implemented by the Glasgow Haskell Compiler (GHC), which is widely used as a template meta-programming system for Haskell, to define macros, code generators, or even code transformation engines. Subsequent support for the quasiquoting of arbitrary programming languages greatly simplif
FFI cook book - HaskellWiki
This attempts to be a guide/tutorial/cookbook approach to writing a library using external (FFI) functions. Some people complain that cookbook approaches encourage a lack of thinking; that may be so, but they also help novices get started faster. Being a little hard of thinking myself, I would have been grateful for something like this when I was getting started. The FFI spec, while valuable, is n
agda で "Hello, world!" - x76789の研究メモ
Agda で入出力を扱う場合，Agda の FFI（Foreign Function Interface）を通し，Haskellの入出力関数を用いておこなう． 実際に，「Hello, World」プログラムをAgdaで作成してみた．ちなみに，入出力をおこなうには，コンパイルしておこなう必要がある．詳細は以下の通り． hello.agda module hello where data Unit : Set where unit : Unit {-# COMPILED_DATA Unit () () #-} data List (A : Set) : Set where [] : List A _::_ : A -> List A -> List A {-# BUILTIN LIST List #-} {-# BUILTIN NIL [] #-} {-# BUILTIN CONS _::_
Using Haskell in an Xcode Cocoa project - HaskellWiki
In the interest of full disclosure—I'm not an old time Mac person. I've had my Mac for two years. I only decided to learn Objective-C and Cocoa after I explored doing an application using Python and Qt, and someone in the Python community said “Objective-C is easy. Why don't you write a real Mac application”. Neither am I a Haskell expert. What not, what, and why? This is not the missing tutorial
objective c · Wiki · Glasgow Haskell Compiler / GHC · GitLab
The Glorious Glasgow Haskell Compiler.
備忘録 [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;
CPlusPlus from Haskell - HaskellWiki
Abstract This page describes some of the black magic needed to call C++ from Haskell (on Linux, compiled with g++). I refer to it as the "The Hard Way" because it is a tedious, hand done method of generating C++ bindings. The information on this page is pretty spotty and probably wrong in places. But hopefully it will be of some use. You may also want to look at hacanon-light. It is currently unma
anttisalonen/cgen @ GitHub
Installation Note: you need Haskell cabal for installing cgen. Install from Hackage: cabal update && cabal install cgen Install from source: $ git clone git://github.com/anttisalonen/cgen $ cd cgen $ cabal configure [--user] && cabal build && cabal install Usage Write an interface file for cgen cgen -o c/output/dir --interface my-interface-file --include path/to/cpp/headers cpp-header1.h cpp-heade
Haskell から C を呼ぶ (FFI) - zyxwvの日記
Haskell から C 言語で書いた関数を呼ぶには。http://haskell.g.hatena.ne.jp/jmk/20060622/1150947486を見れば完璧だが、とりあえずこれだけでいいよ、という最小サンプル的な意味でメモ。 factorial.hs {-# LANGUAGE ForeignFunctionInterface #-} import Foreign.C.Types foreign import ccall "fact.h fact" c_fact :: CInt -> IO Int main = c_fact 10 >>= print fact.h #ifndef __FACT_H__ #define __FACT_H__ int fact(int n); #endif fact.c #include "fact.h" int fact(int n) { if
Type Checking with Open Type Functions (PDF)
UNSW Engineering Fearless thinking. World changing action.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://qiita.com/minpou/items/ebedd10e867dc0e2b4f0
ForeignFunctionInterface | The Agda Wiki
GitHub - nh2/call-haskell-from-anything: Call Haskell functions from any programming language via serialization and dynamic libraries
GHCでFFIを使う
Haskell/FFI - すてきにへんな覚え書き
bindings-DSL
cpython
Stevebook - [ blog:calling_haskell_from_a_pure_data_external ]
Haskell Bindings to C – c2hs