value-restriction

    1熱度

    1回答

    F中的值限制＃

    我有一個F＃賦值，我試圖計算矩陣的轉置。足夠簡單，但我不斷收到價值限制錯誤，我不明白爲什麼。我諮詢了很多VR錯誤問題，但我仍然處於黑暗中。這裏是我的代碼： let transpose = function | [xs ; ys] -> let rec transpose_helper = function | [],[] -> [] |
    f# value-restriction 2013-02-11

    6熱度

    3回答

    保留部分應用功能通用

    是否可以部分應用bprintf等功能，並根據其初始用途防止其受到限制？ 我想做到以下幾點： let builder = new System.Text.StringBuilder() let append = Printf.bprintf builder append "%i" 10 append "%s" string_value
    generics f# value-restriction 2010-10-28

    0熱度

    2回答

    是否有可能編寫弱多態函數而不涉及引用或部分應用程序？

    let remember = let cache = ref None in (fun x -> match !cache with | Some y -> y | None -> cache := Some x; x) 是弱多態性，但涉及ref。 任何編寫弱多態性函數的方法沒有涉及ref或partial application？
    ocaml value-restriction 2014-10-11

    2熱度

    2回答

    另一個值限制問題

    在下面的代碼中Seq.generateUnique被限制爲((Assembly -> seq<Assembly>) -> seq<Assembly> -> seq<Assembly>)類型。 open System open System.Collections.Generic open System.Reflection module Seq = let generateUni
    f# type-inference value-restriction 2011-07-07

    0熱度

    2回答

    定義沒有規定參數

    平方和我要定義sumOfSquares不使用參數顯式，而不是依賴於功能性成分 這裏的下面 let sumOfSquares = Seq.map (fun n -> n * n) >> Seq.sum 但是我的代碼，我得到了以下錯誤 stdin（80,5）：錯誤FS0030：值限制。值「sumOfSquares」 已經被推斷爲有泛型類型 val sumOfSquares : ('_a -> in
    f# value-restriction 2014-03-28

    5熱度

    1回答

    F＃值限制

    我已閱讀了所有有關F＃中的值限制的內容，但我仍不明白。我有以下代碼： type tree<'a> = | Nil | Node of (tree<'a> * 'a * tree<'a>) let rec flatten = function | Nil -> [] | Node (Nil, b, Nil) -> [b] | Node (l, h
    f# value-restriction 2010-11-01

    1熱度

    1回答

    MergeSort函數爲什麼會發生數值限制？

    我在List上有一個非常簡單的MergeSort實現。 /// Divide the list into (almost) equal halves let rec split = function | [] -> [], [] | [x] -> [x], [] | x1::x2::xs -> let xs1, xs2 = split xs x1:
    f# mergesort value-restriction 2012-10-01

    7熱度

    2回答

    OCaml元組中的意外類型不匹配

    我試圖編寫一個函數，它需要一個整數和一個三元組，並返回給定位置的三元組元素（練習5.3從Hickey的書中）。 Triplet應該能夠包含不同類型的元素。我認爲，如果我編寫3個小函數，每個函數都返回三元組中的特定元素，並使我的大函數相應地返回其中的一個，那麼它會執行這個技巧，但它不起作用。 我試圖擺弄這個「eta擴展」的概念，但我沒有得到它。 let nth1 (a, _, _) = a let
    types ocaml value-restriction 2012-10-02

    2熱度

    2回答

    爲什麼'id id`不是OCaml中的值？

    我仍在嘗試瞭解OCaml中的值限制，並通過Wright's paper進行了解讀。並且在其中，(fun x -> x) (fun y -> y)不是一個語法值，它也表示lambda表達式應該是一個值。我在這裏有點困惑，是不是id id其本質上也是lambda表達式？在OCaml中真正算作語法值的是什麼？ 我也試圖在utop，發現這些： utop # let x = let x = (fun y -
    lambda functional-programming ocaml lambda-calculus value-restriction 2017-02-10

    4熱度

    1回答

    序號<obj>的F＃值限制，但不是列表<obj>？

    值限制錯誤： let myFn (s : string) (args : obj seq) =() let myOtherFn = myFn "" 無值限制錯誤： let myFn (s : string) (args : obj list) =() let myOtherFn = myFn "" 爲什麼？
    f# type-inference value-restriction 2016-01-11
最新問題