corecursion

0热度

5回答

的操作我有点卡住：我试图执行一个if语句比较，原本具有.ToString("C"); 和十进制创建一个货币字符串label.text。我试图将标签转换为十进制，因为我打算将它与小数比较，但它会一直引发异常：输入字符串格式不正确。这里是我当前的代码： if(Convert.ToDecimal(SomeLabel.Text) > 1000.00m) { //DO SOMETHING } //So

0热度

2回答

简单的形状从visio中的链接数据

我将我的visio专业2010图连接到一个带有一些属性的项目列表的Excel表。我想显示项目名称和其中的一些属性很好的矩形。当我将数据项链接到一个普通的矩形时，会出现数据，但我无法正确格式化和配置它（例如，框中的字体，颜色和位置）。我发现一般说明如何链接数据和周围的ShapeSheet非常复杂的文档（其复杂性是压倒一个Visio新手一个机器人）我如何 - 以简单的方式 - 创建链接数据的箱

0热度

1回答

使用Maven的Netbeans - 添加依赖库

我目前正在尝试构建一个具有多个依赖关系的Java项目。我已经将它创建为Maven Web应用程序，并添加了所有必需的依赖关系。但是，进口并没有得到解决。在下面的链接中，我附上了我的Netbeans屏幕截图，其中右侧面板中显示导入错误。在左侧面板中，我突出显示了我添加的库。谁能告诉我为什么会发生这种情况？任何帮助将非常感激。谢谢:) http://img20.imageshack.us/img20

1热度

1回答

Python：在运行时创建生成器

我知道python类和函数可以分别在运行时使用类型和lambda来创建，但是可以在运行时创建生成器吗？例子：关键字，条件，动作，产生 lambda x,a: a<x,a++,a

2热度

1回答

共同感应，类型不匹配

我一直在尝试共同诱导类型，并决定定义自然数和向量的共同诱导版本（与他们的大小类型列表）。我确定他们和无限多的像这样： CoInductive conat : Set := | cozero : conat | cosuc : conat -> conat. CoInductive covec (A : Set) : conat -> Set := | conil : covec A co

2热度

1回答

Observable.Generate in RxJava？

.NET Reactive Extensions有一个简洁的方法来使用称为Observable.Generate的corecursion生成序列。 RxJava中是否有类似的方法可以通过corecursion生成数据？如果没有，是否可以基于现有方法实施？

0热度

1回答

将图片上传到Firebase时发生NullPointerException

我正在开发使用Firebase技术的基本Android聊天应用程序。关于将图片上传到Firebase数据库有一个问题。我点击ImageButton从我的画廊中选择一个图像。当我选择图片时，我的图片无法上传到Firebase数据库。相反，我的应用程序崩溃， private static final int RC_PHOTO_PICKER = 1; ImageButton imageBtn;

6热度

1回答

展开非空结构列表

我想写Foldable.toList一个非空的玫瑰树使用anamorphism，但似乎无法提取的最后一个元素： import Data.Functor.Foldable data RoseTree a = RoseNode a [RoseTree a] ana5 :: RoseTree a -> [a] ana5 = ana coalg5 coalg5 :: RoseTree a -

2热度

1回答

枚举描述

我有如下列举的特性的模型： namespace ProjectManager.Models { public class Contract { ..... public enum ContractStatus { [System.ComponentModel.Description("جديد")] New,