Но прекомпиляция же

Хммм... всегда считал, шо шаблоны - те же макросы

да всё так и есть. это всё война понятий

Или нет?

Ну и проверки синтаксиса внутри темплейтов делаются. Даже MS с этим в конце концов согласились.

Т.е. условно в нужное место заинлайнится нужный тип

Точнее сигнатура функции с нужным типом

Т.е. условно в нужное место заинлайнится нужный тип

Да, заинлайнится. Но это не препроцессор! Это другая совсем штука.

Принципиально другая, лучше препроцессора.

Темплейты лучше препроцессора примерно настолько же, насколько концепты лучше безконцептовых темплейтов.

давайте называть макрос с констрейном из фишарп SRTP, а макрос с кострейном на плюсах метапрограммированием

да всё так и есть. это всё война понятий

да хрен там. макросы ретранслируют текст, а механизм шаблонов - тьюринг-полный подъязык

да хрен там. макросы ретранслируют текст, а механизм шаблонов - тьюринг-полный подъязык

это вот откуда такое определение? мм? макросы, гомоиконичность, тюрингполнота слышали?

Понеслась

Понеслась

?

это вот откуда такое определение? мм? макросы, гомоиконичность, тюрингполнота слышали?

с чем конкретно ты не согласен? что макросы в C/C++ не тьюринг-полные, или что темплейты в C++ тьюринг-поные?

кстати SRTP в F# - это фигня бесполезная чуть более чем полностью

с чем конкретно ты не согласен? что макросы в C/C++ не тьюринг-полные, или что темплейты в C++ тьюринг-поные?

ну я с определением макросов не согласился. а нащет полных всем и по всему темплейтов я даже не спорил. я тут как раз рассказывал, что на шаблонах плюсов можно делать дофига вещей. в том числе 100% аналогичные фишарпным инлайнам. и вопрос только в том, что одни это занесли с систему типов, а у других система типов уже как 100 лет неформализуемая)

Павел в своем стиле

кстати SRTP в F# - это фигня бесполезная чуть более чем полностью

Она позволяет нам писать 2.0 + 2.0 вместо 2.0 +. 2.0. Уже польза!

Разве это она позволяет? Мне казалось, это просто перегрузка операторов.

Ну, которая и без SRTP есть в F#.

Разве это она позволяет? Мне казалось, это просто перегрузка операторов.

именно так

ну я с определением макросов не согласился. а нащет полных всем и по всему темплейтов я даже не спорил. я тут как раз рассказывал, что на шаблонах плюсов можно делать дофига вещей. в том числе 100% аналогичные фишарпным инлайнам. и вопрос только в том, что одни это занесли с систему типов, а у других система типов уже как 100 лет неформализуемая)

определения макросов в C/C++ и в лиспе - они разные. А спосылом я согласен. В С++ метапрограммизм сверхмощный, такой мощный, что аж тошнит и глаза на лоб лезут. А в F# его практически нет - и очень хорошо. Меньше говнокода, быстрее компилится

определения макросов в C/C++ и в лиспе - они разные. А спосылом я согласен. В С++ метапрограммизм сверхмощный, такой мощный, что аж тошнит и глаза на лоб лезут. А в F# его практически нет - и очень хорошо. Меньше говнокода, быстрее компилится

интересно, что исторический предок F# - Ocaml всякие подобные вопросы в своем стиле рулил. и не сказать, что хуже тайпклассов или имплиситов из скалы. модули как объекты первого порядка рулят. жаль только на clr плохо ложится

Настолько хорошо, что они решили завезти себе имплиситов.

интересно, что исторический предок F# - Ocaml всякие подобные вопросы в своем стиле рулил. и не сказать, что хуже тайпклассов или имплиситов из скалы. модули как объекты первого порядка рулят. жаль только на clr плохо ложится

да офигенно рулил. просто и со вкусом в отличие от тайпклассов/трейтов. И по скорости почти как С++. Но clr, да - отстой, там модули сделать не алё

Настолько хорошо, что они решили завезти себе имплиситов.

ну я видно уже упустил момент)

Разве это она позволяет? Мне казалось, это просто перегрузка операторов.

Нет, в исходниках очень интересный код.

Friedrich Приеду домой, покажу.

Ок!

Всё-таки это артефакт реализации, скорее. Но было бы интересно взглянуть.

ну я видно уже упустил момент)

гуманный метапрограммизм имхо тольков D - там не типизированные темплейты с возможностью растановок стат. проверок инстационирования. И сообщенниякомпилятора об ошибках инстационирования - читаемые. И скорость компиляции огонь. Жаль, что кто-то решил его оставить пребывать в маргинальной нише

Всё-таки это артефакт реализации, скорее. Но было бы интересно взглянуть.

https://github.com/Microsoft/visualfsharp/blob/master/src/fsharp/FSharp.Core/prim-types.fs#L3438

Я что-то не припомню такого синтаксиса, кстати.

Со специализациями inline фукций.

Все верно: error FS: Static optimization conditionals are only for use within the F# library

Там такое богатство, и всё его от нас прячуть!

Там такое богатство, и всё его от нас прячуть!

Заведем предложение?

На самом деле, пока не представляю, зачем могут понадобиться специализации.

Все верно: error FS: Static optimization conditionals are only for use within the F# library

то есть так не прокатит. Это подтверждает мою мысль о практической бесполезности SRTP или нет?

то есть так не прокатит. Это подтверждает мою мысль о практической бесполезности SRTP или нет?

Это о другом вообще. :)

то есть так не прокатит. Это подтверждает мою мысль о практической бесполезности SRTP или нет?

По поводу пользы SRTP у @fvnever вон пример есть.

Простой и понятный доброму человеку пример: https://github.com/ForNeVeR/EvilPlanner/blob/dd44d11895b3d61b592fb4599117367ed57c2222/EvilPlanner.Logic/DatabaseExtensions.fs#L15-L33

Если еще допилят вот этот PR, то пользы будет еще больше: https://github.com/Microsoft/visualfsharp/pull/3582

Потом сразу же бы хотелось реализацию вот этого RFC. https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1024-simplify-call-syntax-for-statically-resolved-member-constraints.md

И это уже будет более-менее прилично выглядящая фича.

https://twitter.com/nikivazou/status/907451058154295297

Простой и понятный доброму человеку пример: https://github.com/ForNeVeR/EvilPlanner/blob/dd44d11895b3d61b592fb4599117367ed57c2222/EvilPlanner.Logic/DatabaseExtensions.fs#L15-L33

я наверное не добрый ибо ни хрена не понел

Если еще допилят вот этот PR, то пользы будет еще больше: https://github.com/Microsoft/visualfsharp/pull/3582

не понятно чем это отличается от тайп-классов и трейтов, кроме более извращённого синтаксиса

Потом сразу же бы хотелось реализацию вот этого RFC. https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1024-simplify-call-syntax-for-statically-resolved-member-constraints.md

насколько я понял, благодаря inline это юудет как и прежде работать только для своего кода.

не понятно чем это отличается от тайп-классов и трейтов, кроме более извращённого синтаксиса

а, впрочем понял чем - опять таки бесполезностью из-за inline. ни о каком ad-hock полиморфизме опять речи не идёт?

насколько я понял, благодаря inline это юудет как и прежде работать только для своего кода.

Все верно. Нормальные тайпклассы на этом еще не построить.

а, впрочем понял чем - опять таки бесполезностью из-за inline. ни о каком ad-hock полиморфизме опять речи не идёт?

Но я вон ссылку на PR приложил, который улучшает вывод типов в случае SRTP.

https://twitter.com/nikivazou/status/907451058154295297

тут всё портит > :) Должно быть primes = nubBy (((> 1) .) . gcd) [2..]

тут всё портит > :) Должно быть primes = nubBy (((> 1) .) . gcd) [2..]

ну я понятия не имею, с каких пор телеграмм начал эскейпить строки.

так-то в твитте все так и было

Начал? Мне кажется, это "карточки" твиттера такие - эскейпают служебные символы на всякий случай

Впрочем это как раз Телеграм может неправильно карточки обрабатывать...

ну я понятия не имею, с каких пор телеграмм начал эскейпить строки.

хмм, если оборачиваешь в ` все в порядке, сколько тестили, все хорошо

Печально, что CLR и C# тормозят развитие F# ?

А вообще чисто для F# вносились какие-либо изменения в CLR?

А вообще чисто для F# вносились какие-либо изменения в CLR?

Это очень сомнительная идея — вносить такие изменения ради конкретного языка. Даже по отношению к флагманскому C# они очень долго обсуждают такие вещи.

А вообще чисто для F# вносились какие-либо изменения в CLR?

В общем-то, последние изменения в CLR вносились в версии 4, и это было очень давно. И они тогда делались не ради конкретного языка, а больше в общем — поменялась модель безопасности и пр. мелочи. Поэтому ответ на твой вопрос — нет, не делались. Но и изменения для C# тоже делались последний раз довольно давно, ещё в версии 2. И участвовал в этом Don Syme :)

С развитием Core теперь что-то фундаментально новое в CLR совсем нескоро сделают

Хотя те же Variadic Generics прям напрашиваются

Хотя те же Variadic Generics прям напрашиваются

Боюсь, что для этого надо очень большую научную работу проводить, в первую очередь. Где-то есть такие генерики? (шаблоны в C++ не считаются)

В тайпскрипте есть proposal, также слышал про движуху в rust / swift

Ну научная работа, они Microsoft в конце концов или кто? У них Microsoft Research чем ваще занимется? Или так и проживем всю жизнь с кучей Tuple/Action/Func?

Ну научная работа, они Microsoft в конце концов или кто? У них Microsoft Research чем ваще занимется? Или так и проживем всю жизнь с кучей Tuple/Action/Func?

F* (F star) пилит

Microsoft Research занимается тем, что им интересно - это практически независимая организация, обязанная лишь отдавать интересные бизнесу наработки собственно Микрософту

> У них Microsoft Research чем ваще занимется? Haskell пилят, например :)

У них уже когда-то был C*, но почему-то заглох

Равно как и Code Contracts

Равно как и Code Contracts

а из-за чего умерли? из-за того, что время компиляции убивали?

Я не представляю. Мы их все еще в паре проектов юзаем, но скорее по привычке

Привет. Кто-нибудь делал проект полностью на F#? Имеется ввиду проект с бэкендом на net core и фронтом на Fabel

Мне не даёт покоя идея использовать один ЯП из нет стека повсюду.

наверное @angmarr

т.е. у меня есть контроллер, который упраляется андроидом (тут я могу использовать F# на Xamarin), андроид получает команды от сервера, сервер от фронта. И вроде всё можно сделать на одном ЯПе. Вопрос, насколько это здравая идея

т.е. у меня есть контроллер, который упраляется андроидом (тут я могу использовать F# на Xamarin), андроид получает команды от сервера, сервер от фронта. И вроде всё можно сделать на одном ЯПе. Вопрос, насколько это здравая идея

Ни на грамм

Почти все попытки протащить бэкендовый язык на фронт разбиваются о нехватку либ для этого языка при огромном разнообразии либ для JS. Да и фронтендеры не хотят учить новые языки, как правило

Ни на грамм

?

> Вопрос, насколько это здравая идея > Ни на грамм :)

?

На F# полностью Xamarin не получится, да и это вообще-то на С#-то весьма не просто

Почти все попытки протащить бэкендовый язык на фронт разбиваются о нехватку либ для этого языка при огромном разнообразии либ для JS. Да и фронтендеры не хотят учить новые языки, как правило

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

Когда интеропишься с либой, где размазанное неявное состояние и типики несходятся - это боль

cljs динамически типизирован

Привет. Кто-нибудь делал проект полностью на F#? Имеется ввиду проект с бэкендом на net core и фронтом на Fabel

Я делал в проде изоморфные приложения на WebSharper. Как я уже гооврил c fable всё плохо и на ней не надо ничего делать.

Почти все попытки протащить бэкендовый язык на фронт разбиваются о нехватку либ для этого языка при огромном разнообразии либ для JS. Да и фронтендеры не хотят учить новые языки, как правило

gopherjs компилит практически всю стандартную библиотеку гошечки

Если уж хочется "F# в браузере", то можно тупо Elm взять - то же семейство языков, тот же синтаксис плюс-минус. И либы есть уже для типичных задач

А ещё можно не пользовать npm и остальной зоопарк :) Ибо репозиторий пакетов свой, тулинг свой, отладчик свой - всё своё.

Но с интеропом будет БОЛЬ (поэтому и пилят свои пакеты)

если хочется F# в браузере - https://websharper.com/

Интероп через ботлнек в виде портов - то ещё удовольствие. Зато динамические типики и эксепшны не пролезают - это плюс, конечно

На F# полностью Xamarin не получится, да и это вообще-то на С#-то весьма не просто

Чому нет? Интероп же есть

Чому нет? Интероп же есть

Ну, сомнительно

наверное @angmarr

Нет, я не занимаюсь фронтендом вообще, только ReactNative с Fable

Ну, сомнительно

Так и скажи что не пробовал ?