ghc

    0

    1答えて

    GHC(8.0.2)でFFIを使用してCプログラムに渡すデータ構造を構築する例(例:1または2)を次に示します。 Cファイルtagger-api.hは次のとおりです。 typedef struct { int number_of_words; /* number of words to be tagged */ int next_word; /* needed interna

    12

    1答えて

    私は、Haskellの命令型言語を実装するプロジェクトでより効率的なポインタを使用することに興味があります。既にlibrary for that: Structがあります。その上にblog postとbrief documentationがあります。 linkcut treesの非常に洗練された例しかないという問題があります。毎日Haskellを使用していない私のような人にとっては、文書化されたコ

    2

    1答えて

    私はJSONのデータタイプUserのリストを符号化し、標準出力に出力し、次のHaskellコードを有する:、現時点でコードを {-# LANGUAGE OverloadedStrings #-} module Main where import Data.Aeson import Data.Text import qualified Data.ByteString.Lazy.Char8

    3

    1答えて

    テンプレートハスケルでは、Qモナドはすべての魔法が起こる場所です。ただし、Qにはかなり限定されたAPIがあります。私は基本的にはlookupValueName :: String -> Q (Maybe Name)の機能を取り込むタイプvalueNameStore :: Q (String -> Maybe Name)の値を持っていますが、その時点で使用可能な変数のストアがバインドされています。

    3

    1答えて

    例は1000語に相当します。私はちょうど作ったかなり簡単なquasi quoterです。 import Language.Haskell.TH.Quote import Language.Haskell.TH.Syntax quoter :: QuasiQuoter quoter = QuasiQuoter { quotePat = parse } where pars

    10

    1答えて

    私は、C++プログラムでHaskell関数をいくつか呼びたいと思っています。 これを行うために、私はthese 命令を適用し、自分のコードとシステムに適合させました。 MAIN.CPP 共有ヘッダーとcppのファイル メイク CPP/ いくつかのcppファイルとヘッダーファイル:私は一瞬のために持っている何 は以下のとおりです。 ハスケル/ hello.hs makeファイルは以下の通りです:私が

    4

    1答えて

    GHCはid = (\(a, b) -> (a, b)).(\(a, b) -> (a, b))をid = \(a, b) -> (a, b)に簡略化できますか? より複雑なケースについてはどう: id (Just x) = Just x id Nothing = Nothing map f (Just x) = Just (f x) map _ Nothing = Nothing G

    1

    1答えて

    私のアプリケーションでは、型が(パラメータ)dの(注入)関数である式を構築しています。たとえば: op :: Proxy d -> Proxy ('S d) op _ = Proxy foo :: forall d . Proxy ('S ('S d)) foo = op $ op Proxy 私はfooのような式を構築した後、私はそれを解釈したいと思います: getValue ::

    1

    1答えて

    私は(それの何バイナリバージョンがありませんよう、ARMに7.8)再び元からGHCを構築し、それはいくつかの点でこれを行い気づいている: "inplace/bin/ghc-stage1" -static -optc-DTHREADED_RTS -optc-DDEBUG -H32m \ -O -Iincludes -Iincludes/dist -Iincludes/dist-derive