问题列表 - 第42181页

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
查看次数

asInstanceOf [X]和toX之间的值类型有何不同?

我使用IntelliJ的能力将Java代码转换为Scala代码,这些代码通常运行良好.

似乎IntelliJ通过调用取代了所有演员阵容asInstanceOf.

是否有任何有效的使用asInstanceOf[Int],asInstanceOf[Long]等等.对于不能被替换值类型toInt,toLong...?

java language-features casting scala

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

如何扩展微调器以实现新功能?

我正在尝试Spinner在我的代码中扩展Android类来实现一个新函数,但由于某种原因,这不起作用.

这是扩展类:

import android.content.Context;
import android.widget.AdapterView;
import android.widget.Spinner;

public class CustomSpinner extends Spinner {

    public CustomSpinner(Context context) {
        super(context);
    }

    public void setSelectionByItemId(AdapterView<?> parent, long id){
        for (int i = 0; i < parent.getCount(); i++) {              
            long itemIdAtPosition = parent.getItemIdAtPosition(i);
            if (itemIdAtPosition == id) {
                parent.setSelection(i);
                break;
            }
        }
    }
}
Run Code Online (Sandbox Code Playgroud)

这就是我实例化这个类的方式:

CustomSpinner spinner = (CustomSpinner) findViewById(R.id.sphofentries);
Run Code Online (Sandbox Code Playgroud)

这在运行时给我一个错误.

所有这些都是R.id.sphofentries在我的布局中声明为微调器.

但是现在,如果我声明sphofentries为一个CustomSpinner运行时错误,就在我将布局设置为活动时:

setContentView(R.layout.settings);
Run Code Online (Sandbox Code Playgroud)

另外我很确定问题是我需要声明sphofentriesCustomSpinner因为如果我这样做:

CustomSpinner spinner = new CustomSpinner(this);
spinner …
Run Code Online (Sandbox Code Playgroud)

android android-spinner

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

在Python中将字母转换为数字

如何完成以下操作?

characters = ['a''b''c''d''e''f''g''h''i''j''k''l''m''n''o''p''q''r''t''u''v''w''x''y''z']
numbers = ['1''2''3''4''5''6''7''8''9''10''11''12''13''14''15''16''17''18''19''20''21''22''23''24']
text = raw_input(' Write text: ')
Run Code Online (Sandbox Code Playgroud)

我试图以很多方式解决它,但无法达到品脱.我想做一些.如果我输入"hello",输出的数字就像字母一样.示例a = 1 <字母表中.

python

50
推荐指数
7
解决办法
21万
查看次数

如何从NSArray中选择一个对象?

首先祝大家圣诞快乐!!! 目前我有一个NSArray已经解析了其中的内容.当我对数组执行NSLog时,它会打印出20个对象,其中包含我需要的已解析内容.像这样:

2010-12-24 20:27:32.170 TestProject[48914:298] SomeContent
2010-12-24 20:27:32.172 TestProject[48914:298] SomeContent1
2010-12-24 20:27:32.172 TestProject[48914:298] SomeContent2
2010-12-24 20:27:32.173 TestProject[48914:298] SomeContent3
2010-12-24 20:27:32.173 TestProject[48914:298] SomeContent4
2010-12-24 20:27:32.173 TestProject[48914:298] SomeContent5
2010-12-24 20:27:32.174 TestProject[48914:298] SomeContent6
2010-12-24 20:27:32.175 TestProject[48914:298] SomeContent7
2010-12-24 20:27:32.176 TestProject[48914:298] SomeContent8
2010-12-24 20:27:32.176 TestProject[48914:298] SomeContent9
2010-12-24 20:27:32.177 TestProject[48914:298] SomeContent10
2010-12-24 20:27:32.177 TestProject[48914:298] SomeContent11
2010-12-24 20:27:32.177 TestProject[48914:298] SomeContent12
2010-12-24 20:27:32.179 TestProject[48914:298] SomeContent13
2010-12-24 20:27:32.179 TestProject[48914:298] SomeContent14
2010-12-24 20:27:32.180 TestProject[48914:298] SomeContent15
2010-12-24 20:27:32.180 TestProject[48914:298] SomeContent16
2010-12-24 20:27:32.181 TestProject[48914:298] SomeContent17
2010-12-24 20:27:32.181 TestProject[48914:298] SomeContent18
2010-12-24 20:27:32.190 …
Run Code Online (Sandbox Code Playgroud)

c arrays iphone objective-c

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

我应该使用输入的onclick或表单的onsubmit事件来使用JavaScript验证表单字段吗?

我有一个简单的表单,其中包含我尝试使用JavaScript验证的字段.在表单中我有一个输入类型的提交.

为了验证,我应该在表单的输入或提交上调用onclick事件的验证函数吗?选择一个比另一个有任何影响吗?

javascript forms

6
推荐指数
1
解决办法
2513
查看次数

在JSF 2.0页面中开始使用SVG图形对象

我想要做的是创建具有交互式SVG内容的网页.我使用Batik作为Java桌面应用程序来渲染我的SVG并收集像mouseclick这样的UI事件.现在我想以相同的方式在我的JSF(Primefaces)Web应用程序中使用这些SVG图形文件.

试着开始,我发现这不起作用:

<h:graphicImage id ="gloob"value ="images/sprinkverks.svg"alt ="Graphic Goes Here"/>

我不介意做一些阅读以起到学习曲线.一些谷歌搜索没有发现任何有用的东西,这有点令人惊讶.

我所做的建议我必须使用f:verbatim标签执行此操作,就像我手动编写HTML一样.然后我必须添加一些脚本来捕获SVG事件并将它们反馈回AJAX代码.如果我必须尽我所能,但我希望有一种更容易和自动化的方式.

所以问题是:

  1. 如何让图像首先渲染?
  2. 如何将DOM事件从页面的SVG部分返回到支持bean?

非常感谢任何指针.

html jsf svg jsf-2

6
推荐指数
1
解决办法
7306
查看次数

如何使用.NET Timer类在特定时间触发事件?

我想在我的应用程序中触发一个事件,该事件在某一时间持续运行,比如说在下午4点.我想过每秒运行一次计时器,当时间等于下午4点时,运行该事件.这样可行.但我想知道是否有一种方法可以在下午4:00获得回调,而不必继续检查.

.net c# timer

42
推荐指数
4
解决办法
6万
查看次数

任何免费的C#库用于视频录制(屏幕)周围?

我正在寻找免费的C#(.net)库,它允许我录制计算机屏幕的视频(加上声音)(基本上,可以做camtasia的工作).

周围有什么好用的吗?

谢谢

.net c# video-capture video-recording

6
推荐指数
1
解决办法
2588
查看次数

在录音过程中处理警报中断

我正在开发一个录音应用程序,其中可能会通过电话,短信和/或系统警报中断.至于电话,我意识到录音必须停止并成功完成.我的挑战似乎与其他警报有关,例如电池电量不足,警报,短信等.目前,我已设法在警报中断弹出时暂停并保存录音,但我正在寻找更有效的选项.

在ad-hoc分发模式的大多数真实场景中,我注意到我的用户在录制他们的声音时甚至不监视iPhone或iPod屏幕.此外,如果我们在iPod Touch上测试这个应用程序,那么警报的声音非常微弱,他们会错过警报并继续录制,只有在几分钟后或者在会话结束时才能实现录制被打断了

这是我的问题:

  1. 如果出现任何系统警报或短信警报,是否可以在后台继续录制语音?
  2. 如果没有,是否有可能让应用程序在后台播放特定声音,直到用户意识到出现问题,查看屏幕,如果他们忽略系统警报,那么它将使应用程序进入到应用程序现在已经获得焦点,然后停止音频警报,然后可以选择从他们中断的位置继续录制.

任何帮助将不胜感激.处理这种情况的任何其他想法都是最受欢迎的.

iphone sdk alerts recording

5
推荐指数
1
解决办法
1090
查看次数