我一直想做一个实时聊天.
我几年前在PHP + Ajax + Mysql中完成了这项工作并破坏了我的服务器.然后我尝试使用Flash +文本文件.我放弃了,并没有在10年内尝试过.但最近我听说过webhooks和websockets.他们似乎都是一种方法,但我并没有完全掌握其中的差异.谁能解释一下？
我有个问题.
uint64_t var = 1; // this is 000000...00001 right?
在我的代码中,这有效:
var ^ (1 << 43)
但它怎么知道1应该是64位？我不应该写这个吗？
var ^ ( (uint64_t) 1 << 43 )
是否可以停止在文件中间包含文件？
例如,一个文件将包含:
include('home.php');
并且home.php,它会尝试在某个时候取消包含:
break; // I tried it doesn't work
echo "this will not be output
我不是在谈论一个exit停止一切的东西,甚至是根文件.我只想要退出当前文件.
我很难在emacs和sublime文本之间找到一个VS.
我发现的唯一区别是使用sublime文本更容易.我不关心容易性而是效率.我看过一堆emacs视频,它看起来非常高效,玩了一下但是并没有真正深入研究它,因为我发现很多人都在谈论崇高的文字.
我也在Windows上,emacs和ubuntu一样,还是有限？
我正在考虑使用它在c ++中编程.(我也看到人们使用emacs浏览/发布HN,他们是如何做到的？).
谢谢!
编辑:
由于这个主题已经关闭(不正确)并仍然带来问题,这里是我的答案:
看下面的代码：
type z = Z of z
type 'a s = Z | S of 'a
type _ t = Z : z t | S : 'n t -> 'n s t
最后一行包含一个通用变体，或者看起来像一个通用变体，但of它不使用关键字，而是使用冒号符号:。这是为什么？我该如何阅读这种类型？
查看类型声明的 OCaml 语法：https://ocaml.org/manual/types.html这是否真的是一个变体似乎并不明显，甚至看起来这是标签和变体的混合。
我想知道作为参数的函数之间是否有任何区别（在优化方面）：
fn thing(a: &Option<T>)
与以参数为参数的函数相比：
fn thing(a: Option<&T>)
你知道在 LaTeX 中影响行高（段落内行之间的距离）的方法吗？我找不到任何东西。
我希望行有比默认值更多的空间。
我正在用法语做一个类似Reddit的网站,并且要完全优化我正在获取结果,缓存它,然后通过jQuery查询每个链接,看看它们是否被downvoted/upvoted.
您如何看待优化查询？
为什么不起作用!这是我的代码.
HTML:
<div class="box ajax_div" title="3">
<div class="score">
<a href="#" class="upvote_position" title="post-up-3"><img src="images/up.png" /></a>
<div class="score_position">1</div>
<a href="#" class="downvote_position" title="post-down-3"><img src="images/down.png" /></a>
</div>
<div class="box_info">
<div class="link">
<a href="#" class="text-show"><a href="?show=3" rel="nofollow" class="out">ouioui</a>
</div>
<div class="further">
<span class="date" title="2012-04-25 04:57:05">il y a 13 heures</span> | posté par <a href="?user=david">david</a> dans <a href="?chan=100hp.fr">100hp.fr</a>
</div>
<div class="further_more">
<a href="?show=3"><img src="images/comment.png" />2 commentaires</a> <a href="#" class="save" title="3"><img src="images/save.png" />sauvegarder le lien</a> <a href="#" class="spam" title="3"><img src="images/report.png" />spam?</a>
</div>
</div>
<div class="textbox" …我在这里遇到了这段代码，但我不明白其语法：
module Proof = (val p)
我知道val可以在模块类型或签名中使用，但我还没有看到它以这种方式使用。
我用 GADT 编写了以下 peano 数字：
type z = Z of z
type 'a s = Z | S of 'a
type _ t = Z : z t | S : 'n t -> 'n s t
module T = struct
type nonrec 'a t = 'a t
end
type 'a nat = 'a t
type e = T : 'n nat -> e
以下函数可将 a 'a nat（或'a t）解码为其编码的数字：
let to_int : type n. n t -> …