小编Oll*_*edt的帖子

js_of_ocaml和event_listener

我在js_of_ocaml中有一个div,我想分配一个onmouseover事件,例如

deck_div##onmouseover <- (fun () -> (* do stuff *) )

但是,预期的功能类型是

(Dom_html.divElement Js.t, Dom_html.mouseEvent Js.t) Dom_html.event_listener

如何构造此事件侦听器?deck_div没有办法addEventListener

javascript events ocaml js-of-ocaml

3
推荐指数
1
解决办法
362
查看次数

Coq 中的 Prop 和 bool

如何在 if 语句中使用有理数的比较?

if 1 = 2 then 1 else 2
Run Code Online (Sandbox Code Playgroud)

1 = 2当然Prop不是bool

boolean coq

3
推荐指数
1
解决办法
2686
查看次数

hacklang中的线性类型:静态强制函数调用的顺序

因此,Hacklang推出了一个新的,花哨的类型系统,在可以使用之前必须检查可以为空的变量.我想知道的是,你能实现类似线性类型的东西,静态强制函数调用的顺序,常见的例子是在读取之前打开文件吗?在伪代码中:

$file_handler = get_file_handler("myfile");
$file_handler->open();
$string = $file_handler->read();
Run Code Online (Sandbox Code Playgroud)

现在,$file_handler->read()不用open()抛出运行时异常,而不是编译:

$file_handler = get_file_handler("myfile");
$string = $file_handler->read(); /* Won't compile, must run open() first */
Run Code Online (Sandbox Code Playgroud)

可行?

(好吧,也许是PHP/Hacklang的不好的例子,因为它不是这个低级别,但你明白了.)

linear-types hacklang

3
推荐指数
1
解决办法
149
查看次数

我如何在vim netrw中grep?

如何在Vim中的netrw中执行grep?ctrl-p可以这种方式使用,grep是否有类似的插件?

例如,当我在目录中时,我想要包含此关键字或该关键字的文件列表。

vim grep netrw

3
推荐指数
1
解决办法
1077
查看次数

在默认的Vim文件浏览器中隐藏swp,〜文件

我使用Vim的缺省文件浏览器一个不少.但令人烦恼的是它显示交换文件.orig,.php~等等.我能以某种方式隐藏这些文件吗?

与此相关的,为什么不Vim的总是推时返回文件浏览器Ctrl- 6

vim file-browser

2
推荐指数
2
解决办法
982
查看次数

OCaml OUnit括号示例:设置和拆除

我真的不知道如何使用OUnit(版本2)使用支架设置和拆卸.有人想提供一个完整的例子吗?

这是OUnit2.bracket功能文档:

val bracket : (test_ctxt -> 'a) ->
       ('a -> test_ctxt -> unit) -> test_ctxt -> 'a

bracket set_up tear_down test_ctxt set up an object 
and register it to be tore down in test_ctxt.
Run Code Online (Sandbox Code Playgroud)

你设置了这样一个测试套件:

let test_suite =
  "suite" >::: [
    "test1" >:: test1_fun
  ]
Run Code Online (Sandbox Code Playgroud)

并运行它:

let _ =
  run_test_tt_main test_suite
Run Code Online (Sandbox Code Playgroud)

我在哪里将括号放在此工作流程中?

链接到OUnit文档.

该文件test_stack.mlounit-2.0.0/examples测试支架OUnit第1版,所以这是没有用的.

ocaml unit-testing

2
推荐指数
1
解决办法
362
查看次数

系统时间为3月30日时,DateTime转换错误

假设系统时间设置为2017-03-30.然后这段代码将错误的日期转换为:

<?php
$dateTime = DateTime::createFromFormat('m-Y', '02-2017');
$converted = $dateTime->format('Y-m');
print_r($converted);
Run Code Online (Sandbox Code Playgroud)

价值$converted

2017-03
Run Code Online (Sandbox Code Playgroud)

但仅限于从浏览器运行时.从命令行运行,它给出了正确的结果2017-02.

谁知道为什么?2月没有30天,所以这可能是一个原因,但仍然存在.

编辑:将格式从"Ymd"更改为"Y-m".

编辑2:添加了有关命令行与浏览器的信息.

php date

2
推荐指数
1
解决办法
1149
查看次数

如何从视图助手访问 GET/POST?

我有一个自定义内容元素,它使用从链接操作继承的视图助手。当此链接处于“活动状态”时,我想使用特定的 CSS。一种方法是读取_GET并检查链接变量。我可以_GET从视图助手以理智的方式访问吗?或者,还有更好的方法?

也许这是不可能的,因为视图助手的输出将被缓存......

我当然可以$_GET直接访问,但这可以与 RealUrl 一起使用吗?

typo3 typo3-6.1.x

0
推荐指数
1
解决办法
599
查看次数