簡単な最小限の例を作成する目的で、ラムダの例として=:=を使用しました。 =:=タイプは2つの引数を取るので、タイプレベルで1つカレーしたいと思います。 私はナイーブな実装type Curry[G] = {type l[L] = L =:= G}を取ることが、実用的には、それはエラーが発生し使用しています。 type X = Int
type Y = Int
type CurryInt[T]
私はIdrisの学習を始めようとしています。私はIdrisでタイプドリブン開発を使って作業しています。 2番目の章の演習の1つは、文字列を与えられた文字列の単語の平均長さを決定する関数を書くことです。私のソリューションは、以下の通りであった： average : String -> Double
average phrase =
let werds = words phrase
私はF＃の初心者です。 私はほとんど同じ（座標とベクトル）の2種類があります。このタイプの推論のために、適切に動作することができず、それぞれの関数に正しい型を指定するのに苦労します。 それは何とかそれはここでベクトルですundestand： type Coordinate = {X:int; Y:int}
type Vector = {X:int; Y:int}
let calculateV
1）モジュール module Int_Sig_1 =
struct
let x = 1
end
;;
2があると）、このモジュールの明示的な署名 module type INT_SIG =
sig
val x:int
end
;;
3）iは基づいて、第1のクラスのモジュールを作成します上記のモジュールとモジュールのタイプについて let int_sig_1 = (modul
Salesforce Trailheadコードモジュールを使って作業することは、時間を遡って（最近数年間C＃とJavaScriptで作業していた）感じています。このようなループ？ List<Account> accs = [SELECT Id, Name FROM Account WHERE Name = 'Siebel'];
for(Account a : accs){
a.Nam
ここで問題ありません： module Seq =
let private rnd = Random Environment.TickCount
let random =
fun (items : 'T seq) ->
let count = Seq.length items
items |> Seq.nth (rnd.Next coun