Làm thế nào để tạo C# -friendly, các loại tương thích .Net 4.0 sử dụng các nhà cung cấp loại F # 3.0

Question

Tôi muốn tạo các loại "mạnh" dựa trên nguồn dữ liệu đã nhập "yếu", sử dụng cơ chế cung cấp kiểu F # 3.0. Các kiểu được tạo ra phải có thể truy cập được từ các máy khách C# trong một môi trường chỉ có .Net 4.0 được cài đặt, nhưng không phải .Net 4.5. Nếu không thể tương thích .Net 4.0, chúng tôi không thể sử dụng các nhà cung cấp kiểu trong dự án ERP quy mô lớn hiện tại của chúng tôi.

Cho đến nay, tôi đã thành công trong việc tạo MyGeneratedTypes.dll bằng cách làm theo tutorial trên msdn (phần "Cung cấp loại được tạo)", sử dụng ProvidedTypeDefinition từ "ProvidedTypes-0.2.fs", là một phần của mẫu F # 3.0 đóng gói. (Để nó hoạt động, tôi phải xóa dòng "File.Delete ..." từ phương thức "ProvidedTypeDefinition.ConvertToGenerated ...").

MyGeneratedTypes.dll có phiên bản thời gian chạy v4.0.30319, là OK (thời gian chạy là .Net 4.0). Tôi có thể thêm một tham chiếu đến MyGeneratedTypes.dll trong ứng dụng C#/.Net 4.0 và IntelliSense hiển thị các loại và thành viên như mong đợi. Tuy nhiên, khi tôi cố gắng biên dịch, trình biên dịch C# thất bại và tạo ra 'cảnh báo MSB3258: Tham chiếu chính "MyGeneratedTypes" không thể được giải quyết vì nó có sự phụ thuộc gián tiếp vào hội đồng .NET Framework "FSharp.Core, Version = 4.3.0.0 , Văn hóa = trung lập, PublicKeyToken = b03f5f7f11d50a3a "có phiên bản cao hơn" 4.3.0.0 "so với phiên bản" 4.0.0.0 "trong khung mục tiêu hiện tại. '

Một cái nhìn tại IL Spy xác nhận rằng MyGeneratedTypes.dll thực sự chứa tham chiếu đến FSharp.Core 4.3, eventhough tham chiếu này là hoàn toàn không cần thiết. Cho đến nay, tôi đã tìm thấy không có cách nào để ngăn chặn trình biên dịch F # đưa tham chiếu này vào assembly được tạo ra. (Trong số những thứ khác, tôi đã tạo ra một hội đồng .Net 4.0 thuần túy trong C# và chuyển nó cho hàm tạo của ProvidedTypeDefinition, nhưng điều này không có ảnh hưởng).

Không ai biết a) cách loại bỏ tham chiếu hoặc b) nếu đây chỉ là vấn đề của ứng cử viên phát hành F # 3.0, sẽ được giải quyết trong bản phát hành cuối cùng.

Sửa

Các cuộc trò chuyện với @ Brian đã dẫn đến việc làm theo giải pháp "một phần" cho vấn đề: Bạn thể biên soạn một "tinh khiết C#/Net 4,0" khách hàng tham khảo một thư viện với F # 3.0 các kiểu được tạo ra, nhưng chỉ bằng cách gọi trình biên dịch .NET 4.0 C# (csc) trực tiếp từ dòng lệnh. Nó không hoạt động khi biên dịch trong VS 2010 hoặc thông qua dòng lệnh MSBuild. Tôi nghi ngờ điều này là do hành vi sau:

1. MyGeneratedTypes.dll được tạo trong VS 2012 với cơ chế nhà cung cấp loại F #.
2. Trong quá trình tạo, tham chiếu đến FSharp.Core 4.3 được tự động chèn (ngay cả khi không cần), mà không chỉ định "SpecificVersion: true" trong siêu dữ liệu cho phụ thuộc.
3. Máy khách C# trong VS 2010 trên hệ thống ". 4,5 miễn phí" tham chiếu MyGeneratedTypes.dll.
4. Khi trình khách C# được biên soạn, MSBuild phát hiện ra tham chiếu gián tiếp tới FSharp.Core 4.3 bên trong MyGeneratedTypes.dll.
5. Vì tham chiếu gián tiếp tồn tại với "SpecificVersion: false", MSBuild phát ra cảnh báo MSB3257 và từ chối chuyển tham chiếu trực tiếp /r:"MyGeneratedTypes.dll "tới trình biên dịch C# (csc). (Lưu ý: Cảnh báo MSBuild không thể bị chặn theo bất kỳ cách nào.)
6. Trình biên dịch C# (csc) được gọi là MSBuild, không có /r:"MyGeneratedTypes.dll ".Do đó, nó không thể biên dịch và phát ra lỗi trình biên dịch CS0246: "Không thể tìm thấy loại tên hoặc không gian tên 'MyGeneratedTypes' (...)".

Theo tôi có thể nói, chúng tôi đang gặp vấn đề này trừ khi cơ chế nhà cung cấp loại F # được sửa đổi hoặc a) để loại trừ ref thành FSharp.Core 4.3 khi không cần thiết trong hội đồng được tạo, hoặc b) để bao gồm ref với siêu dữ liệu "SpecificVersion:true".

Answer 1

Chỉ cần thêm tham chiếu đến FSharp.Core 4.3.0.0 trong dự án C# (hoặc bỏ qua cảnh báo). Mặc dù quy ước đánh số kỳ lạ, FSharp.Core 4.3.0.0 không phụ thuộc vào bất kỳ thứ gì trong .Net 4.5, nó chỉ phụ thuộc vào .Net 4.0.