Сообщение Re[4]: Nitra-C# и Nitra-Nemerle от 30.01.2016 11:36
Изменено 30.01.2016 12:27 VladD2
Здравствуйте, vaskir, Вы писали:
V>Какие я вижу проблемы в реализации расширяемого F#:
V>
V>Significant whitespace синтаксис (хотя Nemerle тоже его поддерживает и, возможно, здесь проблем не будет).
V>Глобальный вывод типов.
V>Однопроходный компилятор, поэтому последовательность объявлений типов/функций и порядок файлов важен.
V>Type Providers — генерят типы лениво и поддерживают так называемые erased types, которые стираются при компиляции.
V>
F#, по описанным тобой причинам, плохо IDE-зируемый язык. Тайп провайдеры не проблема, а вот однопроходная схема и глобальный вывод типов — это приговор. При этом по возможностям от от Немерла мало чем отличается.
Что касается отступного парсер, то ясно как это дело реализовать, но это надо делать, а приоритет у этого дела не высокий.
C# же можно использовать как базу для Nemerle 2.0.
V>Какие я вижу проблемы в реализации расширяемого F#:
V>
V>Significant whitespace синтаксис (хотя Nemerle тоже его поддерживает и, возможно, здесь проблем не будет).
V>Глобальный вывод типов.
V>Однопроходный компилятор, поэтому последовательность объявлений типов/функций и порядок файлов важен.
V>Type Providers — генерят типы лениво и поддерживают так называемые erased types, которые стираются при компиляции.
V>
F#, по описанным тобой причинам, плохо IDE-зируемый язык. Тайп провайдеры не проблема, а вот однопроходная схема и глобальный вывод типов — это приговор. При этом по возможностям от от Немерла мало чем отличается.
Что касается отступного парсер, то ясно как это дело реализовать, но это надо делать, а приоритет у этого дела не высокий.
C# же можно использовать как базу для Nemerle 2.0.
Re[4]: Nitra-C# и Nitra-Nemerle
Здравствуйте, vaskir, Вы писали:
V>Какие я вижу проблемы в реализации расширяемого F#:
V>* Significant whitespace синтаксис (хотя Nemerle тоже его поддерживает и, возможно, здесь проблем не будет).
V>* Глобальный вывод типов.
V>* Однопроходный компилятор, поэтому последовательность объявлений типов/функций и порядок файлов важен.
V>* Type Providers — генерят типы лениво и поддерживают так называемые erased types, которые стираются при компиляции.
F#, по описанным тобой причинам, плохо IDE-зируемый язык. Тайп провайдеры не проблема, а вот однопроходная схема и глобальный вывод типов — это приговор. При этом по возможностям от от Немерла мало чем отличается.
Что касается отступного парсер, то ясно как это дело реализовать, но это надо делать, а приоритет у этого дела не высокий.
C# же можно использовать как базу для Nemerle 2.0.
V>Какие я вижу проблемы в реализации расширяемого F#:
V>* Significant whitespace синтаксис (хотя Nemerle тоже его поддерживает и, возможно, здесь проблем не будет).
V>* Глобальный вывод типов.
V>* Однопроходный компилятор, поэтому последовательность объявлений типов/функций и порядок файлов важен.
V>* Type Providers — генерят типы лениво и поддерживают так называемые erased types, которые стираются при компиляции.
F#, по описанным тобой причинам, плохо IDE-зируемый язык. Тайп провайдеры не проблема, а вот однопроходная схема и глобальный вывод типов — это приговор. При этом по возможностям от от Немерла мало чем отличается.
Что касается отступного парсер, то ясно как это дело реализовать, но это надо делать, а приоритет у этого дела не высокий.
C# же можно использовать как базу для Nemerle 2.0.