Tag: 原始types

python bytearrays在哪里使用?

我最近遇到了python中称为bytearray的dataType。 有人可以提供需要bytearrays的场景吗?

为什么斯卡拉的types推理没有Haskell那么强大?

Haskell的types推断引擎比Scala更强大。 在Haskell中,我很less需要明确地写出types,而在Scala中,types只能在expression式中推断,而在方法定义中则不能。 例如,请参阅以下Haskell代码片段: size xs = loop xs 0 where loop [] acc = acc loop (_ : xs) acc = loop xs (acc+1) 它返回一个List的大小。 Haskell编译器可以识别使用什么types以及函数定义是什么。 等效的Scala代码: def size[A]: List[A] => Int = xs => { def loop: (List[A], Int) => Int = { case (Nil, acc) => acc case (_ :: xs, acc) => […]

为什么不是一个genericstypes?

Array声明如下: public abstract class Array : ICloneable, IList, ICollection, IEnumerable { 我想知道为什么不是这样: public partial class Array<T> : ICloneable, IList<T>, ICollection<T>, IEnumerable<T> { 如果它被声明为一个通用types,会出现什么问题呢? 如果是genericstypes,我们还需要非genericstypes吗? 如果我们愿意,它可以从Array<T> (如上所述)派生吗? public partial class Array: Array<object> { 更新: 第二点对于不再使非genericsArray成为基本types的假设也很重要。

我如何声明同一个类的成员向量?

为什么下面这段代码起作用? struct A { std::vector<A> subAs; }; A是一个不完整的types,对不对? 如果有一个A *的vector,我会理解。 但在这里我不明白它是如何工作的。 这似乎是一个recursion的定义。

我如何将Haskelltypes类转换为F#?

我试图将Haskell核心库的箭头翻译成F#(我认为这对于更好地理解箭头和F#是一个很好的练习,我可能可以在我正在进行的项目中使用它们)。但是,直接翻译由于范式的不同,是不可能的。 Haskell使用types类来expression这些东西,但是我不确定F#构造的最好用F#的习惯用法映射types类的function。 我有一些想法,但最好把它提出来,看看什么被认为是最接近的function。 对于人群:如何将types类(一个Haskell成语)翻译成F#惯用代码? 对于那些接受我长久解释的人来说: Haskell标准库中的代码就是我试图翻译的一个例子: class Category cat where id :: cat aa comp :: cat ab -> cat bc -> cat ac class Category a => Arrow a where arr :: (b -> c) -> abc first :: abc -> a (b,d) (c,d) instance Category (->) where id f = f instance Arrow […]

为什么在Python中颠倒和sorting不同的types?

reversed的types是“type”: >>> type(reversed) <class 'type'> sorted的types是“内build函数或方法”: >>> type(sorted) <class 'builtin_function_or_method'> 但是,它们本质上看起来是一样的。 排除function上的明显差异(反转与sorting顺序),这种差异在实现中的原因是什么?

“types家庭”与“数据家族”,简而言之?

我对如何selectdata family和type family感到困惑。 TypeFamilies上的wiki页面进入了很多细节。 有时候,它非正式地将Haskell的data family称为散文中的“types家族”,但当然在Haskell中也有type family 。 有一个简单的例子,显示了两个版本的代码显示在哪里,不同的是data family还是type family正在声明: — BAD: f is too ambiguous, due to non-injectivity — type family F a — OK data family F af :: F a -> F a f = undefined g :: F Int -> F Int gx = fx type和data具有相同的含义,但type family版本不能进行types检查,而data family版本是好的,因为data family “创build新types,因此是内射的”(维基页面)。 […]

什么是依赖打字?

有人可以解释依赖打字给我吗? 我在Haskell,Cayenne,Epigram或其他函数式语言方面经验不多,所以您可以使用的术语越简单,我越会感激!

如何在pandas中find数字列?

假设df是一个pandasDataFrame。 我想查找数字types的所有列。 就像是: isNumeric = is_numeric(df)

如何在C中使用布尔数据types?

我只是写在C代码,事实certificate,它没有一个布尔/布尔数据types。 有没有我可以包含的C库,使我能够返回一个布尔值/布尔型数据types?