Fable: 우화에 대한 Python 지원

멋진 작품입니다 @dbattli! 👏 👏 👏 Fable의 원래 아이디어는 F#을 다른 언어로 쉽게 컴파일할 수 있는 방법을 제공하는 것이었습니다. 좋든 나쁘든 Fable은 JS를 주요 초점으로 발전시켜 왔기 때문에 언어에 구애받지 않게 하려면 약간의 작업이 필요하지만 이에 대해 개방적입니다. 귀하의 질문에 대한 몇 가지 의견:

• 같거나 다른 repo? 가능한 한 많은 공통 코드를 유지하는 것이 좋습니다. 다른 리포지토리를 사용하면 매우 빠르게 분기할 수 있지만(인용 지원으로 분기를 동기화하기가 이미 어렵습니다) 대상 언어에 따라 모든 곳에서 조건이 발생하지 않도록 코드를 충분히 모듈화해야 합니다. 중간 솔루션은 Fable "Nucleus"(Core 😉를 사용할 수 없음)에 가능한 한 많은 코드를 추출한 다음 언어 구현에 대해 다른 저장소를 갖는 것입니다.

• Babel AST: 이것은 원래 우리가 코드 인쇄를 위해 Babel에 의존했기 때문에 사용되었습니다. 이상적인 세계에서는 이제 프린터가 있으므로 제거할 수 있어야 합니다. 그러나 Fable-to-Babel 단계에서 많은 일이 일어나기 때문에 어려울 것입니다. 같은 이유로 이 단계에서 가능한 한 많은 코드를 재사용하는 것이 바람직할 것입니다. 아마도 Babel AST를 비기능적 언어에 대해 좀 더 일반적인 것으로 만들 수 있을 것입니다. 몇 가지 예:

  • 식 기반 AST에서 식/문 AST로 이동합니다. JS의 경우 여기에는 너무 많은 IIFE를 피하기 위해 필요할 때 변수 선언을 함수의 맨 위로 이동하는 것이 포함됩니다. 파이썬과 비슷할 것이라고 생각합니다.
  • 패턴 일치(DecisionTree)를 if/switch 문으로 변환합니다.
  • 꼬리 호출 최적화. 이것은 JS 레이블 루프를 사용하여 수행됩니다. 파이썬에서는 중첩 루프에서 깨지지 않도록 다른 기술을 사용해야 합니다.
  • 가져오기를 고유 식별자로 변환(필요한 경우 Fable AST에서 직접 수행할 수 있음).

• F#을 더 Pythonic하게 만드시겠습니까? Fable을 사용하면 오버헤드를 피하기 위해 .NET 의미 체계가 때때로 희생되는 균형을 찾기 위해 항상 노력했습니다. 예를 들어 우리는 int에 대해 특정 유형을 사용하는 대신 JS 번호를 사용합니다(long에 대해 그렇게 하지만). 이것은 Python int 적용됩니다. 그러나 예를 들어 정수 나누기 또는 명시적 숫자 변환과 같은 예기치 않은 결과를 피하기 위해 특정 지점에서 .NET 의미 체계를 존중하기 위해 많은 기여를 했습니다.
  어쨌든 "더 파이썬적인"이라고 말하면 코드 스타일 또는 기본 API를 의미합니까? Fable은 대부분의 .NET BCL을 지원하려고 하지 않지만 결국 개발자가 익숙하게 사용하는 공통 기능/연산자를 지원해야 합니다(신규 사용자도 튜토리얼에서 찾을 수 있기 때문에). 어떤 경우에도 기본 API를 사용할 수 있는 옵션을 제공하는 것이 좋습니다( 그런 의미에서 Fable.Extras 는 좋은 움직임입니다). 예를 들어 JS.console.log 일반적으로 printfn 보다 개체의 형식을 지정하지만 개발자가 가장 많이 사용하기 때문에 후자를 지원해야 합니다.

나는 이 아이디어를 좋아한다. 특히 F#에서 Python 라이브러리를 사용하기를 고대하고 있습니다. 이상적으로는 순수 Python 라이브러리 또는 SciSharp를 사용할 수 있는 옵션이 있어야 합니다. Python과 거의 동일한 API를 사용하는 경향이 있습니다(Python 또는 .NET 컨텍스트에서 실행되는 동일한 F# 코드!)

이러한 F# 코드는 Fable을 사용하여 Python으로 컴파일한 다음 Notebooks 커널(Jupyter 또는 .NET Interactive) 내에서 사용하여 분석 워크플로를 실제 도메인 중심 기능으로 만들 수 있습니다(이 모든 것을 "죽이는 기능"으로 간주할 수 있음).

.NET Interactive는 확장성이 매우 뛰어나 F# 커널 내에서 Fable을 실행하는 것은 매우 쉽습니다(작업 중인 PoC가 있습니다).

또 다른 점은 MS가 곧 전체 .NET에 대해 유사한 조용한 것을 공개할 것이라고 예측한다는 것입니다(예측은 .NET Interactive가 다루는 활동과 목표에만 기반하므로 틀릴 수 있음). 그들이 그렇게 하는 경우에도 우리는 Fable이 기능적 세계에서 완전한 JS/F#/Python 무기고를 갖기 위해 별도로 그것을 갖기를 원합니다. MS 접근 방식은 Blazor-flavour와 더 비슷할 것입니다(내 생각에).

감사합니다. 이것은 @alfonsogarciacaro , @PawelStadnicki에 대한 훌륭한 피드백입니다. 내 말은 프로그래머가 .NET을 다시 구현하는 대신 Python 표준 라이브러리 를 더 많이 노출하여 "Python" 느낌을 갖게 하려는 경우였습니다(그러면 .NET을 대신 사용해야 함).

나는 우리가 두 세계에서 가장 좋은 것을 가질 수 있고 무엇을 가져올지 사용자가 결정하도록 할 수 있다고 생각합니다(예: Python에서 datetime 또는 .NET에서 DateTime ). 따라서 결정할 필요가 없으며 가장 원하는 것을 구현하면 됩니다(주문형). 그러나 나는 같은 문제가 Fable JS와 관련이 있다고 생각합니다. 웹 앱을 구현하고 있으며 모든 .NET을 사용할 수 있을 것으로 기대하지는 않을 것입니다. JS 생태계에 더 잘 접근할 수 있습니다.

따라서 미리 결정할 필요가 없습니다. 소매를 걷어붙이고 시작해 봅시다 😄 Fable의 일부가 되어 이 문제를 통해 변형 등에 대해 질문하는 것이 좋습니다. 배울 것이 많습니다.

추신: Expression btw에는 우리가 사용할 수 있는 꼬리 호출 데코레이터도 있습니다(동기화 및 비동기화 모두). 다음은 aioreactive에서 사용하는 예 입니다.

#1601이 생각나네요.

Fable을 타사 백엔드 "플러그인"(LLVM을 생각하지만 F#에만 해당)으로 수행할 수 있을 만큼 강력하게 만드는 좋은 방법이 있는지 궁금합니다. 무한한 가능성.

Babel AST를 좀 더 일반적이고 형식화하여 C와 같은 언어로 쉽게 변환/인쇄할 수 있도록 노력할 수 있습니다. 그러나 Fable을 개발하는 동안 배운 것이 있다면 간단한 F#에서 다른 언어로의 컴파일러를 작성하는 것이 (어느 정도) 쉽지만 좋은 개발 경험과 통합을 제공하므로 F#의 장점은 외국 생태계는 모국어로 개발하는 것보다 더 무겁습니다.

@alfonsogarciacaro가 말한 것. 그 과제의 일부는 Fable BCL 구현을 F#으로 더 많이 마이그레이션하여 모든 언어에 대해 다시 작성할 필요가 없도록 하는 것입니다.

흥미로운. Fable BCL 구현의 상당 부분이 (아마도) Javascript로 작성되었다는 사실을 몰랐습니다. 나는 그것이 이미 더 많은 F#일 것이라고 가정했다. 여기에는 그럴만한 이유가 있다고 의심하지 않습니다. 왜 그렇게 하는 것이 더 쉬워졌을까요?

@jwosty 대답은 성능상의 이유로 F# 유형과 브라우저에서 기본적으로 지원되는 유형 간의 차이를 연결하고 생성된 코드를 JavaScript 에코시스템 내에서 더 잘 통합하기 위한 것입니다.

또한 .NET BCL 에는 FSharp.Core 외에도 매우 큰 API 표면이 있으므로 더 큰 팀 없이는 이 노력을 유지하기가 어렵습니다. 놀랍고 칭찬할 만하다).

내가 말하려는 것은 기여(및 아이디어)가 매우 환영받고 감사하다는 것입니다.

(그렇게 짧지 않음) 대답은 성능상의 이유로, F# 유형과 브라우저에서 기본적으로 지원되는 유형 간의 차이를 연결하고 생성된 코드를 JavaScript 에코시스템 내에서 더 잘 통합하기 위한 것입니다.

나는 그것을 볼 수 있습니다.

내가 말하려는 것은 기여(및 아이디어)가 매우 환영받고 감사하다는 것입니다.

확실히! 이만큼 크고 중요한 프로젝트를 유지하기 위해 얼마나 많은 노력을 기울이고 있는지 이해하고 여러분이 쏟은 피와 눈물에 진심으로 감사드립니다. Fable은 최근에 저에게 매우 유용했고 돌려드리고 싶습니다.

약간의 도움을 받을 수 있습니다. 현재 개발을 위해 QuickTest 프로젝트를 사용하고 있습니다(예: dotnet fsi build.fsx quicktest ). 개발하는 동안 Babel AST를 어떻게 인쇄합니까? ( 업데이트 : ASTViewer 를 찾았

내 현재 문제는 Python이 여러 줄 람다(화살표 함수)를 지원하지 않으므로 람다가 명명된 함수로 변환 및 추출되고 대신 해당 함수를 호출해야 한다는 것입니다. 여기에 있는 모든 팁을 주시면 감사하겠습니다. 예:

let fn args cont  =
    cont args

let b = fn 10 (fun a ->
    a + 1
)

다음으로 변환해야 합니다.

let fn args cont  =
    cont args

let cont a =
    a + 1
let b = fn 10 cont

함수 호출을 args로 변환할 때 더 높은 수준에서 대체해야 하거나 if true then ... 같은 일종의 블록 명령문을 사용해야 하기 때문에 하나의 호출 표현식을 여러 명령문으로 대체할 때 어떻게 생각해야 할까요?

@dbragtli 속성 중 일부도 인쇄하는 이 프린터 도 참조하십시오.

Fable BCL 구현의 상당 부분이 (아마도) Javascript로 작성되었다는 사실을 몰랐습니다. 나는 그것이 이미 더 많은 F#일 것이라고 가정했다. 그럴만한 이유가 있다고 믿어 의심치 않습니다. 왜 그렇게 하는 것이 더 쉬워졌을까요?

네, @ncave가 말했듯이 주된 이유는 더 많은 표준 JS를 생성하는 것이었습니다. 예를 들어, Funscript에서는 모든 FSharp.Core 교체가 F#으로 작성되었지만 Fable에서는 가능하면 JS 표준과 통합하고 싶었습니다(예: .NET IEnumerable 대신 JS 반복기 사용). 처음에는 JS/Typescript로 작성하는 것이 더 쉬웠습니다. 처음에는 우화-라이브러리를 JS 프로젝트에서 사용할 수 있는 별도의 패키지로 퍼블리싱할 생각도 있었지만 금세 폐기했습니다.

Fable 2에서 우리는 일부 모듈을 F#으로 이식하기 위한 노력을 시작했습니다. 이것은 dogfooding을 증가시키고 FSharp.Core의 개선 사항을 쉽게 재사용할 수 있기 때문에 매우 유익했습니다(최근 맵 및 세트와 마찬가지로). 그러나 닭과 계란 문제를 해결하기 위해 여기 저기에 여전히 몇 가지 해킹이 있습니다. 그리고 교체 모듈인 큰 괴물에 대해서는 이야기하지 않겠습니다. :)

또한 @ncave가 말했듯이 이 라이브러리를 유지 관리하는 것은 엄청난 일이기 때문에 유지 관리 표면을 줄이기 위해 항상 BCL에 대한 지원을 늘리는 것을 꺼려하지만 라이브러리에 여러 가지 큰 공헌이 있다는 것은 매우 운이 좋았습니다. 처음부터.

@dbrattli AST 인쇄에 대해 Fable repo에서 ASTViewer 도구를 사용하지 않은지 오래되었습니다. 더 나은 옵션은 @ncave 또는 F# AST를 검사해야 할 때 최근에 사용하는 Fantomas 시각화 도우미가 가리키는 것입니다( Show Typed AST 를 선택해야 합니다). 불행히도 우리는 아직 Fable 또는 Bable AST에 대한 특정 프린터를 가지고 있지 않습니다. Fable AST의 경우 그냥 합집합이고 간단한 printfn "%A" 작동하지만 위치 정보가 약간 시끄럽습니다.

람다 추출에 대해. 가능하지만 약간의 작업이 필요합니다. 가져오기와 유사한 작업, 즉 AST를 탐색할 때 수집하고 고유한 식별자를 할당할 수 있다고 생각합니다. 나중에 우리는 파일의 맨 위에 함수를 선언 할 수 있습니다. 주요 문제는 캡처된 값일 것입니다. F# AST에 이에 대한 정보가 있는지 기억나지 않지만, 정보가 있더라도 불행히도 AST에 보관하지 않으므로 다음을 수행해야 합니다. 인수(또는 람다 내의 바인딩)에 해당하지 않는 람다 본문에 사용된 모든 idents를 찾아 람다의 추가 인수로 변환합니다.

@alfonsogarciacaro 좋은 정보 감사합니다. 제 첫 PoC는 Babel.fs / Fable2Babel.fs , BabelPrinter.fs 등을 변경했습니다. 이제 별도의 Python AST 즉 Python.fs 처음부터 시작했습니다 PythonPrinter.fs . 그런 다음 Fable AST에서 변환하는 것보다 쉬울 수 있으므로 Babel AST에서 Python AST로 변환하기 위해 Babel2Python.fs 를 추가하려고 합니다 Fable2Python.fs 어려운). 이렇게 하면 기존 코드 기반을 너무 많이 만지지 않고 람다 재작성을 시도할 나만의 변환을 갖게 됩니다.

그것은 의미가 있습니다. 한 가지 어려움은 Babel AST가 DU로 구성되지 않았기 때문에 패턴 일치로 탐색하기가 조금 더 어렵다는 것입니다. #2158이 도움이 될까요?

@alfonsogarciacaro 내가 생각하는 (희망) 실제로 작동할 수 있는 방식으로 화살표 함수와 함수 표현식의 재작성을 고칠 수 있었다고 생각합니다. 아이디어는 모든 표현식( TransformAsExpr )이 명령문 목록(연결되어 마지막 명령문 목록(last-statement-level)까지 전달되어야 함)도 반환한다는 것입니다. 반환된 명령문(func-def)은 위로 들어 올려 다른 명령문 앞에 기록됩니다. 따라서 화살표 또는 함수 표현식은 name-expression, [statement ] 를 리턴하며 여기서 화살표/함수 표현식은 a로 다시 작성됩니다. 명령문 및 이름 표현식과 함께 반환됩니다. 이는 다음을 의미합니다.

module QuickTest

let fn args cont  =
    cont args

let b = fn 10 (fun a ->
    printfn "test"
    a + 1
)

다음 JS를 생성합니다.

import { printf, toConsole } from "./.fable/fable-library.3.1.1/String.js";

export function fn(args, cont) {
    return cont(args);
}

export const b = fn(10, (a) => {
    toConsole(printf("test"));
    return (a + 1) | 0;
});

그러면 다음 Python이 생성됩니다.

from expression.fable.string import (printf, toConsole)

def fn(args, cont):
    return cont(args)


def lifted_5094(a):
    toConsole(printf("test"))
    return (a + 1) | 0


b = fn(10, lifted_5094)

클로저를 처리하는 데 문제가 있을 수 있다고 생각했지만 대부분의 경우(모든?) 클로저도 해제됩니다. 예:

module QuickTest

let add(a, b, cont) =
    cont(a + b)

let square(x, cont) =
    cont(x * x)

let sqrt(x, cont) =
    cont(sqrt(x))

let pythagoras(a, b, cont) =
    square(a, (fun aa ->
        printfn "1"
        square(b, (fun bb ->
            printfn "2"
            add(aa, bb, (fun aabb ->
                printfn "3"
                sqrt(aabb, (fun result ->
                    cont(result)
                ))
            ))
        ))
    ))

다음과 같이 다시 작성됩니다.

from expression.fable.string import (printf, toConsole)

def add(a, b, cont):
    return cont(a + b)


def square(x, cont):
    return cont(x * x)


def sqrt(x, cont):
    return cont(math.sqrt(x))


def pythagoras(a, b, cont):
    def lifted_1569(aa):
        toConsole(printf("1"))
        def lifted_790(bb):
            toConsole(printf("2"))
            def lifted_6359(aabb):
                toConsole(printf("3"))
                return sqrt(aabb, lambda result: cont(result))

            return add(aa, bb, lifted_6359)

        return square(b, lifted_790)

    return square(a, lifted_1569)

어쨌든 시작이 좋다 😄

나는 PHP에 대해 매우 동일한 작업을 수행 했으며(BGA 에서 중임 ) 여기에 노력을 결합할 수 있습니까?

https://github.com/thinkbeforecoding/peeble

@ncave Jupyter 노트북과 같은 대화식 사용에 Fable을 사용하는 방법에 대한 팁이 있습니까? 문제는 Jupyter가 코드 조각(셀)을 제공하고 커널이 이전 명령문의 기존 로컬 선언과 함께 이 조각을 컴파일해야 한다는 것입니다.

Fable은 이에 최적이 아니지만 이전 명령문/선언(let, type, open)의 사전을 순서대로 유지하고 마지막 코드 조각과 함께 순서대로 사용하여 유효한 F# 프로그램을 만드는 PoC를 만들었습니다. 코드 조각의 모든 선언은 실행 전에 사전에서 제거되고 실행 후에 추가됩니다. 이것은 작동하는 것 같지만 더 나은 방법이 있는지 궁금합니다.

출처: https://github.com/dbrattli/Fable.Jupyter/blob/main/fable/kernel.py#L85

그런 다음 Fable.fs가 업데이트될 때마다 다시 컴파일하는 Fable cli가 백그라운드에서 실행되고 있습니다.

dotnet watch -p src/Fable.Cli run -- watch --cwd /Users/dbrattli/Developer/GitHub/Fable.Jupyter --exclude Fable.Core --forcePkgs --python

@dbattli 조각이 작은 경우 합리적으로

참고로, 더 많은 제어가 필요한 경우 CLI뿐만 아니라 Fable을 라이브러리 로 사용할 수도 있습니다( fable-standalone 및 사용 예 참조 ).

1) 제가 가지고 있는 문제는 Fable AST에 스로우/레이즈가 없다는 것입니다. 따라서 이것은 내가 구문 분석하기 어려운 Emit 표현식으로 만들어집니다. 또는 적어도 Babel에 ThrowStatement가 있는 경우에는 불필요해 보입니다. 사용하지 않는 이유가 있습니까? 아니면 고쳐야 합니까? @alfonsogarciacaro

let divide1 x y =
   try
      Some (x / y)
   with
      | :? System.DivideByZeroException -> printfn "Division by zero!"; None

let result1 = divide1 100 0

생성:

export function divide1(x, y) {
    try {
        return ~(~(x / y));
    }
    catch (matchValue) {
        throw matchValue;
    }
}

export const result1 = divide1(100, 0);

여기서 throw matchValue 는 EmitExpression 입니다.

2) ThisExpr 를 Fable AST에 추가해야 this 가 thisKeyword로 사용되고 있는지 확인할 수 있습니다. 확실 함께 할 수 없습니다 Fable.IdentExpr 설정되어 this 가이 - 키워드의 경우 또는하지 이러한 요구가 번역 될 때문에 self 파이썬한다.
https://github.com/fable-compiler/Fable/blob/nagareyama/src/Fable.Transforms/Fable2Babel.fs#L792

웃기네요. throw는 실제로 Fable 2 AST에 있었지만 Fable 3에서는 한 곳에서만 사용되었기 때문에 AST를 단순화하기 위해 제거했지만 다시 추가할 수 있을 것 같습니다.

"이것"에 대해서는 까다롭습니다. F# AST에서는 생성자나 메서드에서 다르게 표현되기 때문에 다시 확인해야 합니다(코드 전체에 이에 대한 주석이 흩어져 있음). Fable AST에는 식별자에 대한 IsThisArgument 속성이 있지만 이것이 분리된 구성원의 첫 번째 인수에만 해당하는지 또는 "실제 this"에도 작동하는지 확인하겠습니다.

@alfonsogarciacaro "internal" 대 "user" 컴파일된 코드를 처리하는 방법에 대해 약간의 도움을 사용할 수 있습니다. 예를 들어 Exception have eg .message 하지만 이것을 어떻게 번역해야 합니까? 사용자가 컴파일한 코드에 .message 없고 항상 대신 Test__Message_229D3F39(x, e) 로 끝나서 간섭하지 않을 것이라고 확신할 수 있습니까? 아니면 JsException 개체 내에서 catch'된 예외를 래핑하고 확실하게 하기 위해 .message 속성을 추가해야 합니까? Fable은 F#에서 Babel로 이 작업을 어떻게 수행합니까? 유형을 추적합니까, 아니면?

예를 들면 : 어떻게 ex.Message.StartsWith F에 #이 될 ex.message.indexOf JS에서? 이것을 Python에서 str(ex).index 로 변환해야 합니다(또는 개체를 래핑).

실제로 F# 예외에 문제가 있습니다(예: int * int의 예외 Foo). Fable 3 릴리스 전에 수정하지 않았습니다 😅 System.Exception은 JS 오류로 변환되므로 .message 필드가 있습니다. 그러나 F# 예외는 성능상의 이유로 JS 오류에서 파생되지 않습니다(지금은 .Message에 액세스하려는 시도가 실패했다고 생각합니다). 어딘가에 이것에 대한 토론이 있습니다. 귀하의 경우와 일반적인 예외에 대해 지금은 Fable이 .message 및 .stack 속성에 액세스한다고 가정할 수 있다고 생각합니다.

우리는 Fable에서 언어 선택을 어떻게 원합니까? 오늘 우리는 --typescript 사용하여 TypeScript를 선택할 수 있습니다. 따라서 --python 사용하여 Python을 선택할 수 있습니다. 하지만 .js 생성을 중지해야 합니까? 예를 들어 Emit이 사용되는 경우 생성된 JS가 유효하지 않을 수 있으므로 아마도 그래야 할 것입니다. 그러나 때때로 우리는 JS를 보고 싶어합니다. --javascript 대한 옵션이 있어야 합니까, 아니면 사용자가 JavaScript를 가져오기 위해 --python 없이 실행하도록 요구해야 합니까? @alfonsogarciacaro

@dbrattli --typescript 는 .ts 파일만 생성하므로 원하는 경우 --python 는 .py 파일만 생성할 수 있습니다.
그러나 기술적으로 모두 상호 배타적이므로 대신 JavaScript/TypeScript/Python 값을 가진 새로운 --language 스위치를 도입해야 합니까?

@ncave 예, JavaScript 가 기본값이 될 수 있는 [-lang|--language {"JavaScript"|"TypeScript"|"Python"}] 와 같은 것이 좋은 생각이라고 생각합니다. 컴파일러에 대한 언어 속성을 이미 추가하기 시작했으므로 명령줄 옵션도 수정할 수 있습니까? https://github.com/fable-compiler/Fable/pull/2345/files#diff -9cb94477ca17c7556e6f79d71ed20b71740376f7f3b00ee0ac3fdd7e519ac577R12

일부 상태입니다. Python 지원이 향상되고 있습니다. 이제 많은 언어 기능이 제공됩니다. 남은 큰 과제는 우화 라이브러리를 이식하는 것입니다. 이것을 더 쉽게 하기 위해 Python용 우화 라이브러리가 repo로 이동되었으므로 많은 우화 라이브러리 .fs 파일을 Python으로 변환하고 재사용할 수 있습니다. 그러나 그들 중 다수는 가로채서 "수동으로" 처리해야 하는 JS 방출 코드를 포함합니다. Python에 대한 테스트 설정(pytest 기반)은 현재 43개의 테스트를 통과한 상태이므로 새로운 기능을 개발하고 추가하기가 훨씬 쉬워졌습니다(그리고 작동 중인 기능을 보여줌).

Python용 우화 라이브러리 구축: dotnet fsi build.fsx library-py
Python 테스트 실행: dotnet fsi build.fsx test-py

@dbattli
이상적으로는 fable-library 를 F#으로 더 많이 변환해야 합니다. List 및 Seq 는 이미 있고 Array 는 소수의 기본 메소드를 사용하며 아마도 분리될 수 있습니다.

약간 다른 주제에 대해 Fable AST에서 직접 사용하는 대신 Babel AST에서 새로운 언어 코드젠을 구현하는 주요 이점은 무엇이라고 생각하십니까?

@ncave Python과 JavaScript는 매우 가깝기 때문에(imo) Babel AST를 다시 작성하기가 상대적으로 쉽습니다. RxJS에서 RxPY로 이전에 Python으로 약간의 JS를 이식했습니다. 우리는 또한 "업스트림"으로 만들어지는 모든 (버그-)수정의 이점을 얻습니다. 즉, Fable2Babel.fs 대부분을 재사용하고 Fable2Babel.fs 와 Babel2Python.fs 를 결합/축소하는 Fable2Python.fs 를 사용하여 Python으로 직접 변환할 수 있습니다. 사실 오늘 일찍 그 생각을 했다. 그런 다음 포크와 버그 수정이 두 위치에 모두 적용되어야 할 가능성이 높습니다. 지금은 Babel AST를 변형해도 괜찮다고 생각하지만 결국에는 Fable AST를 직접 변형하고 싶을 수도 있습니다.

멋지네요 @dbattli! 모든 작업에 감사드립니다. 사실, 내가 염두에 둔 것은 대부분의 Fable 코드를 라이브러리에 넣고 fable(-js), fable-py(또는 다른 이름)와 같은 다양한 구현을 독립적인 dotnet 도구로 출시하는 것이었습니다. 릴리스 주기에서 더 많은 자유를 얻을 수 있지만 두 언어로 컴파일할 수 있는 단일 dotnet 도구를 사용하는 것도 괜찮습니다. 특히 처음에는 더 간단할 수 있습니다.

fable-library에 대해 그렇습니다. 가능하면 현재 .ts 파일을 파이썬으로 다시 작성하는 대신 F#으로 포팅하는 것이 좋습니다. Emit 사용하여 부분을 분리하고 #if 를 사용하여 Python에 적용해야 합니다.

#if FABLE_COMPILER_PYTHON
    [<Emit("print($0)")>]
    let log(x: obj) = ()

　// Other native methods ...
#else
    [<Emit("console.log($0)")>]
    let log(x: obj) = ()

    // ...
#endif

또는 새로운 "다국어" Emit 속성을 추가할 수 있습니다.

type EmitLangAttribute(macros: string[]) =
    inherit Attribute()

[<EmitLang([|"js:console.log($0)"; "py:print($0)"|])>]
let log(x: obj) = ()

@alfonsogarciacaro 와 @ncave 에게 감사드립니다. 좋은 아이디어입니다. 어떤 효과가 있는지 알아보기 위해 시도해 보겠습니다. Fable-library를 F#으로 번역하는 것의 이점을 알고 있으므로 Python 컴파일러가 거기에서 파일을 처리하기에 충분하면 여기에서 도움을 주려고 노력할 것입니다. #if 를 사용하면 많은 도움이 될 것이며, 방출을 언어별 라이브러리 파일로 이동하여 #if 피할 수 있을 것입니다(Python에 대한 별도의 .fsproj 파일이 있기 때문에).

@alfonsogarciacaro 대신 두 개의 방출 속성이 없는 이유는 무엇입니까? JS의 경우 Emit, Python의 경우 EmitPy. 파이썬 트랜스파일러는 JS 등에 대해 방출이 발생하면 완화를 보고해야 합니다.

내 2센트의 경우, 나는 단순히 방출하는 단일 방출 속성을 갖는 현재의 낮은 인지 부하를 좋아합니다. @dbattli 가 지금 하고 있는 일은 이해가 됩니다(각 fable-library 언어 버전마다 다른 프로젝트 파일). 나중에 호출할 잘 정의된 인터페이스(또는 모듈)를 구현하는 자체 파일에서 다른 언어 방출을 일반 F# 구현과 분리할 수 있습니다.

좋은 예는 Array.Helpers 를 각 대상 언어에 대해 구현할 수 있는 인터페이스로 변환(또는 그냥 모듈로 남겨 fable-library 를 F#으로 더 많이 마이그레이션하려는 이러한 노력( --language 컴파일러 옵션도 포함)은 이 PR과 별도의 PR에 들어갈 수 있으므로 더 빠르고 쉽게 기여할 수 있습니다. .

좋은 생각입니다 @ncave :+1: 사실 우리는 멀티플랫폼 Fable 프로젝트(.net 및 js)에서 네이티브 코드를 분리할 때 이미 이것을 하고 있습니다. 일을 단순화하기 위해 Fable.Library에 새 Native.fs 파일을 추가하고 필요에 따라 다음과 같이 하위 모듈을 추가할 것입니다.

namespace Fable.Library.Native            # or just Native

module Array = ..
module Map = ..

Emit 또는 Fable.Core.JS 값을 사용하는 모든 항목을 그곳으로 이동해야 합니다.

비동기 작업에서 Async.ts 및 AsyncBuilder.ts 를 F#으로 이식하려고 합니다. 즉 Async.fs 및 AsyncBuilder.fs 있습니다. 하지만 이제 코드가 포함된 테스트 파일에 문제가 있습니다.

async { return () }
|> Async.StartImmediate

Python(JS 코드는 매우 유사해야 함) 코드를 생성합니다.

startImmediate(singleton.Delay(lambda _=None: singleton.Return()))

그러나 AsyncBuilder에는 메서드가 없지만 AsyncBuilder__Delay_458C1ECD 있습니다. 그래서 AttributeError: 'AsyncBuilder' 객체에 'Delay' 속성이 없습니다.

class AsyncBuilder:
    def __init__(self):
        namedtuple("object", [])()

def AsyncBuilder__ctor():
    return AsyncBuilder()

def AsyncBuilder__Delay_458C1ECD(x, generator):
    def lifted_17(ctx_1):
        def lifted_16(ctx):
            generator(None, ctx)

        protectedCont(lifted_16, ctx_1)

    return lifted_17
...

이 문제를 해결하는 방법에 대한 힌트가 있습니까? @ncave @alfonsogarciacaro. 나는 F의 # 클래스 메소드와 클래스를 생성 할, 또는 내 테스트 할 수있는 방법이 코드가 생성되어 그 용도 정적 AsyncBuilder__Delay_458C1ECD 대신 .Delay() ?

@dbrattli 일반적으로 망가지지 않기를 원하는 메소드에 대한 인터페이스를 사용하는 것입니다.
관련 메모에서 비동기 지원은 네이티브 Python asyncio 의 번역에 더 적합한 기능 중 하나입니까?

@ncave 알겠습니다. 작동 방식입니다 😄 통찰력 주셔서 감사합니다. 빌더를 인터페이스 뒤에 놓고 도움이 되는지 확인하려고 합니다(F# 빌더가 인터페이스가 아니더라도 제대로 작동해야 함). async 관해서는 기본 Python asyncio( 여기 참조 )를 사용하는 계획이었지만 python cannot reuse already awaited coroutine 에 문제가 있으므로 함수 뒤에서 지연시켜야 합니다. 어쨌든 저는 Python 네이티브 awaitables에 task 또는 asyncio 빌더를 사용할 수 있다는 것을 알았습니다. AsyncBuilder.ts 의 단순화는 F#으로 이식하려고 하는 저를 매료시켰습니다.

맹글링을 피하기 위해 인터페이스를 사용하는 것은 @ncave가 말한 대로 작동해야 합니다. 우리는 또한 몇 가지 다른 접근 방식을 시도했습니다.

• NoOverloadSuffix 속성: Fable이 오버로드 접미사를 추가하는 것을 방지합니다. 분명히 오버로드는 이 경우에 작동하지 않을 것입니다.

https://github.com/fable-compiler/Fable/blob/caa715f1156be29c8dd9b866a03031a1852b3186/src/fable-library/Map.fs#L524 -L527

그런 다음 Naming.buildNameWithoutSanitation 사용하여 메서드를 참조할 수 있습니다.

https://github.com/fable-compiler/Fable/blob/caa715f1156be29c8dd9b866a03031a1852b3186/src/Fable.Transforms/Replacements.fs#L1956 -L1963

• 그러나 그 후 @ncave 는 Fable이 예상한 대로(몇 가지 제한 사항이 있는지 기억나지 않음) 맹글링된 이름을 빌드하는 메서드를 작성하여 F# 코드를 정상적으로 작성할 수 있습니다. 예를 들어 src/fable-library/System.Text.fs :

https://github.com/fable-compiler/Fable/blob/caa715f1156be29c8dd9b866a03031a1852b3186/src/Fable.Transforms/Replacements.fs#L1314 -L1326

이 경우 replacedModules 사전에 클래스를 추가하기만 하면 됩니다.

https://github.com/fable-compiler/Fable/blob/caa715f1156be29c8dd9b866a03031a1852b3186/src/Fable.Transforms/Replacements.fs#L3075

따라서 불행히도 Replacements 에서 F#으로 작성된 우화 라이브러리 코드에 연결하는 일관된 접근 방식이 아직 없습니다. 어쩌면 우리는 지금 하나에 동의하기 위해이 기회를 사용합니다.

매우 흥미로운 통찰력 @ncave 및 @alfonsogarciacaro에 감사드립니다. 인터페이스에서 나는 또 다른 문제를 발견했습니다. Python에서 unit 를 처리하는 방법은 무엇입니까? 내 인터페이스는 다음과 같습니다.

type IAsyncBuilder =
    abstract member Bind<'T, 'U> : IAsync<'T> * ('T -> IAsync<'U>) -> IAsync<'U>
    abstract member Combine<'T> : IAsync<unit> * IAsync<'T> -> IAsync<'T>
    abstract member Delay<'T> : (unit -> IAsync<'T>) -> IAsync<'T>
    abstract member Return<'T> : value: 'T -> IAsync<'T>
   ...

문제는 Return 가 다음을 생성한다는 것입니다.

class AsyncBuilder:
    def Return(self, value):
        return protectedReturn(value)
    ....

이것은 좋아 보이고 아마도 JS에 좋을 것입니다. 그러나 파이썬에서는 함수가 인수를 취하는 경우 인수를 제공해야 합니다. 따라서 'T 가 unit 때 'T x.Return() 를 호출하면 오류가 발생합니다. 내 첫 번째 반응은 과부하를 만드는 것이 었습니다.

abstract member Return : unit -> IAsync<unit>

그러나 그것은 나름의 문제가 있습니다. 내 현재 솔루션(추한 모양):

abstract member Return<'T> : [<ParamArray>] value: 'T [] -> IAsync<'T>

...

member this.Return<'T>([<ParamArray>] values: 'T []) : IAsync<'T> =
    if Array.isEmpty values then
        protectedReturn (unbox null)
    else
        protectedReturn values.[0]

그러나 이를 위해서는 모든 일반 단일 인수 함수에 대한 사용자 정의 처리가 필요합니다. 아마도 모든 단일 인수 함수가 null(Python의 경우 없음)을 입력으로 받아들이도록 해야 합니다. 예:

class AsyncBuilder:
    def Return(self, value=None):
        return protectedReturn(value)
    ....

이 문제를 처리하는 올바른 방법은 무엇입니까?

IIRC, unit -> X 서명이 있는 메서드의 경우 호출에는 인수가 없지만(F# AST에서와 같이) 람다 또는 이 경우 unit 호출/응용 프로그램으로 채워진 일반 인수에는 unit Fable AST의 transformCallArgs 도우미에서 제거됩니다. 대상 언어가 파이썬일 때 조건을 추가하고 단위 인수를 그대로 둘 수 있습니다.

https://github.com/fable-compiler/Fable/blob/caa715f1156be29c8dd9b866a03031a1852b3186/src/Fable.Transforms/Fable2Babel.fs#L1083 -L1086

안녕하세요 @ncave , @alfonsogarciacaro , 저는 Python에서 [<Inject>] 매개변수를 처리하는 데 일부 입력을 사용할 수 있습니다. 이것은 Php @thinkbeforecoding에서 어떻게 수행됩니까? 예를 들어 ( Array.fs ) 다음과 같은 기능:

let map (f: 'T -> 'U) (source: 'T[]) ([<Inject>] cons: Cons<'U>): 'U[] =
    let len = source.Length
    let target = allocateArrayFromCons cons len
    for i = 0 to (len - 1) do
        target.[i] <- f source.[i]
    target

내 코드는 cons 매개변수를 생성하지 않으며 Python에 필요합니다.

map(fn ar)

JS의 경우 선택 사항입니까? 코드에서 속성을 감지하고 선택적으로 만들려면 어떻게 해야 합니까? 예

def map(f, source, cons=None):
    ...

PHP는 또한 선택적 매개변수에 대해 명시적입니다. 인수 모델에 IsOptional 플래그를 추가해야 했습니다.

Fable에서 Inject 속성은 두 가지 용도로 사용됩니다. 하나는 주로 실험적이며(어떻게든 유형 클래스를 에뮬레이트하고 일반 유형 정보를 해결하기 위해 함수를 인라인해야 하는 것을 피하기 위해) 너무 신경쓰지 않아도 됩니다.

다른 용도는 컴파일 시간에 해결된 인수에 의해 전달된 추가 정보가 필요한 fable-library 메서드의 내부입니다.

• 배열을 빌드하는 함수는 그것이 JS 동적 배열인지 또는 유형이 지정된 배열인지 알아야 합니다.
• 유형을 비교해야 하는 방법을 알기 위해 비교자를 수신해야 하는 생성자 및 기타 도우미를 설정하고 매핑합니다(일부 평균 계산을 수행하는 함수와 유사).

그러나 이러한 함수는 직접 호출되지 않으므로 Fable은 Inject 속성을 "볼 수 없습니다". 이러한 이유로 라이브러리의 어떤 함수에 삽입이 필요한지 알려주는 ReplacementInject.fs 파일 을 사용합니다. 사용 방법 보기: https://github.com/fable-compiler/Fable/blob/522f6aad211102271538798aeb90f4aed1f77dd6/src/Fable.Transforms/Replacements.fs#L988-L1019

이 파일은 Fable.Library의 어떤 함수가 Inject 장식된 마지막 인수를 가지고 있는지 감지하는 이 스크립트로 처음에 자동으로 생성되었습니다. 그러나 어느 시점에서 우리는 업데이트를 중단하고 IIRC가 ReplacementInjects에 대한 마지막 업데이트를 중단했다고 생각합니다. 파일을 수동으로 수행했습니다.

그것을 알면 IsOptional 정보를 제거 할 수 있습니다 ... 확인하겠습니다.

@alfonsogarciacaro 다음과 같은 코드에 대해 injectArg 에 문제가 있는 것 같습니다.

type Id = Id of string

let inline replaceById< ^t when ^t : (member Id : Id)> (newItem : ^t) (ar: ^t[]) =
    Array.map (fun (x: ^t) -> if (^t : (member Id : Id) newItem) = (^t : (member Id : Id) x) then newItem else x) ar

let ar = [| {|Id=Id"foo"; Name="Sarah"|}; {|Id=Id"bar"; Name="James"|} |]
replaceById {|Id=Id"ja"; Name="Voll"|} ar |> Seq.head |> fun x -> equal "Sarah" x.Name
replaceById {|Id=Id"foo"; Name="Anna"|} ar |> Seq.head |> fun x -> equal "Anna" x.Name

여기서 Array.map 는 생성자를 주입하지 않습니다. 코드는 주입된 인수 없이 JS로 변환됩니다.

return map((x) => (equals(newItem.Id, x.Id) ? newItem : x), ar);

버그인가요? 이 코드는 JS(운이 좋은 걸까요?)에서는 작동하지만 Python에서는 작동하지 않습니다.

아, 죄송합니다! 완전히 잊어버렸지만 "표준" JS 배열에 대해 배열 생성자가 주입되지 않은 "최적화"가 있습니다. https://github.com/fable-compiler/Fable/blob/4ecab5549ab6fcaf317ab9484143420671ded43b/src/Fable.Transforms/ 교체.fs#L1005 -L1009

그런 다음 아무 것도 전달되지 않으면 기본적으로 전역 Array 입니다. https://github.com/fable-compiler/Fable/blob/4ecab5549ab6fcaf317ab9484143420671ded43b/src/fable-library/Array.fs#L25 -L28

내가 왜 이렇게 했는지는 확실하지 않지만 가장 일반적인 경우를 위해 번들로 몇 바이트를 절약할 수 있을 것 같습니다. 도움이 된다면 next 분기에 대한 이 최적화를 제거할 수 있습니다.

알았어 고마워. 이 작업을 수행할 수 있는지 확인하려고 합니다. 이 기능을 끌 필요는 없다고 생각합니다. Python이 질식하지 않도록 세 번째 인수에 대해 빈(null) 값을 생성하기만 하면 됩니다. 즉:

            | Types.arrayCons ->
                match genArg with
                | Number(numberKind,_) when com.Options.TypedArrays ->
                    args @ [getTypedArrayName com numberKind |> makeIdentExpr]
                | _ -> args @ [ Expr.Value(ValueKind.Null genArg, None) ]

JS의 경우 다음을 생성합니다.

map((x_3) => (equals(newItem_1.Id, x_3.Id) ? newItem_1 : x_3), ar, null))).Name);

그리고 파이썬의 경우:

def lifted_53(x_2):
    return newItem_1 if (equals(newItem_1["Id"], x_2["Id"])) else (x_2)

return map(lifted_53, ar, None)

그런 것이 수용 가능한 수정 사항이 될까요?

작동해야 합니다. 대신 None 를 사용할 수 있습니다. 한 시점에서 우리는 Fable2Babel의 마지막 위치에서 None args를 제거했습니다. 지금 FSharp2Fable에서 그렇게 하고 있는 것 같습니다. 하지만 여기에 추가 검사를 추가할 수 있습니다: https://github.com/fable-compiler/ 우화/blob/c54668b42b46c0538374b6bb2e283af41a6e5762/src/Fable.Transforms/Fable2Babel.fs#L1082 -L1095

BTW, 죄송합니다 이 PR을 자세히 확인하지 못했습니다 😅 하지만 테스트를 위반하지 않는다면 PHP에서 했던 것처럼 곧 POC로 병합할 수 있습니다. 이것은 Fable로 여러 언어를 대상으로 하는 것을 더 쉽게 하기 위해 약간의 리팩토링을 수행할 계획(시간 허용) 때문이며, Python이 이미 next 분기에 있다면 더 쉬울 것입니다. 또한 너무 많은 분기 분기(main, next, python)를 동기화 상태로 유지하지 않아도 됩니다.

좋아 @alfonsogarciacaro , null 대신 None을 생성할 수 있는지 확인하겠습니다. 곧 병합할 수 있습니다. 여전히 기존 Python 테스트 중 일부를 깨뜨리고 있지만 이제 몇 가지만 남았고 일주일 정도 이내에 수정해야 합니다. 또한 필요한 방출로 Fable.Core.PY.fs 를 생성해야 합니다. Babel2Python -> Fable2Python의 재작성은 예상보다 어려웠지만 마침내 다시 정상 궤도에 오르기 위해 가까워지고 있습니다. PR을 조금 정리하고 병합할 준비를 하도록 하겠습니다.

@alfonsogarciacaro 하나를 제외한 모든 테스트를 수정했습니다. 그것은 그러나 나는 바벨로했다 똑같은 문제에 관련이 😱 내가 알고있는 방법이 필요 Fable.Get 온 사용되는 AnonymousRecord 그들이 파이썬 딕셔너리로 변환하기 때문에 유형, 내가 사용 첨자 필요 즉 [] 액세스가 아니라 .dotted 입니다. 문제는 왼쪽이 무엇이든 될 수 있다는 것, 객체, 함수 호출 ... 그래서 알기 어렵습니다. 더 나은 방법이 있습니까? 익명 기록을 위해 또 다른 GetKind 가 있어야 합니까, 아니면 이것을 하는 가장 좋은 방법은 무엇입니까?

FSharp2Fable에서 이것을 봅니다. FieldGet이 AnonRecord에 의해 생성되었다는 것을 나중에 어떻게 알 수 있습니까?

    // Getters and Setters
    | FSharpExprPatterns.AnonRecordGet(callee, calleeType, fieldIndex) ->
        let r = makeRangeFrom fsExpr
        let! callee = transformExpr com ctx callee
        let fieldName = calleeType.AnonRecordTypeDetails.SortedFieldNames.[fieldIndex]
        let typ = makeType ctx.GenericArgs fsExpr.Type
        return Fable.Get(callee, Fable.FieldGet(fieldName, false), typ, r)

Discord @dbrattli 에서 이야기한 것처럼 익명 레코드인지 확인하기 위해 수신자 유형을 확인할 수 있다고 생각합니다. 그러나 보다 체계적인 접근 방식이 필요한 경우 FieldGet 에 더 많은 정보를 추가하는 것이 좋습니다. 하지만 이 시점에서 주요 변경 사항을 최소화하고 다른 부울 필드와 혼동을 피하기 위해 별도의 레코드를 선언해야 합니다(F#은 더 엄격한 유니온 케이스 필드 이름 btw):

type FieldGetInfo =
    { Name: string
      IsMutable: bool
      IsAnonymousRecord: bool }

type GetKind =
    | FieldGet of info: FieldGetInfo
    | ...

@alfonsogarciacaro 감사합니다. 효과가 있었다! 🎉

다음 문제:

testCase "Map.IsEmpty works" <| fun () ->
    let xs = Map.empty<int, int>
    xs.IsEmpty |> equal true
    let ys = Map [1,1; 2,2]
    ys.IsEmpty |> equal false

JS의 경우 다음과 같이 컴파일됩니다.

Testing_testCase("Map.isEmpty works", () => {
    Testing_equal(true, isEmpty_1(ofSeq([], {
        Compare: (x_1, y_1) => compare(x_1, y_1),
    })));
    Testing_equal(false, isEmpty_1(ofSeq([[1, 1]], {
        Compare: (x_2, y_2) => comparePrimitives(x_2, y_2),
    })));
})

ofSeq 는 두 개의 인수로 호출됩니다. 그러나 ofSeq 는 단일 인수만 사용합니다.

let ofSeq elements =
    Map<_, _>.Create elements

export function ofSeq(elements) {
    return FSharpMap_Create(elements);
}

ofSeq 가 호출될 때 Compare 가 있는 개체 표현식이 추가된 이유는 무엇입니까?

흠, 이것에 대해 조사해야합니다. 버그처럼 보이지만 ofSeq 는 비교자를 허용해야 합니다( MapTree.ofSeq 및 Set.ofSeq 와 같은 유사한 기능은 수행). 설정이 약간 복잡하므로 어떤 시점에서 동기화되지 않았을 수 있습니다. 대체에서 인수 주입이 필요한 메서드를 나타내는 데 사용하는 ReplacementsInject.fs라는 파일이 있습니다. 이 파일을 자동으로 생성하는 스크립트가 어딘가에 있지만 사용하지 않은지 오래되어 최신 FCS 버전에서 작동하는지 확실하지 않습니다. 확인하겠습니다 지적 감사합니다!

임시 수정을 추가했습니다. 검토 준비 🎉 https://github.com/fable-compiler/Fable/pull/2345