есть дикое желание попилить F# lang server так как он быстрее выше сильнее ионида

делал кто уже такую задачу?

Я не делал, но было бы интересно попробовать, если мозга хватит

Слушайте, а мне интересно. Но я без понятия, как это вообще делается

этот Lang server работает по протоколу https://langserver.org/

по нему прокидывается инфа про раскраску в нужных местах (номер строки, офсет, длина раскраски)

@Ayrat ты просто золото, сейчас затестишь мне эти задачки до того, как студенты начнут их решать, и я буду знать, чего от них ждать, каких подвохов!

В черную пятницу первый из студентов войдет в этот чатик

В черную пятницу первый из студентов войдет в этот чатик

зайти в чатик F# flood чтобы найти решения задач на ракете - это звёзды должны не в ряд, а в раскоряку встать!

В черную пятницу первый из студентов войдет в этот чатик

ну мне же проще, если что буду знать, откуда списали :)

И да, я за развитие lang server

он обладает знанием про AST

и написан на общем протоколе

и хотя бы поэтому он лучше

перспективнее 100%

зайти в чатик F# flood чтобы найти решения задач на ракете - это звёзды должны не в ряд, а в раскоряку встать!

не поверишь. от гугла до сюда через Аню 4 клика. так что при умении гуглить 5 сек

не поверишь. от гугла до сюда через Аню 4 клика. так что при умении гуглить 5 сек

А если ты из ЦРУ, то можно дойти в 2 клика!

нигде не скрыться, да

ну мы ж про студентов

Да не, это я сетую на тлен

У меня не такая уж прямо секретность, чтобы прям как бы чего не нагуглили. Ну зайдут в чатик и хорошо.

значит, я молодец :)

значит, я молодец :)

Ты молодец!

Ты молодец!

этот Lang server работает по протоколу https://langserver.org/

https://microsoft.github.io/language-server-protocol/specification https://github.com/georgewfraser/fsharp-language-server/tree/master/src/LSP

И да, я за развитие lang server

а я - студии и райдера :(

непереношу вскод

а я - студии и райдера :(

там шансов на улучшение мало

непереношу вскод

так lang server это для всего

разве?

так lang server это для всего

для вскода

я не уверен что lang server юзается в студии или райдере

они там точно своё велосипедят

все что захочет реализовать протокол то сможет общаться с lang server

я не уверен что lang server юзается в студии или райдере

Можно написать плагин и будет и для студии

в этом-то и прикол lang server что он client агностик

эт да

поэтому я и говорю, огромный бонус что это так

т.е. его можно и в атом впилить, и в саблайм

и куда угодно

vim реализовал клиентскую часть протокола и вуаля у нас есть F# lang server под вим

что сразу расширит кол-во пользователей

т.е. его можно и в атом впилить, и в саблайм

ага

что сразу расширит кол-во пользователей

ага

vim реализовал клиентскую часть протокола и вуаля у нас есть F# lang server под вим

у нас есть все lang сервер под вим, не только для F# и надо написать только один плагин для клиента. Это оч круто.

https://microsoft.github.io/language-server-protocol/specification https://github.com/georgewfraser/fsharp-language-server/tree/master/src/LSP

кстати, то что тут в спеке типы указанны в ts это очень удобно т.к. ts2Fable дасть удобство переноса типов

да, надо посмотреть

или убедить разраба ионида дропнуть их говно в виде FsAutoComplete

и сделать нормально

он ещё течёт

это я про FsAutoComplete

fx <- fun c -> c = fx <- id

не знал о id )

он ещё течёт

Постоянно

https://www.reddit.com/r/fsharp/comments/9wpw84/introducing_masse_a_new_shopping_platform/ лолчики

не знал о id )

кстати если ты цифры игноришь, можешь начало не скипать

https://www.reddit.com/r/fsharp/comments/9wpw84/introducing_masse_a_new_shopping_platform/ лолчики

Most of the team is ex-Jet.

лол

кстати если ты цифры игноришь, можешь начало не скипать

Игнорю но в начале т.к. невалидные имена будет

А всякие Data1 норм

на лямбдах сделали

молодцы

А всякие Data1 норм

тогда в середине IsLetterOrDigit

тогда в середине IsLetterOrDigit

Хм

@AnutaU а как в задаче про stairs2 нормально мемоизацию сделать?

@AnutaU а как в задаче про stairs2 нормально мемоизацию сделать?

подумать и исхитриться 🤷‍♀️

подумать и исхитриться 🤷‍♀️

ну я придумал втупую мемоизировать (cons n k)

но это тупо

Я придумала какой-то способ, но возможно он не самый изящный, хоть и довольно очевидный

ну я придумал втупую мемоизировать (cons n k)

что значит втупую?

(10 10) и (10 11) - разные ключи, а смысла мало, там одно и то же значение

как и для (10 10000)

т.е. 10 ступенек и 100000 возможностей шагать через 2 ступеньки

количество возможностей шагать через две ступеньки можно ограничить, например, количеством ступенек. Больше точно не нужно

логично

количество ступенек не больше 100

тоже логично

да, ясно

:D

в плане тесты не проходили

Ты разрушил мою веру! Какая там наркомания может быть, кода на выходе регекспа группа в матче это то, что нужно замапить на первую заглавную и склеить опосля?

Ты разрушил мою веру! Какая там наркомания может быть, кода на выходе регекспа группа в матче это то, что нужно замапить на первую заглавную и склеить опосля?

type CaseTestType = JsonProvider<"""{"11__)123 data1-test_1value space": 10}"""> [<Test>] let ``Symbols and property case test`` () = let data = CaseTestType.GetSample() Assert.AreEqual(10, data.Data1Test1ValueSpace)