Fable: Fable2の開発を支援する

@alfonsogarciacaroSetモジュールとMapモジュールをfable-coreタスクで使用すると思います。 ここからインスピレーションを得ることができるように、ガイダンスを教えてください。または、部分的に移植されたSet教えてください:)？

ただ、リマインダー、私たちからインスピレーションを盗んだことを多くのレポ取引があり、

1. Visualfsharpの公式コアライブラリであるマップの実装は、FunScriptの実装と非常によく似ています。
   https://github.com/Microsoft/visualfsharp/blob/master/src/fsharp/FSharp.Core/map.fs
2. OCaml / BucleScriptの場合、F＃とOCamlのコア構文の間に多くの違いはありません。F＃に簡単に移植できると思います。
   https://github.com/BuckleScript/bucklescript/blob/master/jscomp/stdlib/map.ml

ありがとう、@ zaaack。 はい、FunScriptファイルは元々FSharp.Coreから取得されました。 古くなっているかどうかはわかりませんが、すでに機能しているため（ Map.tsも元々は翻訳されていたため）、私はそれを好む傾向があります。 JSでの必要性。 Bucklescriptについては、モジュールがOCamlの値であるという事実が問題になる可能性があるかどうかはわかりません。また、F＃のMapはいくつかのインターフェイスに準拠する必要があります。最も時間がかかったのは、カスタム比較を使用した型をキーとして適切に機能させることです。 OCamlでも多少違うと思います。

ところで、Bigintは確かにFSharp.Coreから取得されていますが、後のリリースで移植すると思います。

@zaaackに感謝します。ポートで作業するときは、そのことを念頭に置いておきます。

こんにちはアルフォンソ私はexpectoテストの部分を手伝いたいです

それは素晴らしい@EdouardMです、ありがとう！ 変換の大部分を自動的に行うスクリプトを作成できれば素晴らしいと思います。 必要に応じて、短い画面共有セッションを行って、何をする必要があるかを示すことができます:)

確かに、軌道に乗るには短いキックオフが必要です。

今夜、パリのマドリッド時間の午後6時30分からご利用いただけますか。
または日曜日に？

よろしければ、スカイプ通話の招待状を送ってください。

ありがとう
エドゥアール

Leven。 23の火星2018年11時43分à、アルフォンソ・ガルシア・カロ[email protected]
エクリット：

それは素晴らしい@EdouardMhttps ：//github.com/edouardm 、ありがとう！ それは
変換を最大限に活用するためのスクリプトを書くことができれば素晴らしいです
自動的。 必要に応じて、短い画面共有セッションを行うことができます
何をする必要があるかを示してください:)

—
あなたが言及されたのであなたはこれを受け取っています。
このメールに直接返信し、GitHubで表示してください
https://github.com/fable-compiler/Fable/issues/1370#issuecomment-375619541 、
またはスレッドをミュートします
https://github.com/notifications/unsubscribe-auth/AG_t3dil59Mz38u4cCN9f0JEZMyK7OLRks5thNHPgaJpZM4S03ig
。

私のメールアドレスはedouardです。 [email protected]

Leven。 23の火星2018年11時43分à、アルフォンソ・ガルシア・カロ[email protected]
エクリット：

それは素晴らしい@EdouardMhttps ：//github.com/edouardm 、ありがとう！ それは
変換を最大限に活用するためのスクリプトを書くことができれば素晴らしいです
自動的。 必要に応じて、短い画面共有セッションを行うことができます
何をする必要があるかを示してください:)

—
あなたが言及されたのであなたはこれを受け取っています。
このメールに直接返信し、GitHubで表示してください
https://github.com/fable-compiler/Fable/issues/1370#issuecomment-375619541 、
またはスレッドをミュートします
https://github.com/notifications/unsubscribe-auth/AG_t3dil59Mz38u4cCN9f0JEZMyK7OLRks5thNHPgaJpZM4S03ig
。

最初のアルファリリースに含まれないもの：bigint、reflection、plugins。

ただ好奇心が強いですが、アルファの後にこれらのものを含めるためのロードマップ/計画はありますか？

@jgrund特定のロードマップはありませんが、bigintは簡単に追加でき（FSharp.Coreからコードを移植するだけ）、リフレクションも安定リリースの準備ができている必要があります。 プラグインについては、プラグインの使用状況に関する情報を収集し、プラグインをどのように導入するか、またはプラグインが必要かどうかをまとめて決定したいと思います。

これをありがとう！ Git-Bashで機能させるには、 quicktest.shに小さな変更を加える必要がありました。
https://github.com/fable-compiler/Fable/blob/07ddd104cbeb6ad7adf98b6600ac3fe4d1fcfd70/src/tools/quicktest.sh#L30 -L33
32行目を次のように変更しました。
./quickfsbuild.sh --no-build
そこにあるbash （とにかく必要ではないと思いますか？）が原因で、WSLが代わりに起動しようとしたため、私は設定していません。

こんにちは@EdouardM！ これは、テストの更新についてfsharpXで話し合ったことです。

• Expecto APIの使用（実際にはJSのmochaに変換されます）
• 正規表現let ``(.*)``.*=と置換testCase "$1" <| fun () ->を使用して、テストの署名を変更します
• 属性[<Test>] 、 [<TestFixture>]削除します
• ファイルをMain.fsprojとtests / Main / Main.fsのallTestsに追加します
• テストの途中で非同期と機能に特別な注意が必要です。これについては後で説明します。

@alfonsogarciacaro私はdev2.0ブランチのソースコードを読んでいて、他の2つが両方とも取られているので、残りのReplacement.fsで作業するための「クレイジーなもの」になろうとしています😄。 古いReplacement.fsからparse関数を移植するときに、いくつかの問題が発生しました。 parse関数は、FableのFable.ApplyInfoに存在するreturnType依存します。 1.0ですが、 CallInfoで見つかりません。これを処理する方法がわかりません。助けていただけませんか？

これが私のコミットです：
https://github.com/fable-compiler/Fable/compare/dev2.0...zaaack：dev2.0？expand = 1＃diff-a34e57b30a53951ff9b99ce4076feaa4R1390

それは素晴らしい@zaaackでしょう、どうもありがとう。 はい、申し訳ありませんが、置換の関数のシグネチャを少し変更して、他のモジュールの関数のように見せます。最初の3つの引数は通常、次のようになります（コンテキストは2番目に続く場合もあります）。

let myFableHelper (com: ICompiler) (range: SourceLocation option) (typ: Type) ... =

そのため、戻り値の型（および範囲）をCallInfoから関数の最初の引数に移動しました。 let parse com r t info thisArg args =ようなものを使用できます（はい、私は通常tだけを使用しますが、あまり意味がないことに同意します）。

私はReplacementsモジュールでも働いています。 他の関数を完了している間、コレクション（Seq、List、Array）に取り組むことができますが、どう思いますか？

最近、オプションのパラメーターで静的メンバーを使用するために、 Helper静的タイプを追加しました。 InstanceCall 、 CoreCall ...ヘルパーがどのように使用されているかを確認するには、既存のコードをご覧ください。 その他の注意事項：

• 後の段階で行われる不確実な最適化のために、引数の型を正しく渡すことが重要です（特に関数がある場合）。 引数が変更されていない場合は、 CallInfoから直接渡します。 そうである場合は、arg型を再計算する必要があります。
• ThisArgはオプションです。 存在する場合は、そもそも合格します。 Fable 2では、型インスタンスメンバーは実際には静的関数としてコンパイルされるため、 thisが引数として渡されます。 ArgTypesはThisArgは含まれません。
• ただし、 InstanceCall種類が指定されている場合、 ThisArg式は実際のインスタンス呼び出しとしてコンパイルされます： thisArg.member(arg1, arg2...) 。

今のところこれで十分です:)質問があれば私に確認してください。また、助けてくれてありがとう！

迅速で詳細な返信をありがとうございます。明日試してみます。

私はReplacementsモジュールでも働いています。 他の関数を完了している間、コレクション（Seq、List、Array）に取り組むことができますが、どう思いますか？

素晴らしいです。ほとんどの場合、平日は2時間、週末は1日を過ごすことができると思います。

ちなみに、誰かがテストファイルを移植している場合は、 SetTests.fsとMapTests.fsを移植する必要はありません。モジュールの統合をテストするために行います。

また、VSCodeを使用する場合は、複数選択を使用して、ファイル内ですべての作業を一度に実行できます。 スクリプトを書くことは、ここで少しエンジニアリングしすぎているようです:)。

Maximeに感謝します。テストファイルの変換を処理します。
エドゥアール

2018年4月18日15:16、「MaximeMangel」 [email protected]は次のように書いています。

情報のために、誰かがテストファイルを移植している場合は移植する必要はありません
SetTests.fsとMapTests.fsモジュールの統合をテストするために行います。

また、VSCodeを使用する場合は、複数選択を使用してすべての作業を行うことができます
ファイル内で一度に。 スクリプトを書くことは、エンジニアリングを少しやり過ぎているようです
ここ ：）。

[画像：2018-04-18 15 14 27]
https://user-images.githubusercontent.com/4760796/38934173-59a5fc84-431b-11e8-81be-13f624e72817.gif

—
あなたが言及されたのであなたはこれを受け取っています。
このメールに直接返信し、GitHubで表示してください
https://github.com/fable-compiler/Fable/issues/1370#issuecomment-382382463 、
またはスレッドをミュートします
https://github.com/notifications/unsubscribe-auth/AG_t3YjH5jvU1CXc-27gpz4-tGQNC7AHks5tpzyegaJpZM4S03ig
。

こんにちは！ src / js / fable-core / List.fsに次のメソッドを実装する必要があります（JSで配布されますが、F＃ファイルであることに注意してください）。

• [x]切り捨て
• [x]連結
• [] findBack
• [] findIndexBack
• [] tryFindBack
• [] tryFindIndexBack
• [x]インデックス付き
• [] mapFold
• [] mapFoldBack
• [x] tryItem
• [x]展開
• [x] splitAt

これらは実装されていますが、テストは合格していません。

• [x] foldBack2
• [x]パーティション

Fableは追加の引数としてIEqualityComparerを挿入する必要があるため、これらは少し特殊です。 私は自分でそれを行うことができますが、あなたが十分に勇敢であるならば、あなたは例としてsortを取ることができます：

• [x]明確
• [x] distinctBy
• [] groupBy
• [] countBy
• []が含まれています
• [ ] それ外

失敗したテストをQuickTest.fsファイルに入れたので、Fable + fable-coreを再コンパイルして、次のように入力するだけでテストを実行できるはずです。

cd src/tools
sh quicktest.sh --build-core

ボランティアはいますか？ ;）@ valery-vitko @zaaack

今週末に何ができるか見ていきます。

残念ながら、私は今後数週間は満員です。 （そしてほとんどの場合、プログラミングに関連しないものがあります😢）。 みんな、私なしで楽しんでください。

＃1405のpartitionとfoldBack2を修正しました。
truncateとindexedを実行して、他のいくつかの簡単な機能を実行してみます。

unfold 、 tryItem 、 splitAt 、 concat実装しました。

やあ！ 上記のリストにはまだいくつかの欠落しているメソッド

@alfonsogarciacaro全部取られたと思ってすみません、残りは取ります。

PR： https ：

メソッドとインターフェースを扱う新しい方法を検討する質問。 以下はどのように処理されますか？

type Base () =
  abstract M: unit -> string
  default __.M () = "base"

type A () =
  inherit Base ()
  member __.M () = "a" // NOTE: Not override, hides parent M

type B () =
  inherit Base ()
  override __.M () = "b"

let a = A ()
let b = B ()

printfn "%s" <| (a :> Base).M ()
printfn "%s" <| (b :> Base).M ()

Fable 2は、モジュール関数として独自のメンバーを実装し、コンパイル時に参照を解決します。 ただし、仮想メソッドはJSプロトタイプにアタッチされているため、オブジェクトをアップキャストした後でも呼び出すことができます。 したがって、このわずかに拡張されたバージョンのコード（オブジェクトが親メンバーを呼び出す方法を示すため）：

type Base () =
  abstract M: unit -> string
  default __.M () = "base"

type A () =
  inherit Base ()
  member __.M () = base.M() + " + a" // NOTE: Not override, hides parent M

type B () = 
  inherit Base ()
  override __.M () = base.M() + " + b"

let a = A ()
let b = B ()

printfn "A:        %s" <| a.M ()
printfn "A upcast: %s" <| (a :> Base).M ()
printfn "B:        %s" <| b.M ()
printfn "B upcast: %s" <| (b :> Base).M ()

最新のdotnet-fable2.0.0-alphaでコンパイルすると、次のようになります。

function Base() {}

function Base$$$$002Ector() {
  return this != null ? Base.call(this) : new Base();
}

Base.prototype.M = function () {
  return "base";
};

function A() {
  Base$$$$002Ector.call(this, null);
}

(0, _Types.inherits)(A, Base);

function A$$$$002Ector() {
  return this != null ? A.call(this) : new A();
}

function A$$M(__$$1) {
  return Base.prototype.M.call(this) + " + a";
}

function B() {
  Base$$$$002Ector.call(this, null);
}

(0, _Types.inherits)(B, Base);

function B$$$$002Ector() {
  return this != null ? B.call(this) : new B();
}

B.prototype.M = function () {
  return Base.prototype.M.call(this) + " + b";
};

const a = exports.a = A$$$$002Ector();
const b = exports.b = B$$$$002Ector();
(0, _String.toConsole)((0, _String.printf)("A:        %s"))(A$$M(a));
(0, _String.toConsole)((0, _String.printf)("A upcast: %s"))(a.M());
(0, _String.toConsole)((0, _String.printf)("B:        %s"))(b.M());
(0, _String.toConsole)((0, _String.printf)("B upcast: %s"))(b.M());

そしてプリント：

A:        base + a
A upcast: base
B:        base + b
B upcast: base + b

@alfonsogarciacaroメソッド->モジュール変換を完全に無効にして、クリーンなFable 1の結果を取得する方法はありますか？

@vbfoxいいえ、ごめんなさい。 これは、Fable 2の動作に大きな影響を与えますが、残念ながら、さまざまな出力を生成するためのコンパイラフラグを維持するためのリソースがありません：/

私はリソースの問題を完全に理解していますが、少なくともどこでもクラスを使用する場合、寓話とJSの世界の間の互換性の多くを壊すので悲しいです：

• JS消費用の寓話を含むnpmパッケージの作成
• 複数の言語を使用して寓話で生成されたクラス（typescript）にアクセスするか、非常に奇妙なバインディングが必要です...

（外部ライブラリがメソッド検出を実行している場合も、インターフェイスの作成が必要になりますが、ほとんどの場合、これは良い習慣です）

また、少なくともクラスでは誇りに思うことができるJSから離れています-私たちがそれほど気にしなくても;）

はい、生成されたコードはFable 2ではやや「美しくない」でしょう。しかし、この事実を補うことを願っている他の利点（より良いツリーシェイク、静的ディスパッチ）があります。 JSで使用するためにFableでライブラリを作成することについては、実際の例は見たことがありませんが、それでも可能です。 そして、.fsファイルをインポートしようとすると常にコンパイルされるため、FableプロジェクトでのTypescriptの使用をあきらめました;）

JSと相互運用する方法は、インターフェースである必要があります。 Fableは、インターフェイスの名前がマングルされていないオブジェクトラッパーを生成するようになったため、それらを使用してJSまたは他の言語に型を送信できます。

@alfonsogarciacaro Fableで作成したJSで使用するためのライブラリを作成したかったのですが、それは非常に大きな苦痛であり、あきらめました。 これが、私が現在よりもはるかに多くFableを使用していない最大の理由です。 私はそれがアプリを構築するためにのみ機能すると結論付けました（ウェブかどうかにかかわらず）。

@Alxandrの確認ありがとうございます。 したがって、Fable 1ではすでに苦痛でした。つまり、Fable2はそれを悪化させることはできません;）

@alfonsogarciacaroは本当のようなものです。 そして、私は静力学への移行が重要になるとは思いません（インターフェースオブジェクトはかなり良い解決策だからです）。 しかし、その一部はfable 2で解決される可能性があるため、なぜそれが非常に苦痛であるかについて話す必要があると思います。そして、主要な問題は、fable-coreがnpm（jsファイル）。 つまり、ライブラリとアプリがF＃に組み込まれている場合、 MapとListなどの2つのコピーがあります。また、 instanceofも壊れています。 。

NS。 実際、私たちはある時点でその問題を解決しようとしましたが（Fable 0.7では、fable-coreとFable自体がnpmを介して配布されたとき）、fable-coreは大幅に変更され、バージョンを適切に管理することは問題でした（バージョンを保持する必要もありました）異なるモジュールシステム用）。 Fable 1はfableであったため、状況ははるかに良くなりました。コアファイルはコンパイラによって挿入されたばかりであり、ファイルは常に同期されています。 Fableによってネイティブに消費されることを意図したnpm用のFableライブラリを作成することは実現可能ではないと思います。 JSライブラリを作成する（JS APIサーフェスを公開し、できればバンドルする）か、Nugetを介して配布されるFable / F＃ライブラリを作成します。

JSエコシステムは非常に広く、FableはF＃に多くの機会をもたらします。 残念ながら、私のリーチは限られており、設計上の決定を行う際にすべてを考慮に入れることはできません。 これまでのところ、通常、さまざまな分野でのFableの導入：Elmish Webアプリ、React Native、Electron ...は、アプリ/ライブラリ/ツールを作成した寄稿者のおかげであり、その後、私たちは協力してエクスペリエンスを容易にしました。 しかし、いくつかの小さなサンプルを除いて、Fableで作成されたJSライブラリについてはまだ見ていません。

ええ、いいえ、私は完全にそれを理解しています。 私の「すべてを網羅する」ソリューションは、CI上にfable-core（andy F＃/ jsライブラリ）を構築し、NuGetとNPMに同時に公開する状況である可能性があります。 そうすれば、nugetにF＃ソースファイルも必要ありません（build-metadataのみが必要ですが、npmインポート名が必要になります）。 ただし、これを機能させるには、まとめる必要のある部分がたくさんあり、nugetパッケージに大量のメタデータを格納する必要がある場合があります（生成されたJS関数名へのマッピング）。

そのため、今日は新しいFableの出力について多くのことを考えていて、考慮されていない場合に備えて取り上げたい問題をいくつか考え出しました。

クラスと関数

私自身はJSのクラスの大ファンではありませんが、関数では達成できない1つの重要な目的、つまりネイティブクラスの拡張（ MapやArray ）。 ここで、クラスの代わりに関数を使用する主な理由は、複数のコンストラクターを処理する必要があるという事実であると想定していますが、他の方法で解決できることはかなり確かです（これについてはもう少し詳しく見ていきます）。明日）。 さて、明確にするために、私はすべてをプロトタイプに添付することに戻ることについて話しているのではありません。 プライマリ（または合成）コンストラクタをクラスにすることについて話しているだけです。 newなしでコンストラクターを呼び出す機能については、F＃が型付き言語であり、Fableがnewを発行する必要があるかどうかを静的に把握できるはずであることを考えると、これはかなり議論の余地があると思います。

インターフェイスのキャストとタイプチェック

型階層をうまく処理し、型チェックと仮想メンバーの呼び出しを可能にするコードを見てきましたが、これはすべて非常に優れていますが、新しい出力は型チェックと推測してインターフェイスでどのように機能しますか？ たとえば、次のコードを考えてみましょう。

type IFoo =
  abstract Foo: string

type IBar =
  abstract Bar: string

type FooBar () =
  interface IFoo with
    member __.Foo = "foo"

  interface IBar with
    member __.Bar = "bar"

let check (t: bool) =
  if not t then failwithf "test failed"

let test () =
  let foobar = FooBar ()
  let foo = foobar :> IFoo
  let bar = foobar :> IBar
  let obj = foobar :> obj

  check (foo :? FooBar)
  check (bar :? FooBar)
  check (foo :? IBar)
  check (bar :? IFoo)
  check (obj :? IFoo)
  check (obj :? IBar)
  ()

Fable 2のリリースにご協力いただき、誠にありがとうございます。