Go and Ruby-FFI
Go and Ruby-FFI How to write a shared library in Go that can be loaded by Ruby-FFI. With the release of Go 1.5 we got access to a new buildmode called c-shared, which allows you to build shared libraries that Ruby-FFI can load. (Also, anything else that can load shared libraries) Inspiration Filippo Valsorda has already written a very nice article on Building Python modules with Go 1.5 but I natur
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
Bytedeco - Home
Bytedeco makes native libraries available to the Java platform by offering ready-to-use bindings generated with the codeveloped JavaCPP technology. This, we hope, is the missing bridge between Java and C/C++, bringing compute-intensive science, multimedia, computer vision, deep learning, etc to the Java platform. Core Technologies JavaCPP [API] – A tool that can not only generate JNI code but also
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
ErlPort - connect Erlang to other languages
What is ErlPort? ErlPort is a library for Erlang which helps connect Erlang to a number of other programming languages. Currently supported external languages are Python and Ruby. The library uses Erlang port protocol to simplify connection between languages and Erlang external term format to set the common data types mapping. Please check Documentation page for features of ErlPort, examples and m
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 _::_
node.js ã§ã‚‚ Inline::C ã¿ãŸã„ãªã“ã¨ã‚’ã—ãŸã„。 - tokuhirom's blog
node.js ã§ã‚‚ Inline::C ã¿ãŸã„ãªã“ã¨ã‚’ã—ãŸã„。 node.js ã‚’ã¤ã‹ã£ã¦ã„ã‚‹ã¨ãã«ã€ãµã¨ C 言語を書ããŸããªã£ãŸã‚Šã—ãŸã“ã¨ã¯ã‚ã‚Šã¾ã›ã‚“ã‹? 僕ã¯ã‚ã‚Šã¾ã›ã‚“。 ãã†ã„ã†æ™‚ã«ã¯ã€node-tcc ã‚’ã¤ã‹ã†ã¨ã„ã„ã§ã™ã。node-tcc 㯠TinyCC( http://bellard.org/tcc/ ) ã® node.js ãƒã‚¤ãƒ³ãƒ‡ã‚£ãƒ³ã‚°ã§ã€ã“れをã¤ã‹ã†ã¨ä»¥ä¸‹ã®ã‚ˆã†ã«ã€ç°¡å˜ã« C 言語を実行ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ var TCC = require('tcc'), var tcc = new TCC(); tcc.compile_string('int main() { return 4649; }'); var ret = tcc.run(); // => 4649 ã—ã‹ã—ã€ã“ã‚Œã ã‘ã§ã¯ã€C 言語をã¤ã‹ã„ã“ãªã—ã¦ã„ã‚‹ã¨ã¯ã„ãˆãªã„ã§ã—ょã†ã€‚出力ãŒã€main 関数ã®è¿”り値ã—
マルãƒã‚¹ãƒ¬ãƒƒãƒ‰ãªFFIã®å®Ÿè£… - keigoiã®æ—¥è¨˜
マルãƒã‚¹ãƒ¬ãƒƒãƒ‰ã§OCamlã‹ã‚‰Cを呼ã¶å ´åˆã€ã¾ãŸã¯ Cã‹ã‚‰OCamlã«ã‚³ãƒ¼ãƒ«ãƒãƒƒã‚¯ã™ã‚‹å ´åˆã€ Cå´ã‹ã‚‰OCaml ã®ãƒ‡ãƒ¼ã‚¿ã‚’触るã¨ã Cå´ã‹ã‚‰OCaml ã®ã‚³ãƒ¼ãƒ‰ã‚’呼ã¶ã¨ã ã¯ã€ãã®éƒ¨åˆ†ã‚’ (OCamlを触らãªã„コード) leave_blocking_section(); (OCamlを触るコード) enter_blocking_section(); (OCamlを触らãªã„コード) ã®ã‚ˆã†ã«é…ç½®ã™ã‚‹*1． 2本目ã®ã‚¹ãƒ¬ãƒƒãƒ‰ãŒOCamlå´ã«ã‚„ã£ã¦ããŸã¨ãã¯ã€leave_blocking_sectionã§ã‚³ãƒ³ãƒ†ã‚ストスイッãƒã¾ã§å¾…ãŸã•ã‚Œã‚‹ã“ã¨ã«ãªã‚‹ã€‚ 注æ„： camlspotterã•ã‚“ã®è¨˜äº‹ ç‰ã‚‚å‚考ã«ã™ã‚‹ã“ã¨ã€‚ 実際ã«FFIã§Cã®ã‚³ãƒ¼ãƒ‰ã«å…¥ã£ãŸç›´å¾Œã¯ä»–ã®OCamlスレッドãŒãƒ–ãƒãƒƒã‚¯ã•ã‚Œã¦ã„ã‚‹ã®ã§ã€enter_blocking_section() ã—ã¦ã€ fopen ãªã©ãƒ–ãƒãƒƒã‚¯ã™ã‚‹é–¢æ•°ã‚’呼ã³
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.
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://qiita.com/minpou/items/ebedd10e867dc0e2b4f0
PureScript FFI to mocha
ForeignFunctionInterface | The Agda Wiki
andyarvanitis - Overview
PureScript Community Blog - Javascript Interop
GitHub - nh2/call-haskell-from-anything: Call Haskell functions from any programming language via serialization and dynamic libraries
GHCã§FFIを使ã†
Haskell/FFI - ã™ã¦ãã«ã¸ã‚“ãªè¦šãˆæ›¸ã
bindings-DSL
{{#tags}}- {{label}}
{{/tags}}