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
parser_benchmarks/README.md at master · rust-bakery/parser_benchmarks
This repository holds benchmarks comparing various parser libraries: nom, a parser combinators library written in Rust combine, a parser combinators library written in Rust pest a PEG parser written in Rust hammer a parsers combinators library written in C attoparsec, a parsers combinators library written in Haskell Along with existing libraries for comparison: Joyent's HTTP parser for NodeJS, wri
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
How to rewrite the OS using C by strong type
This document outlines a plan to rewrite an operating system kernel using the C programming language with strong typing. It discusses problems that arise from using C like buffer overruns and page faults in the kernel. It proposes using techniques like algebraic data types and type classes to add flexibility without weak types. It presents existing strongly typed OSes and why they have not seen wi
C Style Haskell
The other day I found this blog post on using GADTs to write more usable C style Haskell with effects, references and loops. I couldn't get the example to typecheck without unsafe code, so I decided to write my own version. I wanted the behavior of expressions and operators to be similar to that of C. This is what I came up with: swap(r1, r2) = function $ do { z <- auto undefined; z =: r1; r1 =
型クラスで tagless DSL メタプログラミング - keigoiの日記
これは Haskell Advent Calendar 2011 の5日目の記事です。 去年も書きましたが、その記事はこちら → Haskell厨を6年やってる俺がOCamlを仕事で2ヶ月使ってみた - keigoiの日記 先日の記事 Haskell＋タグレスな型付きDSLで楽々！C言語コード生成 - keigoiの日記 をちょっとブラッシュアップした。前回はコードについては全く説明しなかったので、改めて解説する。 おさらい HaskellやOCamlなどの関数型言語は、プログラミング言語の処理 ― 構文解析とコード生成 ― がとても得意だ。 大手のソフトウェア企業として知られる NTTデータも既存コードの処理 (構文解析〜リバースエンジニアリング) のために Haskell を使っているそうだ。 (函数プログラミングの集い2011より。インドに外注する部分もあるそう togetter 1
Haskell＋タグレスな型付きDSLで楽々！C言語コード生成 - keigoiの日記
関数型プログラミング言語とコード生成 HaskellやOCamlなどはコンパイラなどの言語処理系の実装を得意としている。さすがに日常的にコンパイラを実装している人はそう多くないと思うけど、例えばコード自動生成はすぐ試せる割に効き目が大きく、仕事を効率化する方法としてぜひ試してみたい選択肢だ。 今回は、Haskellの言語内DSLからC言語のコードを生成する方法（の一つ）を簡単に紹介する。 この方法で、Haskell上のEDSLを使って (1) C言語のソースコードを生成でき、 (2) Haskellの式として評価できる。 このように、わざわざパーサを書かなくても、コンビネータを適当に作ればすぐにDSLを作ってしまえるのも、関数型言語の魅力かもしれない。 taglessな方法 ただし、ちょっと他と違う方法を試す。 OlegさんのサイトにTyped Tagless Interpretation
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
Haskell and Hardware for the Holidays
Looking to make a statement this holiday season? You could try to win the office “ugly holiday sweater” contest. Or, you could play “Jingle Bells” on your Arduino microcontroller, using Haskell. This post is about the latter. We’re going to write this small program using the Copilot embedded domain-specific language (on Hackage and the source on Github). Copilot is a stream language that allow
Language.C を使ってC言語のソースコードを解析する (with Data.Generics) - keigoiの日記
Language.CはHaskell用の、C言語のソースコードを構文解析するライブラリである。 Language.CはパーザとともにC言語の構文木に相当するデータ型を提供しており、C言語のソースコードをHaskellのデータとして操作可能である。このため、Language.CはC言語のコードを色々と解析・変換するのに便利である。さらに意味解析に役立ついくつかの補助関数も定義されている。 組込みソフトウェアに関する研究で必要になったため、Language.C を用いてC言語のソースコードを変換する簡単なプログラムを書いた。 動機 JHC (Haskellのコンパイラ；ISO C互換のコードを吐く)は Haskellのソースから C99のコードを生成する ツール(ARMバイナリを生成するコンパイラ)の制約でgcc 2.95(19991024)しか手元にない。 gcc 2.95はC89しか受け付
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - samplecount/shake-language-c: Cross-compilation framework based on the Shake Haskell library.
http://blog.ezyang.com/2014/05/the-cost-of-weak-pointers-and-finalizers-in-ghc/
cpphs
c-dsl
Metasepi team meeting #6: "Snatch-driven development"
GitHub - mcandre/parhello: Hello World in a variety of parallel processing languages
Haskell as fast as C: working at a high altitude for low level performance
language.c
GitHub - mainland/language-c-quote
Profiling C with Haskell « NathanWiegand.com