小编drd*_*zer的帖子

scala组合子演算数据模型的类型推断

我正在尝试在scala中使用非常轻量级的组合子演算编码.最初,我只是实现S和K组合器,应用程序和常量值.后来我希望提升scala函数并允许将表达式作为scala函数进行求值.但是,这是为了以后.这是我到目前为止所拥有的.

/** Combinator expression */
sealed abstract class CE

/** Application: CE| (x y) <=> LC| (x:(A=>B) y:A) : B */
case class Ap[A <: CE, B <: CE, X](e1: A, e2: B) extends CE

/** A raw value with type */
case class Value[T](v: T) extends CE

/** Some combinator */
sealed abstract class Comb extends CE

/** The S combinator: CE| S x y z
 *                    LC| ?x:(A=>B=>C).?y:(A=>B).?z:A.(x z (y z)) : C
 *  S : ?A.?B.?C. (A …
Run Code Online (Sandbox Code Playgroud)

scala type-inference implicit combinatory-logic

9
推荐指数
1
解决办法
498
查看次数

在输入类型=文件上捕获取消事件

我有一个html5应用程序,它使用一个元素来使用文件API.我可以在用户选择文件时做出响应.如果用户取消文件选择,我希望能够做一些事情.但是,如果用户单击文件选择器对话框中的取消而不是确定按钮,则无法在输入元素上发现任何事件.

是否有一些事件被"取消"解雇,我错过了,或者我应该重新设计我的应用程序而不需要这个?

html5

7
推荐指数
1
解决办法
9339
查看次数