Fable: 우화 2에서 연재

내가 Fable을 좋아하는 이유 중 하나는 JSON 지원 때문입니다. 인코더/디코더 기능을 여기저기 추가해야 하는 것은 어려운 일이 될 것입니다. 아주 초기 릴리스의 F# 유형에서 JS 개체에 매우 가깝고 대부분의 경우 JSON.parse/stringify 만 사용할 수 있었고 제한 사항을 알고 있었기 때문에 거의 작동할 수 있었습니다. 불행히도 Fable이 좋아지면서 JSON에서 Lists와 DateTimes를 사용하기 시작했습니다. 그래서 만약 그들이 간다면 약간의 프로젝트 재작성이 될 것입니다.

Thot.Json 코드 생성이 클라이언트와 서버 모두에 대한 빌드 체인의 일부가 될 수 있다면(net46x에서 - 예, 언젠가는 업그레이드해야 할 것입니다), 아마도 가짜를 호출하는 일종의 사전 빌드 이벤트(내가 FSharp.Data.SqlClient용 SQL 데이터베이스를 배포하는 데 사용)을 사용할 수 있습니까? 아니면 MS 빌드 작업/대상이 여전히 문제입니까... 자동 복원에 대한 패킷은 어떻게 됩니까?

_몇 년 전에 Newtonsoft.Json과 헤어졌습니다._

카운터 포인트를 생성하기 위해 현재 DU에서 메시지 유형을 역직렬화하기 위해 프로덕션 Fable 1 노드 앱에서 리플렉션을 사용하고 있습니다.

https://github.com/intel-hpdd/device-scanner/blob/16233ff62ad710aa02d6c8fe8acdbcad0c3e1e3e/IML.DeviceScannerDaemon/src/Main.fs#L13 -L20

변환을 함께 구성하고 런타임에 예상대로 유형 검사/구성할 수 있도록 노드 스트림의 인코딩 유형을 자동 결정하기 위해:

https://github.com/intel-hpdd/fable-import-node-powerpack/blob/4004f9c430517c1f26bf47f9c2f766598e500b0d/fable/Stream.fs#L99 -L120

https://github.com/intel-hpdd/device-scanner/blob/16233ff62ad710aa02d6c8fe8acdbcad0c3e1e3e/IML.DeviceScannerDaemon/src/Main.fs#L23 -L42

이 서비스의 소비자는 스트리밍 데이터를 가져오기 위해 데몬에 메시지를 보내야 합니다. https://github.com/intel-hpdd/device-scanner/tree/master/IML.DeviceScannerDaemon (그래서 대신 레코드/문자열로 유지 배열이 이상적입니다.) 하지만 직렬화를 시도하기 전에 문자열 일치를 해결할 수 있다고 생각합니다.

나에게 더 큰 문제는 런타임에 반사 정보 부족을 기반으로 노드 스트림을 자동 구성하는 기능을 잃는 것이지만 이 문제도 해결할 수 있습니다.

@davidtme 빌드 체인 또는 TP 지원 등을 통해 Thot.Json 디코더/인코더 생성을 통합하는 방법을 찾고 있습니다.

이 주제에 대한 나의 미래 진행 상황을 추적하기 위해 Thot.Json에서 문제를 열 ​​것입니다.

참고로 저는 Fable용 Thot.Json과 동일한 API를 제공하는 Thot.Json.Net 을 게시합니다.

컴파일러 지시문을 사용하여 코드를 공유할 수 있다는 아이디어:

// By adding this condition, you can share you code between your client and server 
#if FABLE_COMPILER
open Thot.Json
#else
open Thot.Json.Net
#endif

선적 서류 비치

@alfonsogarciacaro 컴파일 시 유형 정보를 감지하고 이에 따라 serialization 프로세스를 조정할 수 있습니까?

유형 정보는 컴파일 유형에서 사용할 수 있습니다. 예. _both_가 리플렉션 없이 유형 정보에 액세스하고 직렬화를 컴파일러 외부로 이동하기를 원하더라도 일종의 플러그인이 필요합니다(Fable 2 alpha :wink:에서도 사용할 수 없음). 그러나 "직렬화 프로세스 조정"이 정확히 무엇을 의미합니까?

TBH, 나는 생성된 자바스크립트를 Fable을 평가하는 사람들에게 더 매력적으로 만들기 위해 기능을 제외하는 것이 이상하다고 생각합니다. 멋진 자바스크립트를 생성하는 것이 Fable의 모토라는 것을 알고 있고 정말 마음에 듭니다. 하지만 Fable이 자바스크립트에 컴파일러로 가지고 있는 가장 강력한 판매 포인트인 IMO는 JS 에코시스템과의 멋진 상호 운용성이며 모든 자바스크립트에 적용할 수 있는 F#을 사용하고 있습니다. 실행 시간. 훌륭하게 생성된 자바스크립트는 바로 그것입니다. (실제로 유저들에게 설문조사를 해보면 어떨까요?)

대부분의 경우에 작동하지만 모든 경우는 아니며 런타임에 놀라움을 줄 수 있습니다. 이는 안전한 언어를 판매하는 경우 좋지 않습니다.

그런 다음 실패한 예외적인 경우를 구현합니다. 자동 직렬화/역직렬화 실패는 런타임에 메타데이터가 충분하지 않은 위치에서 발생하는 것 같습니다.

그것은 프론트엔드 측에서 Newtonsoft.Json을 어떻게든 미러링하고 일부 사람들은 속성, json에 유형 정보 포함 등과 같은 것을 지원할 것으로 기대합니다.

Newtonsoft.Json과 동일한 용이성 을 제공하며 사용자는 이미 기본값으로 사용하는 것에 매우 만족하고 있습니다. 사람들이 더 많은 제어 및 사용자 정의를 원하면 Thot.Json 또는 Fable.SimpleJson 이 필요한 수준의 제어를 제공합니다.

내가 아는 다른 언어(F# 포함)에는 핵심 시스템에 직렬화가 포함되어 있지 않습니다. 이것은 Fable 코드 베이스의 유지 관리 비용을 증가시키고 그것을 리팩토링하기 더 어렵게 만듭니다(Fable 2에서와 같이). 직렬화를 외부 라이브러리로 옮기면 매우 기쁠 것입니다.

ofJson<'a> 및 'toJson`으로 유지 관리 비용이 증가한다는 데 동의하지만 그만한 가치가 있습니다. 외부 라이브러리를 만들려면 소비자가 이러한 변환기를 작성할 수 있도록 리플렉션을 잘 구현해야 합니다.

@Zaid-Ajaj 제 관점에서는 생성된 자바스크립트를 보기 좋게 만드는 것 뿐만 아니라 번들 크기를 줄이는 것입니다.

특히 인터넷 연결이 여전히 느린 국가에서 많은 사람들이 그것에 대해 불평하는 것을 봅니다. :)

@alfonsogarciacaro 속성 이름을 키로 사용하여 Maps, Sets 등을 지원하기 위해 직렬 변환기 호출을 Fable에서 사용자 지정하는 방법에 대해 생각하고 있었지만 그것은 일종의 나쁜 생각입니다. 이것은 많은 코드 중복을 의미하고 또한 각 직렬 변환기 호출이 동일하지 않을 것입니다. 이 아이디어는 잊어 버리자 :)

@alfonsogarciacaro 유형 정보를 "유형 모듈"에 포함할 수

모듈은 앱의 모든 유형 정보를 포함할 수 있으며 사용되지 않는 경우 Webpack에서 제거할 수 있어야 합니다.

귀하의 의견에 감사드립니다. 현재 ofJson/toJson 도우미가 매우 편리하고 사용하기 쉬운 것을 제공하지 않는 한 대체되어서는 안 된다는 것을 이해합니다. @jgrund 샘플도 감사합니다. Fable이 프로덕션에서 어떻게 사용되는지 보는 것은 매우 유용합니다. 내가 볼 수있는 것은 리플렉션이 ofJson 에만 사용되는 것으로 typeof<'T> 또는 이와 유사한 것을 사용하는 다른 곳이 있습니까?

통찰력 @Zaid-Ajaj에도 감사드립니다. Maxime이 말했듯이 코드를 더 읽기 쉽게 만드는 것(실제로 어떤 곳에서는 _less_ 가독성이 되지만 Fable 2에서는 더 최적화될 수 있음)을 만드는 것 뿐만 아니라 번들 크기를 줄이고 생성된 코드를 JS 최적화 도구에 더 적합하게 만드는 문제입니다. 번들 크기가 너무 크면 사용자가 다른 옵션을 고려할 수 있는 경우 Fulma와 같이 더 성숙하고 복잡한 라이브러리가 있으므로 생존의 문제이기도 합니다. Fable은 기능의 _대부분_과 BCL의 FSharp.Core 및 _일부_를 사용하여 F# 언어를 컴파일하려고 시도하고 리플렉션이 F# 언어 기능인지 BCL/.NET 런타임의 일부인지 결정하는 것은 또 다른 주제입니다. 물론 매우 유용한 기능이지만 Fable 2 알파 릴리스를 사용하여 비용/혜택과 실행 가능한 대안이 있는지 여부를 평가하고 싶습니다.

@MangelMaxime 예, 위에서 고려한 세 번째 옵션입니다. 이 Types 모듈이 일관성 없는 상태가 될 수 있기 때문에 시계 컴파일에 대해 약간의 의심이 있습니다. 하지만 확실하지 않습니다. 시도해 볼 수 있을 것 같습니다.

다시 한 번, 귀하의 의견에 감사드립니다. 의견은 정말 유용합니다. 현재 Fable 사용자에게 피해를 줄 수 있는 일을 하려는 것이 저의 최소한의 의도인지 확인하십시오. 대안과 그 효과를 더 쉽게 비교할 수 있도록 Fable 2 알파 버전을 출시하려고 합니다. +1:

느릅나무 대신 Fable을 선택한 가장 중요한 이유는 F#을 양쪽에서 사용할 수 있고 여러 계층에서 유형을 재사용할 수 있기 때문입니다. 리플렉션 자체는 필요하지 않지만 @davidtme가 말했듯이 이전 구현은 "그냥 작동했습니다". JSON 직렬화를 위해 유형 시스템의 일부 측면을 포기하는 것이 편하지만 거의 모든 플랫폼 간 직렬화 형식에 해당하며 저는 괜찮습니다.

컴파일러 플러그인으로 추출된 직렬화는 해제할 수 있다면 큰 절충안이 될 것입니다. ;)

typeof<'T> 또는 이와 유사한 것을 사용하는 다른 장소가 있습니까?

죄송합니다. 관련 섹션을 강조 표시하지 않았습니다. https://github.com/intel-hpdd/fable-import-node-powerpack/blob/4004f9c430517c1f26bf47f9c2f766598e500b0d/fable/Stream.fs#L144

이렇게 하면 컴파일 시간 정보에서 스트림 인코딩과 읽을 수 있는 쪽의 상태를 설정할 수 있으므로 유형별로 이미 인코딩된 정보로 각 스트림을 수동으로 구성하지 않아도 됩니다.

그 바탕으로, 나는 꽤 좋은 인 함께 사전에 옵션을 하드 코딩에 대한 걱정없이 작성 스트림 등의 작업을 수행 할 수 있습니다 : https://github.com/intel-hpdd/fable-import-node-powerpack/blob/4004f9c430517c1f26bf47f9c2f766598e500b0d/test/ 스트림.테스트.fs#L221 -L232

여기에 또 다른 영리한 반사 사용법이 있습니다.
https://github.com/Zaid-Ajaj/Fable.Remoting/blob/master/Fable.Remoting.Client/Proxy.fs#L70

그리고 여기:
https://github.com/Zaid-Ajaj/Fable.Remoting/blob/master/Fable.Remoting.Client/Proxy.fs#L169

전체 Fable.Remoting 프로젝트 아이디어는 서버와 클라이언트 모두에서 반영 가능성을 기반으로 합니다.

통신이 대기 시간이나 성능에 민감한 경우가 아니면 대중적인 요청은 아닐 것입니다. 하지만 전송을 위해 원시 값 유형을 지원하는 것은 어떻습니까? 예를 들어 .NET 압축 및 관리되지 않는("blittable") 값 유형을 지원합니까? 정의에 따르면 네이티브와 .NET 모두에서 어디에서나 동일한 표현을 갖습니다. 이 원시 표현은 때때로 json 직렬화/역직렬화가 서버에서 너무 cpu/memory/gc/지연 집약적이기 때문에 중요할 수 있습니다(특히 많은 클라이언트 및/또는 높은 메시지 속도에서). 클라이언트의 제로 복사는 ArrayView/TypedArray/DataView 지원을 사용하여 지원할 수도 있습니다(필드는 버퍼에서 직접 읽고/씁니다).
아마도 이것은 NodeJS 기본 interop에도 사용할 수 있습니다(ffi 포함).

[<Struct>]
[<StructLayout(LayoutKind.Sequential, Pack=1)>]
type Vector3 =
    val X: int32
    val Y: int32
    val Z: int32
    new(x,y,z) = {
      X=x;
      Y=y;
      Z=z;
    }
    new(dataview: DataView,offset) = {
    //TODO
    }

@zpodlovics에 의견을 보내주셔서 감사합니다. 나는 이런 종류의 직렬화에 익숙하지 않다고 말해야 합니다. JSON 또는 바이너리 직렬화에 대해 이야기하고 있습니까? (한 프로젝트에서 Google Flatbuffers 프로토콜을 사용하여 바이너리 직렬화를 조금 플레이했지만 많은 상용구 코드가 필요했습니다.) 직렬화된 데이터가 어떻게 보이는지 예를 들어 주시겠습니까? Fable은 JS 코드 및 런타임에서 최적화하기 위해 유형에서 일부 데이터를 제거하므로 .NET과 JS에서 정확히 동일한 표현을 갖는 것은 약간 어려울 수 있습니다. 값(구조체) 유형을 정의할 수 없는 것과 같은 JS의 제한 사항 외에도.

또한 위에서 언급한 것처럼 직렬화를 컴파일러 핵심 코드와 분리하여 유지하는 것을 선호합니다. Fable 2에서는 사용자의 편의를 위해 일종의 기본 JSON 직렬화를 유지하겠지만 더 복잡한 작업은 별도의 패키지에서 수행하는 것이 좋습니다.

@alfonsogarciacaro 댓글 감사합니다!

글쎄, 그것은 실제로 직렬화 형식이 아니라 네이티브 C 구조체로 표현되는 직접적인 메모리 표현입니다. "직렬화된" 형식은 정확히 ac 구조체(네이티브)[1]와 같습니다. 네이티브 애플리케이션과 동일한 메모리 표현을 사용하기 때문에 네이티브 interop에도 필요합니다. 이전 예제에서는 3 * 4 = 12바이트 메모리 영역을 사용합니다. Struct는 지원 메모리 영역(.Wrap)을 대체하는 메서드를 사용하여 개체로 "에뮬레이션"될 수 있습니다.

이전 구조체는 JS DataView API(https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/DataView/getInt32)를 사용하여 다음과 같은 의사 코드로 변환할 수 있습니다.

예:

type Vector3 =
    val mutable view: DataView
    val mutable offset: int32
    static member XOffset=0
    static member YOffset=4
    static member ZOffset=8
    new(v: DataView,o:int32) = {
      view=v;
      offset=o;
    }
    member __.Wrap(v: DataView,o:int32) = {
      view=v;
      offset=o;
    }
    member __.X
        with get() = __.view.getInt32(__.offset+Vector3.XOffset)
        and set(v) = __.view.setInt32(__.offset+Vector3.XOffset,v)
    member __.Y
        with get() = __.view.getInt32(__.offset+Vector3.YOffset)
        and set(v) = __.view.setInt32(__.offset+Vector3.YOffset,v)
    member __.Z
        with get() = __.view.getInt32(__.offset+Vector3.ZOffset)
        and set(v) = __.view.setInt32(__.offset+Vector3.ZOffset,v)       

예, 수동으로 생성할 수 있지만 수동으로 하면 시간이 많이 걸리고 오류가 발생하기 쉽습니다. 특히 컴파일러에 유형, 메모리 레이아웃, 필드 오프셋 등 필요한 모든 정보가 이미 있는 경우. 일종의 컴파일러 확장 플러그인/api/ast도 사용자 정의 생성된 codegen과 완벽하게 호환됩니다. 결국 모든 사람들은 바이너리 문제에 직면하게 될 것입니다. 바이너리를 어떻게 읽고 써야 하는지, 예를 들어 이미지/오디오/비디오/문서/네트워크 패킷 등.

interop(ffi 지원)을 위한 직렬화 형식으로 기본 제공되는 원시 메모리 표현은 모든 사람에게 놀라운 가치를 가질 수 있습니다. 모든 플랫폼에서 개발자는 플랫폼을 조작할 수 있는 두 가지 옵션이 있습니다. 1) 플랫폼 기본 코드로 interop 코드 작성(플랫폼 컴파일러, 다른 도구 체인, 다른 빌드/테스트/배포 프로세스 등) 2) interop에 대한 원시 메모리를 나타내는 코드 작성 + 피피. .NET에 핀보크 지원 기능이 내장된 것은 우연이 아닙니다.

씨:
[1] https://en.wikipedia.org/wiki/Struct_ (C_programming_language)
.그물
[2] https://www.developerfusion.com/article/84519/mastering-structs-in-c/
JS
[3] https://github.com/TooTallNate/ref-struct

@zpodlovics에 대한 자세한 설명 정말 감사합니다! 과거에 데이터 보기를 사용하여 구조체를 에뮬레이트하는 방법을 살펴보았지만 여전히 제한이 있기 때문에 많은 작업을 수행하지 않았습니다(예: 숫자만 사용할 수 있고 구조체 중첩이 어렵습니다. 배열에서 구조체를 복사하는 것도 까다롭습니다 등). ). 또한 숫자 배열을 사용하여 Fable로 메모리를 더 잘 제어하는 ​​것이 이미 가능합니다. 숫자 배열은 Typed Array로 변환되기 때문입니다. 그러나 이것은 지금까지 사용자들 사이에서 그다지 매력적이지 않았습니다.

당신이 말했듯이 직렬화와 정확히 관련이 없기 때문에 우리는 아마도 이것에 대한 새로운 문제를 열어야 할 것입니다. 현재로서는 그것을 우선순위로 생각할 수 없지만, 이와 관련하여 기여하는 것을 보면 매우 기쁠 것입니다. Fable 2의 플러그인 이야기는 아직 미정이지만 이러한 플러그인 작업에 관심이 있다면 이와 같은 것을 허용하도록 만들 수 있습니다.

그러나 고려해야 할 한 가지는 WebAssembly 지원이 .NET/F#에 제공되고 이 경우 메모리 표현이 .NET 모델에 더 가깝다는 것입니다. 이 경우 Fable은 F#을 JS 에코시스템에 더 가깝게 통합하고 앱의 프론트엔드를 구축하는 데 사용할 수 있는 현재 도구/libs를 활용하는 방법으로 남을 수 있습니다.

@alfonsogarciacaro 이 문제를 종료할 수 있습니까?