Pavel Предложи свой вариант.

а фиг его знает. кроме "функция типа" ниче в голову не лезет, а это очевидно не то

в контексте теории типов это type function не называется

Это -- нет, но если у нас один термин используется для разного, то можно и переводить единообразно.

потому и интересна практика перевода

"функция над типами", не?

Здесь уже, как по мне, надо не изобретать, а "подслушать", как говорят по-русски F# разработчики. Которые тут как раз и собрались ?

"функция над типами", не?

так так называется в F# не любая функция, которая типы принимает, а та, которая _только_ типы принимает

ну да, тоже верно

так так называется в F# не любая функция, которая типы принимает, а та, которая _только_ типы принимает

хммм, я так поняла, это оно и есть

Здесь уже, как по мне, надо не изобретать, а "подслушать", как говорят по-русски F# разработчики. Которые тут как раз и собрались ?

подозреваю что по русски никто это определение не употребляет.оно вообще "Type functions are rarely used in F# programming"

так так называется в F# не любая функция, которая типы принимает, а та, которая _только_ типы принимает

> A value that has explicit generic parameters but has arity [] (that is, no explicit function parameters) is called a type function.

Здесь уже, как по мне, надо не изобретать, а "подслушать", как говорят по-русски F# разработчики. Которые тут как раз и собрались ?

Переводы книг смотрела?

я по русски это называю "полиморфное значение", так же как его окамлисты и хаскелисты называют

Переводы книг смотрела?

У меня из русскоязычного под рукой только TaPL был

можно в google books найти ряд книг с употреблением type function и потом переводы этих книг

можно в google books найти ряд книг с употреблением type function и потом переводы этих книг

Можно, просто я почему-то до этого раньше не додумалась ?

можно в google books найти ряд книг с употреблением type function и потом переводы этих книг

гугл вообще это сочетание игнорирует

> A value that has explicit generic parameters but has arity [] (that is, no explicit function parameters) is called a type function.

ну да, я про то, что "функция над типами" это любая полиморфная функция, у нее и другие параметры могут быть уже для значений, так что смысл это определение не передает

гугл вообще это сочетание игнорирует

именно гугл букс находит

ну да, я про то, что "функция над типами" это любая полиморфная функция, у нее и другие параметры могут быть уже для значений, так что смысл это определение не передает

а, я сначала так поняла, что наоборот

> A value that has explicit generic parameters but has arity [] (that is, no explicit function parameters) is called a type function.

вот проблем как раз отсюда. обзовут значение функцией а мы мучайся

вот проблем как раз отсюда. обзовут значение функцией а мы мучайся

Это крест всех переводчиков ? Кроме тех, которым по барабану :)

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

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

Ха, языковые картины мира в применении к ЯП ?

я по русски это называю "полиморфное значение", так же как его окамлисты и хаскелисты называют

Мне тоже нравится. Но хотелось бы отсылку к F# Spec с type function.

@AnutaU Как решишь, короче. :)

@AnutaU Как решишь, короче. :)

Теперь я мучаюсь ?

подозреваю что по русски никто это определение не употребляет.оно вообще "Type functions are rarely used in F# programming"

Спросите у @sergey_tihon, например

Спросите у @sergey_tihon, например

у него все посты на инглише :)

да, я не спец в переводах, их сложно очень делать и читать потом тоже сложно особенно если знаешь англ термины

предложу списать с перевода Смита “Функция типа (type function) – это особый тип функции, которая не принимает никаких аргументов, кроме параметра обобщенного типа. Существует несколько полезных функций типов, которые мы исследуем в следующих главах:”

предложу списать с перевода Смита “Функция типа (type function) – это особый тип функции, которая не принимает никаких аргументов, кроме параметра обобщенного типа. Существует несколько полезных функций типов, которые мы исследуем в следующих главах:”

я так и написала сначала, потом почесала репу и полезла майнить терминологию, а там "типовая функция"

В общем, у меня теперь куча информации, чтобы подумать, а потом принять жесточайше волевое решение

как по мне так за словом “типовая” кроется шаблон или темплит, но раз Смита уже кто-то перевел как “Функция типа” то я бы наверно так и оставил.

как по мне так за словом “типовая” кроется шаблон или темплит, но раз Смита уже кто-то перевел как “Функция типа” то я бы наверно так и оставил.

Да, если в русскоязычной литературе уже используется какой-то термин, я склонна к тому, чтобы его и придерживаться. Я просто не ожидала, что type function будет обозначать разное в разных контекстах ?

если кому-то интересно, Дон сег написал тестов для ТР под стандарт и под кор, и у него все работает https://github.com/fsprojects/FSharp.TypeProviders.SDK/issues/190#event-1417641247

если кому-то интересно, Дон сег написал тестов для ТР под стандарт и под кор, и у него все работает https://github.com/fsprojects/FSharp.TypeProviders.SDK/issues/190#event-1417641247

Отлично!

если кому-то интересно, Дон сег написал тестов для ТР под стандарт и под кор, и у него все работает https://github.com/fsprojects/FSharp.TypeProviders.SDK/issues/190#event-1417641247

Потрясно

надо ж. все таки "функция типа"

я так и написала сначала, потом почесала репу и полезла майнить терминологию, а там "типовая функция"

первое решение часто самое верное :)

Немного оффтоп может

Это где?

Это где?

Worldwide

интересно есть выборка по снг ?

не та которая на djinni

О, VBA

Лол https://twitter.com/kot_2010/status/947825586646462465

https://twitter.com/reubenbond/status/951249239488610305

Привет.

Привет.

Привет.

если кому-то интересно, Дон сег написал тестов для ТР под стандарт и под кор, и у него все работает https://github.com/fsprojects/FSharp.TypeProviders.SDK/issues/190#event-1417641247

Надо бы самому попробовать написать какой-нибудь игрушечный провайдер под нетстандарт.

интересно есть выборка по снг ?

а по снг вообще есть вакансии f#?

а по снг вообще есть вакансии f#?

Очень мало. :)

Надавно искали в Москве программиста на F# в финансы.

Надавно искали в Москве программиста на F# в финансы.

До сих пор на hh висит

Ну и в Касперский)

чет оно с графиком то не сильно коррелирует

Меня тоже всегда удивляет, кто же эти счастливцы, и откуда они. :)

Привет.

Привет.

Меня тоже всегда удивляет, кто же эти счастливцы, и откуда они. :)

с британии в основном думаю. там Сайм фиников плотно окучивал

с британии в основном думаю. там Сайм фиников плотно окучивал

В топе по UK нет F#.

хм

В топе по UK нет F#.

Ну топ же по оплачиваемости. Так что это не значит, что там вакансий для F# нет

Ну топ же по оплачиваемости. Так что это не значит, что там вакансий для F# нет

https://insights.stackoverflow.com/survey/2017#top-paying-technologies

А, цифры не те

Посмотри на Worldwide, а потом по странам.

Ага, в перечисленных странах нет F#

И кложы тоже.

Это интересно.

Интересно тогда, что же это за чудо-страна такую статистику делает?)

еще интереснее это

https://insights.stackoverflow.com/survey/2016#technology-top-paying-tech

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

Тут еще сильно зависит от количества вакансий

Я так понимаю, просто может быть где-то совсем мало вакансий (а то и вообще одна), но с какой-то дикой з/п. И этим так влиять на статистику

Да

Я знаю персонажа в США который работает в NDA с 500к

вот он и портит всю статистику

+ по перлу, по моим данным средняя ЗП по перлу 150к примерно на территории калифорнии

Нужно, чтобы SO ещё помимо средней оценки считали медианную

Всем привет Есть ли нормальный, читабельный пример по составлению AST и парсера на FParsec чего то посложнее чем JSON?

Чтобы максимальное количество функций FParsec посмотреть на примере

https://indexoutofrange.com/Troubleshooting-compiled-Azure-Functions-in-F/

если кому-то интересно, Дон сег написал тестов для ТР под стандарт и под кор, и у него все работает https://github.com/fsprojects/FSharp.TypeProviders.SDK/issues/190#event-1417641247

Ура

Всем привет Есть ли нормальный, читабельный пример по составлению AST и парсера на FParsec чего то посложнее чем JSON?

можно просто на Parsec посмотреть. по нему инфы больше. или самому на активных паттернах собрать (Харроп одобряет).

можно просто на Parsec посмотреть. по нему инфы больше. или самому на активных паттернах собрать (Харроп одобряет).

Это который на хаскеле?

Это который на хаскеле?

ну да. FParsec с него же слизан