Но-но, поменьше сарказма. Я об этом никогда не задумывался, пока ногу не отстрелил :)

Кстати, баги на гитхабе лучше не писать же? А то там ишуи открыты

Но-но, поменьше сарказма. Я об этом никогда не задумывался, пока ногу не отстрелил :)

В целом всё так. В случае с райдером ещё сложность в том, чтобы протащить всё из FCS в решарпер, и чтобы при этом оно не стало сильно медленнее. Из интересных сложностей: в других языках обычно можно по синтаксису понять, во что скомпилируется декларация символа хотя бы на уровне "это будет класс" или "это будет интерфейс" и это позволяет строить кэш по синтаксическим деревьям, а потом уже поверх него и информации из сборок и другого кода можно выводить остальное, например, считать типы в методе или базовые классы. В F# же часто нельзя понять, что получится в скомпилированной сборке, и это усложняет анализ F# <-> C# в случае с решарпером и вообще интеграцию с его кэшами. Например, до резолва/вывода типов неизвестно, во что скомпилируется тип, ведь, например, атрибут [<Class>] может порезолвиться во что-нибудь другое, если его переопределить. Или нельзя синтаксически отличить Union с одним случаем и без | от аббревиатуры типы. Если делать честный резолв, то это будет крайне медленно. В Rider/VS/Ionide есть эвристики, которые работают достаточно хорошо, но их все можно сломать. Ещё из похожего, например, нельзя понять, будет ли функция из F# методом или свойством в сборке. Проблема в выводе типов и порядке файлов. На текущий момент нельзя быстро узнать что-либо про произвольный файл, пока не пройдёт проверка типов для всех предыдущих файлов в проекте (что бывает достаточно долго), а прикрутить сюда инкрементальную инвалидацию, со слов Дона, будет довольно сложно.

В целом всё так. В случае с райдером ещё сложность в том, чтобы протащить всё из FCS в решарпер, и чтобы при этом оно не стало сильно медленнее. Из интересных сложностей: в других языках обычно можно по синтаксису понять, во что скомпилируется декларация символа хотя бы на уровне "это будет класс" или "это будет интерфейс" и это позволяет строить кэш по синтаксическим деревьям, а потом уже поверх него и информации из сборок и другого кода можно выводить остальное, например, считать типы в методе или базовые классы. В F# же часто нельзя понять, что получится в скомпилированной сборке, и это усложняет анализ F# <-> C# в случае с решарпером и вообще интеграцию с его кэшами. Например, до резолва/вывода типов неизвестно, во что скомпилируется тип, ведь, например, атрибут [<Class>] может порезолвиться во что-нибудь другое, если его переопределить. Или нельзя синтаксически отличить Union с одним случаем и без | от аббревиатуры типы. Если делать честный резолв, то это будет крайне медленно. В Rider/VS/Ionide есть эвристики, которые работают достаточно хорошо, но их все можно сломать. Ещё из похожего, например, нельзя понять, будет ли функция из F# методом или свойством в сборке. Проблема в выводе типов и порядке файлов. На текущий момент нельзя быстро узнать что-либо про произвольный файл, пока не пройдёт проверка типов для всех предыдущих файлов в проекте (что бывает достаточно долго), а прикрутить сюда инкрементальную инвалидацию, со слов Дона, будет довольно сложно.

ДЛя выражения f a b сначала будет вычислено b

Буду рад посмотреть на репро. ;)

Погоди, а чёт у меня не воспроизвелось: https://sharplab.io/#v2:DYLgZgzgNALiBOBXAdgH2AUxgAgLaJgEMAjTbAD2wF5sAGAWAChMcMwwMBjGACgEpqFbAB4AtEIDU2AIwBubAAd4AS2QwwybACIApAEEtFeeSYtsYAPYWhAT0FLV6zbr3Z9hyjaaXrPNh25+AT92Ll4+PiA= Видишь? Сначала 1, потом 2.

Ну в моём случае репро простое — создать в студии проект и открыть его (ранее я как-то уже описывал проблему; проблема была в FSharpTargetsPath — у меня вместо него Райдер пустую строку видит). Но оказалось, что это только у меня такая проблема.

Ну в моём случае репро простое — создать в студии проект и открыть его (ранее я как-то уже описывал проблему; проблема была в FSharpTargetsPath — у меня вместо него Райдер пустую строку видит). Но оказалось, что это только у меня такая проблема.

Если б твоя гипотеза была верна, то самый правый effect() бы вычислился в 1, а самый левый — в 2, и вывод был бы 2 1

Ты возьми f a b

А вот сейчас я создал чистый проект "Client-Server Application" для WebSharper 4.2, исправил в файле проекта <Import Project="$(FSharpTargetsPath)" Condition="Exists('$(FSharpTargetsPath)')"/>, чтобы проект загружался (потому что до сих пор не загружается проект без правок). Он начал загружаться, но в процессе "Processing source files" вылетает ошибка: https://i.imgur.com/BuCvdE6.png

А это у тебя же студия по нестандартному пути установлена?

Не знаю, вроде стандартно всё. По крайней мере я при установке ничего не менял

А вот сейчас я создал чистый проект "Client-Server Application" для WebSharper 4.2, исправил в файле проекта <Import Project="$(FSharpTargetsPath)" Condition="Exists('$(FSharpTargetsPath)')"/>, чтобы проект загружался (потому что до сих пор не загружается проект без правок). Он начал загружаться, но в процессе "Processing source files" вылетает ошибка: https://i.imgur.com/BuCvdE6.png

А давай в новой консоли выведи echo %FSharpTargetsPath%

А давай в новой консоли выведи echo %FSharpTargetsPath%

А вот сейчас я создал чистый проект "Client-Server Application" для WebSharper 4.2, исправил в файле проекта <Import Project="$(FSharpTargetsPath)" Condition="Exists('$(FSharpTargetsPath)')"/>, чтобы проект загружался (потому что до сих пор не загружается проект без правок). Он начал загружаться, но в процессе "Processing source files" вылетает ошибка: https://i.imgur.com/BuCvdE6.png

И ещё бы логи было бы круто посмотреть.

params c# во что в F# трансформируется?