小编Ram*_*nir的帖子

将Elixir字符串转换为整数或浮点数

我需要将字符串转换为浮点值或整数.没有方法,如,

string_to_integer
Run Code Online (Sandbox Code Playgroud)

elixir

81
推荐指数
7
解决办法
5万
查看次数

第一次安装应用程序时INSTALL_PARSE_FAILED_INCONSISTENT_CERTIFICATES

我正在尝试手动构建和签署应用程序,但INSTALL_PARSE_FAILED_INCONSISTENT_CERTIFICATES在安装到模拟器之前,我一直在成功安装之前.

为了以防万一,我试图卸载该应用程序(是的,我提供了正确的Java包名称),但它没有解决问题.

我还尝试重新启动模拟器并标记"擦除用户数据"复选框.

包名称包括我们的公司名称,因此它不能与内部包冲突.

我没有在互联网上找到任何其他解释错误,除了"你已经安装了相同的应用程序的另一个版本",所以我有点卡在这里.

谢谢!

android

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

你如何在F#中组成查询表达式?

我一直在查看查询表达式http://msdn.microsoft.com/en-us/library/vstudio/hh225374.aspx

而且我一直在想为什么以下是合法的

let testQuery = query {
        for number in netflix.Titles do
        where (number.Name.Contains("Test"))
    }
Run Code Online (Sandbox Code Playgroud)

但你真的不能做这样的事情

let christmasPredicate = fun (x:Catalog.ServiceTypes.Title) -> x.Name.Contains("Christmas")
let testQuery = query {
        for number in netflix.Titles do
        where christmasPredicate 
    }
Run Code Online (Sandbox Code Playgroud)

当然F#允许这样的可组合性,所以你可以重用一个谓词?如果我想在特定日期之前将圣诞节标题与另一个谓词结合起来怎么办?我必须复制并粘贴我的整个查询?C#与此完全不同,有几种方法可以构建和组合谓词

f# query-expressions computation-expression

21
推荐指数
2
解决办法
3346
查看次数

GADT与数据类型的Haskell模式匹配

我发现我真的很喜欢将GADT与Data Kinds结合起来,因为它比以前更能提供类型安全性(对于大多数用途,几乎与Coq,Agda等人一样好).遗憾的是,模式匹配在最简单的示例中失败了,我认为除了类型类之外我无法编写我的函数.

这是一个解释我的悲伤的例子:

data Nat = Z | S Nat deriving Eq

data Le :: Nat -> Nat -> * where
    Le_base :: Le a a
    Le_S :: Le a b -> Le a (S b)

class ReformOp n m where
    reform :: Le (S n) (S m) -> Le n m

instance ReformOp a a where
    reform Le_base = Le_base

instance ReformOp a b => ReformOp a (S b) where
    reform (Le_S p) = Le_S $ reform p

class …
Run Code Online (Sandbox Code Playgroud)

haskell pattern-matching gadt data-kinds

14
推荐指数
1
解决办法
962
查看次数

FParsec中的递归语法

我决定查看FParsec,并尝试为λ表达式编写解析器.事实证明,渴望使递归解析变得困难.我怎么解决这个问题?

码:

open FParsec

type ?Expr =
    | Variable of char
    | Application of ?Expr * ?Expr
    | Lambda of char * ?Expr

let rec FV = function
    | Variable v -> Set.singleton v
    | Application (f, x) -> FV f + FV x
    | Lambda (x, m) -> FV m - Set.singleton x

let ?0 = FV >> (=) Set.empty

let apply f p =
    parse
        { let! v = p
          return f v }

let ? e = …
Run Code Online (Sandbox Code Playgroud)

f# parsing parsec fparsec

11
推荐指数
1
解决办法
1502
查看次数

从BitmapSource复制到WritableBitmap

我试图将BitmapSource的一部分复制到WritableBitmap.

到目前为止这是我的代码:

var bmp = image.Source as BitmapSource;
var row = new WriteableBitmap(bmp.PixelWidth, bottom - top, bmp.DpiX, bmp.DpiY, bmp.Format, bmp.Palette);
row.Lock();
bmp.CopyPixels(new Int32Rect(top, 0, bmp.PixelWidth, bottom - top), row.BackBuffer, row.PixelHeight * row.BackBufferStride, row.BackBufferStride);
row.AddDirtyRect(new Int32Rect(0, 0, row.PixelWidth, row.PixelHeight));
row.Unlock();
Run Code Online (Sandbox Code Playgroud)

我得到"ArgumentException:值不在预期的范围内." 在线CopyPixels.

我试着换row.PixelHeight * row.BackBufferStriderow.PixelHeight * row.PixelWidth,但后来我得到一个错误说价值太低.

我找不到使用这个重载的单个代码示例CopyPixels,所以我正在寻求帮助.

谢谢!

c# wpf bitmapsource writablebitmap

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

F#中灵活类型注释的目的是什么?

我正在学习F#,我不明白灵活类型的目的,或者更好,我无法理解写这个的区别:

set TextOfControl (c : Control) s = c.Text <- s
Run Code Online (Sandbox Code Playgroud)

写这个:

set TextOfControl (c : 'T when 'T :> Control) s = c.Text <- s
Run Code Online (Sandbox Code Playgroud)

这里ControlSystem.Windows.Forms.Control一流的.

.net f# functional-programming f#-3.0

9
推荐指数
2
解决办法
868
查看次数

为什么Rust借用检查器拒绝此代码?

我从借用检查器得到一个Rust编译错误,我不明白为什么.可能有些关于我不完全理解的生命.

我把它归结为一个简短的代码示例.主要是,我想这样做:

fn main() {
    let codeToScan = "40 + 2";
    let mut scanner = Scanner::new(codeToScan);
    let first_token = scanner.consume_till(|c| { ! c.is_digit ()});
    println!("first token is: {}", first_token);
    // scanner.consume_till(|c| { c.is_whitespace ()}); // WHY DOES THIS LINE FAIL?
}
Run Code Online (Sandbox Code Playgroud)

试图scanner.consume_till第二次打电话给我这个错误:

example.rs:64:5: 64:12 error: cannot borrow `scanner` as mutable more than once at a time
example.rs:64     scanner.consume_till(|c| { c.is_whitespace ()}); // WHY DOES THIS LINE FAIL?
                  ^~~~~~~
example.rs:62:23: 62:30 note: previous borrow of `scanner` occurs here; the …
Run Code Online (Sandbox Code Playgroud)

rust

8
推荐指数
2
解决办法
2012
查看次数

选择具有多个IP时的HTTP请求使用的IP(.NET)

我正在编写一个.NET程序,它将在具有多个IP地址的计算机上运行.该程序向给定的Web地址发出HTTP请求.我想选择我使用的IP地址(因此我可以确定哪个IP地址将出现在另一台服务器的日志中).

建议?

.net c# vb.net ip

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

为什么在F#中使用Seq.take抛出System.OutOfMemoryException

我有一个代码:

seq {for i in [1 .. 100000000] -> i} |> Seq.take 100000;;
Real: 00:00:00.000, CPU: 00:00:00.000, GC gen0: 0, gen1: 0, gen2: 0
val it : seq<int> =
  Error: Exception of type 'System.OutOfMemoryException' was thrown.
Run Code Online (Sandbox Code Playgroud)

此代码导致内存不足.为什么?为什么在计算时间后(操作完成后)会抛出异常?AFAIK,个别序列元素仅在需要时计算?

f# memory-management sequence

6
推荐指数
2
解决办法
214
查看次数