我想使用http-enumerator包不仅可以执行GET/POST,还可以执行PUT.
http-enumerator:
http://hackage.haskell.org/package/http-enumerator
http://hackage.haskell.org/packages/archive/http-enumerator/0.6.5/doc/html/Network-HTTP-Enumerator html的
*)我的第一步是构建一个请求并打印它.
但是我没有写出正确的Show函数(错误"没有用于显示的实例..来自使用print").
*)接下来我想我必须使用函数"httpLbs :: MonadIO m => Request m - > Manager - > m Response"来获取响应.
对于那些搜索并需要该信息的人:haskell,REST或restful request,http,rest api access
我试图用Agda中的自然数字解析一个字符串.例如,结果stringListTo? "1,2,3"应该是Just (1 ? 2 ? 3 ? [])
我当前的代码不是很正确或任何方式都很好,但它的工作原理.但是它返回类型:
Maybe (List (Maybe ?))
问题是:
如何以stringListTo?一种很好的方式实现该功能(与我的代码相比); 它应该有类型Maybe (List ?)
(可选,不重要)如何将类型转换Maybe (List (Maybe ?))为Maybe (List ?)？
我的代码:
charTo? : Char ? Maybe ?
charTo? '0' = just 0
charTo? '1' = just 1
charTo? '2' = just 2
charTo? '3' = just 3
charTo? '4' = just 4
charTo? '5' = just 5
charTo? '6' = just 6
charTo? '7' = …在最近的ubuntu 机器上升级到 ghc 8.0 后，我收到以下构建错误：
/usr/bin/ld: -r 和 -pie 不能一起使用
对于同一问题的不同错误消息是：
创建 > 共享对象时，不能使用针对“.rodata”的重定位 R_X86_64_32；使用 -fPIC 重新编译
这是一个已知的错误？还有其他解决方案吗？
这是一个初学者的问题.
我正在阅读教程"在Isabelle/HOL中编程和证明".
我想打印"1 + 2"的结果.
所以我写道:
value "1 + 2"
这使:
"1 + (1 + 1)"
:: "'a"
我想看看结果,即"3".我怎么能在伊莎贝尔那里做到这一点？如果我在定理证明器中标准化"1 + 2",则显示结果3.我只想在伊莎贝尔做同样的事情.
请注意,我昨天开始使用Isabelle.
如何按子列表的长度对嵌套列表进行排序：
l <- list(list("a","b","c"), list("d","e"), list("f"))
使用这个它应该返回：
list(list("f"), list("d","e"), list("a","b","c"))
这是我的代码的简化版本:
data Bookmark = Bookmark {
url :: String
, label :: String
} deriving (Show)
genBookmark :: String -> String -> IO Bookmark
genBookmark u l = return ( Bookmark { url = u, label = l } )
但是Strings(url,label)在数据库中,所以我必须处理IO String.我必须有一个非常简单的解决方案,但我没有看到它(并且广泛的网络搜索没有让我到处找.)
基本上我想将我的代码更改为:
genBookmark :: IO String -> IO String -> IO Bookmark
这是另一个说明问题的版本:
genBookmark2 :: String -> String -> Bookmark
genBookmark2 u = return ( Bookmark { url = u, label = newlabel } )
where newlabel = getLine …我有一个带有嵌套列表的文本文件(~300 MB大),类似于这个:
[[4, 9, 11, 28, 30, 45, 55, 58, 61, 62, 63, 69, 74, 76, 77, 82, 87, 92, 93, 94, 95], [4, 9, 11, 28, 30, 45, 55, 58, 61, 62, 63, 69, 74, 76, 77, 82, 87, 92, 93, 94],[4, 9, 11, 28, 30, 45, 55, 58, 61, 62, 63, 69, 74, 76, 77, 82, 85, 87, 92, 93, 94, 95]]
这是我的程序将文件读入haskell Integer列表:
import qualified Data.ByteString as ByteStr
main :: IO ()
-- HOW to do …我想在R中绘制完整的图形.
我怎样才能做到这一点？我发现CRAN上只有一个包具有生成完整图形的功能.但是这个包,即"RnavGraph",没有安装但退出时出现错误状态.进一步搜索似乎很困难,因为图的不同含义不是与图结构相关联的,而是与图有关.
如何在R中绘制完整的图形？
Ps:但是当我尝试安装"RnavGraph"时出现以下错误:
ERROR: dependencies ‘graph’, ‘RBGL’ are not available for package ‘RnavGraph’
* removing ‘/home/steve/R/x86_64-unknown-linux-gnu-library/3.0/RnavGraph’
The downloaded source packages are in
‘/tmp/RtmpIW4p30/downloaded_packages’
Warning message:
In install.packages("RnavGraph") :
installation of package ‘RnavGraph’ had non-zero exit status
我正在用MinGW编译C代码.C代码是tcl包/扩展.
(使用MinGW compilor,下载:mingw-get-inst-20111118.exe)
编译代码(例如tcl包)在linux下运行正常.我正在运行"./configure"并使用提供的"Makefile.in".
问题是C代码在某些时候包括"assert.h".
其他头文件很好,例如"string.h"和"stdlib.h".这是因为TCL源包含一个名为"./compat"的子文件夹.在此填充程序中,头文件的位置是为了防止在其他地方找不到它们.
但是在"./compat"文件夹中缺少文件"assert.h".所以我收到了一个错误.
我在"c:\ MinGW\include"中搜索了头文件,但我没有在那里找到"assert.h".
要么我在"./compat"文件夹中复制我自己的"assert.h".或者我安装了一些MinGW包,它将一些"assert.h"放在"c:\ MinGW \"的子文件夹中.
===解决方案:====
c:\ MinGW\include\assert.h
我是在我面前的洞时间!!! 我的错!谢谢.
我有问题,readFile返回一个IO String但解析期望一个常规String(或在下面的例子中ByteString).我虽然只是使用,liftM但下面的例子仍然失败.问题是什么？
import Data.Aeson
import Data.Attoparsec
import Data.ByteString (ByteString, pack)
import Data.Maybe
import Network.HTTP
import Network.URI
import qualified Data.ByteString.Char8 as C
import Control.Monad
main = do
myres <- liftM parse json (C.readFile "dummy.json")
print myres
错误:
Couldn't match expected type `t0 -> Parser a0'
with actual type `Parser Value'
In the second argument of `liftM', namely `json'
In a stmt of a 'do' block:
myres <- liftM parse json (C.readFile …我找到了一个关于如何计算列表深度的维基页面:http: //wiki.tcl.tk/11602
如何使用tcl 8.6功能lmap和apply将上述代码重写为单个proc？也许并非真正需要"应用".
proc max list {
set res [lindex $list 0]
foreach e [lrange $list 1 end] {if {$e>$res} {set res $e}}
set res
}
# llmap perhaps can be replaced with lmap from Tcl 8.6
proc llmap {func list} {
set res {}
foreach e $list {lappend res [$func $e]}
set res
}
proc ldepth list {
expr {
[llength $list] == 0? 1:
[expr {[lindex $list 0] eq …