Size: a a a

F# Flood: Rabbits of postacopalypse

2021 April 27

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
и потом у него взорвалось от фстара и отсутствия подсветки лол
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
(хотя непонятно чо он ожидал)
источник

T

Tako in F# Flood: Rabbits of postacopalypse
ну да,но конечная цель достигнута ведь!
источник

IC

Ilya L Che in F# Flood: Rabbits of postacopalypse
Мог бы и сам подсветку на фстаре сделать, а не взрываться.
источник

RS

Rustam Sayfutdinov in F# Flood: Rabbits of postacopalypse
Там вроде её начинали делать или что то такое
источник

IC

Ilya L Che in F# Flood: Rabbits of postacopalypse
Начинали, да. Пару лет назад.
https://github.com/Invisible-Rabbit-Hunter/vscode-language-fstar
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
ну вот ладно бы только подсветка, там еще и лсп нерабочий
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
и короче единственный способ это писать в чернобелом варианте и вызывать компилятор чтобы узнать ошибки
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
ну короче старый добрый олдовый метод
источник

IC

Ilya L Che in F# Flood: Rabbits of postacopalypse
А, вот чуть более живое.
https://github.com/FStarLang/fstar-mode.el
источник

RS

Rustam Sayfutdinov in F# Flood: Rabbits of postacopalypse
Ф топку без LSP 😌
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
да ладно, если ты до фстара дотянешь, лсп там особо погоды не сделает.
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
ну да, удобнее
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
но такое.
источник

RS

Rustam Sayfutdinov in F# Flood: Rabbits of postacopalypse
Так даже в райдер его можно будет попробовать встроить
источник

IC

Ilya L Che in F# Flood: Rabbits of postacopalypse
Деды без LSP писали, и ты пиши.
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
давайте откровенно, фстар не для продакшна, а для рнд
источник

DS

Doge Shibu in F# Flood: Rabbits of postacopalypse
Ну как любой прувер подобный язык же
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
ну вот да, поэтому не вижу особых проблем.
источник

AH

Ayrat Hudaygulov in F# Flood: Rabbits of postacopalypse
Ну точнее вижу, но шо делать
источник