我寻找一些等同于我们可以在Python中这样做的东西：：
>>> print([func for func in dir(__builtins__) if func[0].islower()])
['abs', 'all', 'any', 'ascii', 'bin', 'bool', 'bytearray', 'bytes', 'callable', 'chr', 'classmethod',
浏览 7提问于2017-08-02得票数 1
1回答
我想更改I/O操作输入中显示的字符键。例如，假设键'b'被交换为'a'，那么我想要这样的结果:如果我键入键b，我将得到a
Prelude> getChar
a -- I actually typed the key b
'a'
谢谢!
浏览 3提问于2015-09-05得票数 0
是否有方法将字符“+”、“-”、“*”、“/”转换为相应的函数？我的意思是像这样的函数(很明显，我试过了，但没有起作用)：
toOperator :: Num a => String -> a -> a -> a
toOperator c = read c :: Num a => a -> a -> a
浏览 1提问于2016-10-14得票数 2
回答已采纳
到目前为止，我已经尝试了三种语言: Haskell、Python、Java。
我有点不知所措。
我真正想做的是：
*MyModule> myfunction arg1
arg1a
所以我的论点实际上是一个字符串，包含一个真正的换行符。上面是Haskell的输入。
但是，我还没有找到这方面的任何例子，当我使用一个真正的命令行尝试时，我总是会遇到崩溃，因为解释器或编译器假定在换行处肯定会有一个新的参数。是的，我试着用"“包围字符串。没什么区别。
有什么明显的方法可以绕过我还没有找到的呢？
启用多行会产生以下错误：
lexical er
浏览 3提问于2016-02-15得票数 0
回答已采纳
2回答
此表达式在Haskell上有效吗？
(1,2,\_ ->3 )
我认为它是有效的，但当在GHCI前奏上尝试时，它给出了一个错误：
<interactive>:1:0:
No instance for (Show (t1 -> t))
arising from a use of `print' at <interactive>:1:0-12
Possible fix: add an instance declaration for (Show (t1 -> t))
In the expression: pri
浏览 0提问于2014-07-11得票数 1
这是我第一次使用GHCi，我在编写多行函数时遇到了一些问题。我的代码如下：
Prelude> :{
Prelude| let diffSquares lst = abs $ squareOfSums lst - sumOfSquares lst
Prelude| where
Prelude| squareOfSums lst = (fst (sumsAndSquares lst))^2
Prelude| sumOfSquares lst = snd (sumsAndSquares lst)
Prelude| sumsAndSquares = foldl (\(
浏览 2提问于2010-06-18得票数 19
回答已采纳
我试图理解为什么fmap (+) (1)没有类型错误
我理解以下顺序：
Prelude> :t fmap
fmap :: Functor f => (a -> b) -> f a -> f b
Prelude> :t (+)
(+) :: Num a => a -> a -> a # like a-> b with b = a -> a
Prelude> :t fmap (+)
fmap (+) :: (Functor f, Num a) => f a -
浏览 3提问于2019-12-07得票数 3
回答已采纳
当我加载emacs时，我突然开始遇到一个问题。Emacs现在需要很长时间才能加载，当它加载时，我会收到警告：
Generating transient.info
make[1]: makeinfo: No such file or directory
make[1]: *** [transient.info] Error 1
make: *** [info] Error 2
我的init.el文件包含：
(defvar current-user
(getenv
(if (equal system-type 'windows-nt) "USERNAME"
浏览 3提问于2021-06-16得票数 0
在F#中，我可以这样定义：
let rec sum = function
| [] -> 0
| x::xs -> x + sum xs
看起来挺方便的。它在Haskell有通信吗？
浏览 0提问于2016-02-05得票数 1
回答已采纳
我正在试图弄清楚，懒惰评估是如何工作的，我已经尝试了以下几点：
Prelude> a = [1,2,3,5,6]
Prelude> b = map (\x -> x * 8) a
Prelude> :sprint b
b = _
Prelude> b
[8,16,24,40,48]
Prelude> :sprint b
b = _
问题是，为什么最后一行没有显示评估列表？我之前评估过一行代码。
浏览 2提问于2019-02-14得票数 3
1回答
我为Int类型的向量定义了一个自定义类型：
data Vector = Vector Int Int Int
现在我想定义一个函数来向另一个函数中添加一个向量，但是语法是不正确的，尽管它非常类似于中使用的语法。
首先，使用前缀表示法：
Prelude> let vp :: Vector -> Vector -> Vector
Prelude| vp (Vector a b c) (Vector d e f) = Vector (a+d) (b+e) (c+f)
<interactive>:33:1: parse error on inpu
浏览 0提问于2017-02-23得票数 0
回答已采纳
我发现
Prelude> :i ()
data () = () -- Defined in `GHC.Tuple'
instance Bounded () -- Defined in `GHC.Enum'
instance Enum () -- Defined in `GHC.Enum'
instance Eq () -- Defined in `GHC.Classes'
instance Ord () -- Defined in `GHC.Classes'
instance Read () -- Defined in `GHC.Read&#
浏览 1提问于2013-01-21得票数 2
1回答
是否可以在GHCi中编写带有类型签名的多行函数定义(就像在源文件中编写它一样)？
到目前为止，我已经尝试过这样的方法：
Prelude> :{
Prelude| let f :: Int -> Int;
Prelude| f i = i + 1
Prelude| :}
<interactive>:9:1: parse error on input ‘f’
但没成功..。还有什么我可以试试的吗？
浏览 2提问于2014-12-16得票数 2
回答已采纳
我在emacs文件上定义了以下函数(取自)：
firstOnesOrEmpty :: [String] -> String
firstOnesOrEmpty [] = ""
firstOnesOrEmpty [x] = x
firstOnesOrEmpty (x:y:_) = x ++ ", " ++ y
但是，当我将文件加载到GHCi并将:t firstOnesOrEmpty写入GHCi时，我会得到以下错误：
<interactive>:1:1: error: Variable not in scope: firstOnesOrEmpty
浏览 0提问于2018-03-13得票数 5
回答已采纳
为什么部分评估在部分应用的时刻没有被严格地评估，为什么它被重新评估不止一次？作为一个时髦的问题，Scala和Haskell中的例子(我曾一度认为Haskell的行为会有所不同)：
在Scala中：
scala> def f(x: Int)(y: Int) = {println("inside"); x * y}
f: (x: Int)(y: Int)Int
scala> val f2 = f(2) _
f2: Int => Int = <function1>
scala> f2(3)
inside
浏览 1提问于2014-01-19得票数 10
我得到了parse error的跟踪bmiTell为什么？
Prelude> :{
Prelude| let bmiTell :: Double -> Double -> String
Prelude| bmiTell weight height
Prelude| weight / height ^ 2 <= 18.5 = "You're underweight, you emo, you!"
Prelude| weight / height ^ 2 <= 25.0 = "You're supposedly nor
浏览 4提问于2014-04-06得票数 0
回答已采纳
1回答
当其他情况都失败时，OCaml提供了通配符匹配模式：
let imply v = match v with
(true,false) -> false
| _ -> true;;
Haskell的等价性是什么？
浏览 5提问于2015-03-04得票数 0
回答已采纳
1回答
我怎样才能阻止Haskell无限地执行这个函数？
splitList i "" = []
splitList i str = let (x, y) = splitAt i str
in x : splitList i x
浏览 1提问于2018-03-08得票数 0
我有以下数据类型：
data TestType a = TypeA a
| TypeB a
| TypeC a
如何简化下列函数的模式匹配：
f (TypeA x) (TypeB y) = "No"
f (TypeA x) (TypeC y) = "No"
f (TypeB x) (TypeA y) = "No"
f (TypeB y) (TypeC x) = "No"
f (TypeC y) (TypeA x) = "No"
f (TypeC y) (TypeB x) = "No
浏览 1提问于2022-02-02得票数 1
回答已采纳
我试图为Moore自动机变压器导出一个分类实例，其中：
data Moore a b = Moore b (a -> Moore a b)
type MooreT a b c = (Moore a b -> Moore a c)
问题是，MooreT有3个参数，而Category只有2个。我试着编写：instance Category (MooreT a)，但我没有工作。
问题是，参数a对于id和(.)的定义并不重要。例如：
id :: MooreT a b b
id x = x
有什么方法来定义这样的实例吗？还是必须为特定类型的MooreT (如type IntMooreT a
浏览 3提问于2016-09-22得票数 1
回答已采纳
假设我们需要一组按需计算的值(计算有一些副作用)，并且在再次访问它们时不再重新计算。
以下两种天真的方法行不通：
Prelude> let f x = print x >> return x
Prelude> let a = map f "abc"
Prelude> :t a
a :: [IO Char]
Prelude> head a
'a'
'a'
Prelude> head a
'a'
'a'
Prelude> let b = mapM f "abc&#
浏览 1提问于2020-08-22得票数 6
回答已采纳
1回答
我试图利用Semigroup类型化来玩玩单子，并且我试图在自然数上定义一个单子。我将以下类和实例声明放入GHCI中
Prelude:{
Prelude| class Semigroup a where
Prelude| (<>) :: a -> a -> a)
Prelude| newtype Sum a = Sum { getSum :: a }
Prelude| deriving (Eq, Ord, Show)
Prelude| instance Num a => Monoid (Sum a) where
Prelude| (<>
浏览 5提问于2020-07-11得票数 0
回答已采纳
1回答
我正在寻找与Java等效的Dhall，这样我就可以将一些原始的toString嵌入到另一个记录中，但我希望确保得到的JSON结构是有效的。
我有一条记录，例如{ name : Text, age : Natural }，并希望将值转换为文本，例如：
let friends =
[ { name = "Bob", age = 25 }, { name = "Alice", age = 24 }]
in { id = "MyFriends", data = Record/toString friends }
这将产生以下结果：
{
"i
浏览 12提问于2020-02-12得票数 1
回答已采纳
1回答
请考虑以下代码：
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeFamilyDependencies #-}
module Study where
class C a where
type T a = r | r -> a
pred :: T a -> Bool
pred _ = True
我希望有一个更有意义的pred默认定义，如下所示：
class C' a where
...
pred' = not . null
(我认为默认的T' a是= [a]。)
有办法吗
浏览 1提问于2018-05-04得票数 5
回答已采纳
1回答
我尝试在GHCi中实现递归阶乘函数，但是我收到了以下错误：
Prelude> fact n = n * fact (n-1)
Prelude> fact 0 = 1
Prelude> fact 1
*** Exception: <interactive>:2:1-10: Non-exhaustive patterns in function fact
这是从哪里来的，我将来怎样才能避免这个错误呢？
浏览 1提问于2016-12-01得票数 1
回答已采纳
我正在尝试通过使用let和in来复制“学习Haskell以获得伟大的好处”这本书中的例子。
问题是，尽管我以相同的方式编写了相同的代码，但它不起作用，并向我显示了第二个变量中第二个"=“的失败。
有人能帮我解决这个问题吗？
cylinder :: (RealFloat a) => a ->a ->a
cylinder r h =
let sideArea = 2*pi*r*h
topArea = pi*r^2
in sideArea + 2*topArea
浏览 1提问于2016-01-29得票数 0
给予：
Prelude> import Control.Parallel.Strategies
Prelude> import Control.Parallel
Prelude> let fact n = if (n <= 0) then 1 else n * fact (n-1) :: Integer
Prelude> let xs = map (runEval . (\x -> return x :: Eval Integer) . fact) [1..100]
Prelude> let ys = map fact [1..100]
Prelud
浏览 1提问于2016-07-09得票数 0
回答已采纳
我创建了这个haskell函数来删除列表中的奇数，并尝试在ghci中使用。尽管我启用了多行模式并使用了4个空格进行缩进，但我仍然收到下面的错误消息。
Prelude> :set +m
Prelude> let removeOdds nums =
Prelude| if null nums
Prelude| then []
Prelude| else
Prelude| if (mod (head nums)/2) == 0
Prelude| then (head nums) : (removeOdds(tail nums))
P
浏览 15提问于2016-08-11得票数 2
回答已采纳
我正在学习Haskell，在使用的一个基本阶乘函数时遇到了麻烦。
基本上，我这样定义了一个阶乘：
Prelude> let factorial 0 = 1
Prelude> let factorial n = n * factorial (n - 1)
类型检出：
Prelude> :t factorial
factorial :: Num a => a -> a
这是有道理的。然而，这个函数的行为并不是这样的，不管输入是什么，它都会导致(interactive): out of memory。
Prelude> factorial 5
(interacti
浏览 0提问于2013-04-13得票数 9
回答已采纳
1回答
为什么Nat的加法、减法和除法工作，而不是乘法？
λ> :set -XDataKinds
λ> :set -XTypeOperators
λ> import GHC.TypeLits
λ> :k! 1 + 2
1 + 2 :: Nat
= 3
λ> :k! 1 - 2
1 - 2 :: Nat
= 1 - 2
λ> :k! 5 `Div` 2
5 `Div` 2 :: Nat
= 2
λ> :k! 1 * 2
<interactive>:1:1: error:
• Expected kind ‘* -> Nat ->
浏览 5提问于2021-09-17得票数 5
回答已采纳
1回答
我是Haskell的新手，正在尝试理解函数式编程的基础知识。我需要创建一个非纯常量next_nat :: Integer，它在第一次求值时产生0，然后在每次求值时以1递增。然后，我还需要将其作为纯函数f (如f next_nat )上的参数调用，并根据参数求值来检查结果。
我不知道该怎么做。如何为每次评估增加它？对于此任务，我是否需要其他变量？我只是在那一刻想到了这个：
next_nat :: Integer
next_nat = 0
f :: Integer -> Integer
f x = x+1
我不认为这样做是对的。
浏览 5提问于2019-10-06得票数 1
2回答
可以为这个getConstructor函数提供一个类型签名吗？该函数可以工作，但我找不到编写返回类型的方法。 module Main where
data Letter a =
A a
| B a
| C String
deriving (Show)
-- getConstructor :: String -> (a -> Letter ?) -- <==
getConstructor x
| x == "a" = A
| x
浏览 20提问于2019-04-20得票数 0
回答已采纳
1回答
在下面的代码中，我不得不使用elem'而不是简单的elem，因为序言已经有了一个函数elem，我如何在声明Tree模块时使用elem，从而避免冲突？
module Tree(Tree(..), singleton, insert, elem') where
data Tree a = Empty | Node a (Tree a) (Tree a) deriving (Show)
singleton :: a -> Tree a
singleton a = Node a Empty Empty
insert :: (Ord a) => a -> Tree
浏览 2提问于2015-07-08得票数 2
回答已采纳
函数应该像这样工作：
sumFstElems [[1,2],[10,122,1],[12],[0],[1,1000]] = 24
我知道这会从列表中打印出第一个元素：
fun xs = fmap head xs
列表中的这个sum元素：
mysum (x:xs) = x + mysum xs
我很难把这两个函数结合起来给出预期的结果。
浏览 7提问于2022-02-19得票数 1
这里是Haskell新手，如果问题太简单，请原谅。只是我似乎无法理解为什么某些事情在文件中是好的，但在GHCI中却没有。例如，文件中有以下几行：
showLst :: [[Int]] -> IO ()
showLst = putStrLn . unlines . map show
这需要一个m数组，并在屏幕上打印结果。非常方便的功能。但是，当我对GHCI进行快速检查时，我希望具有相同的功能，我尝试在GHCI中定义相同的函数，如下所示：
>> let showLst = putStrLn . unlines . map show
>> showLst [[1,2,3
浏览 2提问于2014-02-17得票数 5
回答已采纳
3回答
我的代码在：中
use v6;
#use Grammar::Tracer;
grammar invoice {
token ws { \h*};
token super-word {\S+};
token super-phrase { <super-word> [\h <super-word>]*}
token line {^^ \h* [ <super-word> \h+]* <super-word>* \n};
token invoice-prelude-start {^^'Invoi
浏览 0提问于2019-01-11得票数 6
回答已采纳
我成功地安装并使用了livescript及其prelude-ls库。我加载了prelude-browser-min.js
// gulpfile
'static/bower_components/prelude-ls/browser/prelude-browser-min.js',
我能够在我的应用程序代码中导入函数：{map, filter, lines} = require 'prelude-ls'。
现在我要把保龄球从我的烟囱里移开。我还安装了livescript和一个带有npm的prelude-ls包，但是已经没有prelude-browser-min
浏览 4提问于2017-05-12得票数 4
回答已采纳
我定义了五个函数，它们在我看来应该是等价的(因此，它们具有相同的类型)。但推断的类型是不同的。我把下面的五行放在类型推断中：
f1 a b = a + b
f2 a = \b -> a + b
f3 = \a -> \b -> a + b
f4 a = (a+)
f5 = (+)
然后我开始拥抱：
Hugs> :load type-inference.hs
Main> :type f1
f1 :: Num a => a -> a -> a
Main> :type f2
f2 :: Num a => a -> a -> a
浏览 2提问于2013-11-30得票数 7
回答已采纳
1回答
我正在创建一个名为Common.hs的文件，它导出我通常使用的函数。它还用我更喜欢的版本取代了Prelude的一些功能：
-- Common.hs
module Common
import qualified Prelude as Prelude
import qualified Data.Foldable as Foldable
sum = Foldable.sum -- I want to replace Prelude's sum
print = Prelude.print -- I want to export Prelude's print
ty
浏览 2提问于2015-08-10得票数 6
回答已采纳
我正在尝试在ghci中以交互方式创建一个do块。只要我不用in块定义变量，就没问题：
Prelude>let a = do putStrLn "test"; putStrLn "other test"
Prelude>
但是我想不出如何在do块中以交互方式定义let构造而不出现解析错误：
Prelude> let a = do let b = 5; putStrLn $ show b
<interactive>:2:40:
parse error (possibly incorrect indentation or mis
浏览 1提问于2013-03-07得票数 12
回答已采纳
在GHCi中：(>表示输出)
data Unit = Unit
let x = Unit
let y = ()
:p x
> x = (_t1::Unit)
:p y
> y = ()
:i ()
> data () = () -- Defined in `GHC.Tuple'
为什么Unit和()的行为不同？还有其他类似于()的类型，例如Int和Char。还有其他这样的类型吗？
令人惊讶的是，当我将()替换为undefined时，它的行为再次与我预期的一样：
let y = undefined :: ()
:p y
y = (_t2::())
浏览 1提问于2014-02-12得票数 9
回答已采纳
GHCi告诉我A类型不是A类型。为什么？
>>> data A = A
>>> let x = A
>>> let id A = A
>>>
>>> data A = A
>>> let x' = A
>>> let id' A = A
>>>
>>> data A = A
>>>
>>> let y = id' x
<interactive>:18:13:
浏览 3提问于2013-04-08得票数 1
回答已采纳
2回答
使用GHCi，我可以执行以下操作：
prelude> let lol [] = []
prelude> let lol (x:xs) = (lol xs) ++ [x]
当我试着评估
prelude> lol [1, 2, 3]
我得到了
Exception: <interactive>:3:5-32: Non-exhaustive patterns in function lol
我想我理解问题所在(列表中有1个元素不匹配?)但不明白为什么他不能将x:xs匹配为x:[]
浏览 6提问于2013-03-31得票数 5
回答已采纳
1回答
我无法让GHCi或GHC打印unicode代码点221A (sqrt符号：√)。
我不认为这是我的外壳，因为我可以让ruby来做：
irb> puts "\u221A"
√
GHC/GHCi是另一个问题：
ghci> putStrLn "\8730"
ghci> withFile "temp.out" WriteMode $ flip hPutStrLn "\8730"
ghci> readFile "temp.out"
"\SUB\n"
那么我到底做错了什么呢？
(GHC
浏览 2提问于2011-04-14得票数 3
回答已采纳
1回答
我有以下导入： {-# LANGUAGE DeriveGeneric, OverloadedStrings, DefaultSignatures, TypeOperators, FlexibleContexts, RecordWildCards, FlexibleInstances, ExtendedDefaultRules #-}
import qualified Data.Map as Map
import qualified Data.Set as Set
import Data.Text
import GHC.Generics
import Data.DateTime
im
浏览 15提问于2019-04-12得票数 4
回答已采纳
2回答
我所知道的唯一的“用户输入”函数是返回Strings --但通常(我会更频繁地说)我们希望读取数字或其他类型。
是否有:: IO a类型的函数或类似的函数来读取任意类型的值？对于这样的函数，我有，但是由于它不存在，或者由于有大量类似类型的其他函数，我没有发现任何东西。
它看起来很有用和简单，必须有一个内置的。我来得最近的地方是：
-- Eg.
get :: Read a => IO a
get = (liftM read) getLine
main = do
x <- get
print $ x + 5
浏览 4提问于2017-09-19得票数 2
回答已采纳
有人知道为什么这个代码在GHCI中失败吗？
Prelude> let x = 4 in sum [(x^pow) / product[1.. pow] | pow <- [0.. 9]]
<interactive>:70:1:
No instance for (Fractional a0) arising from a use of ‘it’
The type variable ‘a0’ is ambiguous
浏览 4提问于2016-01-07得票数 0
回答已采纳
1回答
我首先定义一个大整数n
Prelude> let n = 5705979550618670446308578858542675373983
Prelude> n :: Integer
5705979550618670446308578858542675373983
接下来，我研究了s1和s2的行为
Prelude> let s1 = (sqrt (fromIntegral n))^2
Prelude> let s2 = (floor(sqrt(fromIntegral n)))^2
Prelude> s1 == fromIntegral n
True
Prelu
浏览 4提问于2013-08-14得票数 4
回答已采纳
1回答
我试着在哈斯克尔玩单曲游戏，使用这个页面：。我在终端中输入了以下信息(在导入Data.Monoid之后)：
class Monoid a where
mempty :: a
mappend :: a -> a -> a
mconcat :: [a] -> a
mconcat = foldr mappend memptyhere
newtype Sum a = Sum { getSum :: a }
instance Num a => Monoid (Sum a) where
mempty = Sum 0
Sum x
浏览 3提问于2020-07-11得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
