小编Jer*_*ock的帖子

我一直在使用GADT在Haskell中创建一个完全类型化的DSEL,对于一个完全类型安全的AST,似乎做一个正确类型的编译器需要构造,例如从Haskell类型到类型和值(类型环境)的映射并且可以通过Haskell类型系统理解.C++具有Boost.Fusion库,其中包含类似这些结构(类型 - >值映射,类型值向量等).Data.Tuple负责处理序列,但是有没有像Boost.Fusion这样的Haskell版本的东西map？

我从各种来源一起破解了几个代码片段,并在http://bit.ly/HWdUqK上创建了Wolfram博客文章的粗略实现 - 对于那些在数学上倾向的人来说,它非常有趣!

毫不奇怪,鉴于我仍然是Racket的新手,代码需要花费太多时间来计算结果(> 90分钟而不是作者的49秒)并且占用了大量内存.我怀疑这是关于定义(expListY)需要重做的全部内容.

虽然我有它在DrRacket的工作,我也有问题字节编译源,并且仍然在它的工作(错误消息:+: expects type <number> as 1st argument, given: #f; other arguments were: 1 -1)

有人想要提高性能和效率吗？我为无法理解的代码和缺乏更好的代码注释道歉.

PS:我应该直接在这里剪切和粘贴代码吗？

我正在PHP项目中创建自己的google oauth实现.一切正常,除非我JWT在访问令牌请求后尝试验证收到(https://accounts.google.com/o/oauth2/token).

对于JWT解码我使用的是firebase/php-jwt类.

它解码完美,但是如果我打开$verify选项(decode()方法3-rd arg),我得到:Signature verification failed异常抛出.

我的猜测是,如果我将错误的密钥传递给decode()方法.hash_hmac()当签名生成完成后,它稍后用于函数.

所以我的问题是:我应该将什么密钥传递给Google OAuth JWT上下文进行签名验证？

我已经配置了一个工作流程,像往常一样以"草稿"状态开始.我已经为模板的标准值配置了工作流程.它在内容编辑器中工作得很好.(当我使用内容编辑器创建项目时,一旦我创建项目,工作流程就会被分配给项目,它的状态变为"草稿".)

但是当我在上述模板下以编程方式创建项目时,它不会分配工作流程.如何分配工作流程？如果有,请分享任何代码示例.

谢谢.

Sitecore.Data.Items.TemplateItem template = this.MasterDatabase.GetItem("/sitecore/templates/user defined/sample types");
Sitecore.Data.Items.Item parent = this.MasterDatabase.GetItem(parentId); 

Sitecore.Data.Items.Item newItem;                
// Create new item and retrieve it
newItem = template.CreateItemFrom("sampleName", parent);

newItem.Editing.BeginEdit();

newItem.Name = StringFormatter.CreateItemNameFromID(this.newItem);
newItem.Fields["Title"].Value = "Sample Title"

newItem.Editing.EndEdit();

任务是使用parMap或parListChunk或更好的方法加速求和.使用并行代码实际上运行速度较慢.

编辑: Facepalm ..我忽略了如何正确执行应用程序.

不要忘记添加核心

./myHaskellApp paramaters +RTS -N4 -sstderr

其中N 4是核心数.

我正在尝试制作批处理文件以systeminfo在Windows 7中运行该命令,并缩小结果范围以不显示热修复信息 - 或仅显示某些特定行.

有没有办法在不多次写出命令的情况下执行此操作？即,现在,我有以下内容:

systeminfo|find "System Boot Time"

systeminfo|find "Host Name"

systeminfo|find "OS Name"

等等

这样做的问题是它必须为每个新行重新加载systeminfo cmd中的所有信息,这需要相当长的时间.是否可以只运行一次命令并找到拉多行？

如果没有,是否可以使用其他命令删除信息？(我没有听说过这样的但不确定它不存在)

什么是结构!REBOL中的数据类型以及它是如何工作的？

多个翻译单元是否可以使用不同的默认模板参数但相同的定义具有相同模板的声明？例如,执行以下代码也就侵犯了ODR如果在翻译单元b.cpp和c.cpp连在了一起？

// a.hpp
template <bool> class x {...};

// b.cpp
template <bool = true> class x;
#include "a.hpp"
// uses of x<>

// c.cpp
template <bool = false> class x;
#include "a.hpp"
// uses of x<>

我对以下c代码感到困惑

#define MACRO (xx) \
foo(xx)
...    
#ifdef A
return MACRO(a);
#endif
...

源无法编译.但是当我改变定义时

#define MACRO \
foo(a)

因此,如果我想在这种情况下使用带有参数的MACRO,我该怎么办？谢谢..

struct item_CHECK_LIST_data
{

    char    list[MAX_CHECK_LIST_OPTIONS + 1][MAX_ITEM_TEXT_LEN];
    char    checkeditems[MAX_CHECK_LIST_OPTIONS + 1];//which are checked

    char    number_of_options;
};

我可以用memcopy复制这个吗？

我有一个奇怪的错误,将由memcopy无法解释...

我可以使用grep查找包含特定字符串的文件吗？例如,在不知道文件名的情况下查找包含"abc"的文件.