小编Abs*_*act的帖子

我想用格式将字符串格式化为dateTime

"yyyyMMdd HH:mm:SS.ms"

我尝试将其"yyyyMMdd HH:mm:SS"作为字符串格式,ParseExact但它无法识别它.也不知道如何包括毫秒

任何帮助？

有一个简单的方法.要取一个数字列表,比如说123456.然后将奇数放三乘,偶数乘1.

即(1*3)+(2*1)+(3*3)+(4*1)+(5*3)+(6*1)

我正在考虑地图功能的某些地方.但我不知道如何将*3映射到奇数放置的值.哦,如果你能给我一个不是前奏的版本,就像实际的函数或函数一样好,就好像它是从外部haskell文件导入的

谢谢您的帮助

我有两个带有类型签名的排序词典

即

SortedDictionary<decimal, long> A
SortedDictionary<decimal, long> B

我想合并密钥相同的两个列表,从而创建一个新的列表

SortedDictionary<decimal, KeyValuePair<long,long>>
or
SortedDictionary<decimal, List<long>>

这可能不是解决问题的最好方法,但有人可以让我了解如何做到这一点或更好的方法来解决它.

我有一个号码9877342931235.使用Haskell,我需要将其显示为:

987-734293-123-5

我试过穿插列表,但当然在每个数字之间加上' - '.我该怎么做才能得出实际结果呢？

新的F#我需要根据浮点数存储一堆对象列表,其中列表集合根据浮点数进行排序.我知道在C#中我会用

SortedDictionary<float, List<obj>>

因为实现是一个红黑树,允许log(n)插入和搜索.但是什么是攻击F#情况的最好方法.我试图使用SortedDitionary,但我不能引用SortedDictionary [int]来查找值,因此它实际上将它呈现为无用(我可能做错了).

谢谢您的帮助

我是F#的新手基本上我正在尝试使用FileHelpers库来按记录导入csv记录.所以我可以将每个对象放在队列中.

let importOrders (filePath:string) = do
       let engine = new FileHelpers.FileHelperAsyncEngine(typeof<DataTypes.Order.OrderType>)
       engine.BeginReadFile(filePath)
       for o in engine do
         unProccessedData.Enqueue(o)

然而,它说引擎不是一个可以枚举其值的类型,但它实现了IEnumerable.任何人对可能的修复或不同的方法有任何建议.

我需要能够按记录处理csv记录,将每个记录转换为orderType,然后将订单存储到队列中.谢谢你的帮助

前言请注意,这是一项任务.关于第一个问题,已经提出了一个问题.所以我们有数据类型:

data BoolProp : ??? where
  ptrue  : BoolProp true
  pfalse : BoolProp false
  pand   : (P Q : Bool) -> (BoolProp P) -> (BoolProp Q) -> BoolProp (P ??? Q)
  por    : (P Q : Bool) -> (BoolProp P) -> (BoolProp Q) -> BoolProp (P ??? Q)
  pnot   : (P : Bool) -> BoolProp (not P)

现在我们被要求写出这个命题

eval (PAnd (POr PTrue PFalse) PFalse) 

应该返回 BoolProp false

我对如何做到这一点感到困惑.然而,数据类型Ptrue返回两个不是.也许数据类型是错误的.任何抬头都会很棒BoolProp trueporBoolBoolProp

我应该补充说,eval代码是haskell代码的一个片段

注意:编辑它不会让一切都消失