相关疑难解决方法(0)

我正在尝试将数据从表单发送到数据库.这是我正在使用的表单:

<form name="foo" action="form.php" method="POST" id="foo">
    <label for="bar">A bar</label>
    <input id="bar" name="bar" type="text" value="" />
    <input type="submit" value="Send" />
</form>

典型的方法是提交表单,但这会导致浏览器重定向.使用jQuery和Ajax,是否可以捕获所有表单的数据并将其提交给PHP脚本(例如,form.php)？

如何使用Chrome桌面通知？我想在我自己的代码中使用它.

更新:这是一篇博客文章,通过示例解释webkit通知.

我正在经历一些简单的例子和​​如何在ANSI C man regex.h中使用正则表达式的最佳实践并没有提供那么多的帮助.

我看到几个消息来源反映了"Haskell逐渐成为一种依赖型语言"的观点.暗示似乎是随着越来越多的语言扩展,Haskell正朝着这个方向漂移,但还没有.

基本上我想知道两件事.首先,很简单,"作为一种依赖型语言"究竟意味着什么？(希望没有太过技术性.)

第二个问题是......有什么缺点？我的意思是,人们知道我们正朝着这个方向前进,所以必须有一些优势.然而,我们还没有,所以必须有一些下行阻止人们一路走下去.我的印象是问题是复杂性急剧增加.但是,并不是真正了解依赖打字是什么,我不确定.

我所知道的是,每次我开始阅读一种依赖类型的编程语言时,文本都是完全不可理解的......大概这就是问题所在.(？)

依赖类型通常被宣传为一种方法,使您能够断言程序是否符合规范.因此,例如,要求您编写一个对列表进行排序的代码- 您可以通过将"sort"的概念编码为类型并编写诸如的函数来证明代码是正确的List a -> SortedList a.但是,您如何证明规范SortedList是正确的？难道不是这样,您的规范越复杂,您对该规范作为类型的编码就越不可能吗？

Okasaki描述了可以使用该类型在Haskell中实现的持久实时队列

data Queue a = forall x . Queue
  { front :: [a]
  , rear :: [a]
  , schedule :: [x]
  }

增量旋转保持不变量

length schedule = length front - length rear

更多细节

如果您熟悉所涉及的队列,则可以跳过本节.

旋转功能看起来像

rotate :: [a] -> [a] -> [a] -> [a]
rotate [] (y : _) a = y : a
rotate (x : xs) (y : ys) a =
  x : rotate xs ys (y : a)

它由智能构造函数调用

exec :: [a] -> [a] -> [x] -> Queue …