@Fsharp_chat

Страница 451 из 772
Pavel
10.01.2018
12:53:30
Pavel Предложи свой вариант.
а фиг его знает. кроме "функция типа" ниче в голову не лезет, а это очевидно не то

Evgeniy
10.01.2018
12:55:14
в контексте теории типов это type function не называется
Это -- нет, но если у нас один термин используется для разного, то можно и переводить единообразно.

A64m
10.01.2018
12:55:46
потому и интересна практика перевода

Aleksey
10.01.2018
12:56:31
"функция над типами", не?

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

A64m
10.01.2018
12:58:09
"функция над типами", не?
так так называется в F# не любая функция, которая типы принимает, а та, которая _только_ типы принимает

Aleksey
10.01.2018
12:58:27
ну да, тоже верно

Pavel
10.01.2018
12:59:39
Здесь уже, как по мне, надо не изобретать, а "подслушать", как говорят по-русски F# разработчики. Которые тут как раз и собрались ?
подозреваю что по русски никто это определение не употребляет.оно вообще "Type functions are rarely used in F# programming"

Anna
10.01.2018
12:59:58
так так называется в F# не любая функция, которая типы принимает, а та, которая _только_ типы принимает
> A value that has explicit generic parameters but has arity [] (that is, no explicit function parameters) is called a type function.

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

Anna
10.01.2018
13:00:39
Переводы книг смотрела?
У меня из русскоязычного под рукой только TaPL был

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

Anna
10.01.2018
13:02:27
можно в google books найти ряд книг с употреблением type function и потом переводы этих книг
Можно, просто я почему-то до этого раньше не додумалась ?

A64m
10.01.2018
13:03:38
> A value that has explicit generic parameters but has arity [] (that is, no explicit function parameters) is called a type function.
ну да, я про то, что "функция над типами" это любая полиморфная функция, у нее и другие параметры могут быть уже для значений, так что смысл это определение не передает

Google
A64m
10.01.2018
13:03:53
Pavel
10.01.2018
13:04:02
> A value that has explicit generic parameters but has arity [] (that is, no explicit function parameters) is called a type function.
вот проблем как раз отсюда. обзовут значение функцией а мы мучайся

Anna
10.01.2018
13:05:22
вот проблем как раз отсюда. обзовут значение функцией а мы мучайся
Это крест всех переводчиков ? Кроме тех, которым по барабану :)

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

Evgeniy
10.01.2018
13:22:03
@AnutaU Как решишь, короче. :)

Anna
10.01.2018
13:22:40
@AnutaU Как решишь, короче. :)
Теперь я мучаюсь ?

Pavel
10.01.2018
13:26:19
Спросите у @sergey_tihon, например
у него все посты на инглише :)

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

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

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

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

Anna
10.01.2018
13:49:37
как по мне так за словом “типовая” кроется шаблон или темплит, но раз Смита уже кто-то перевел как “Функция типа” то я бы наверно так и оставил.
Да, если в русскоязычной литературе уже используется какой-то термин, я склонна к тому, чтобы его и придерживаться. Я просто не ожидала, что type function будет обозначать разное в разных контекстах ?

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

Google
Pavel
10.01.2018
15:16:54
надо ж. все таки "функция типа"

Nikolay
10.01.2018
15:21:09
Немного оффтоп может



Roman
10.01.2018
15:48:46
Это где?

Nikolay
10.01.2018
15:57:31
Peter
10.01.2018
15:58:40
интересно есть выборка по снг ?

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

Artemy
10.01.2018
19:28:07
О, VBA

Roman
11.01.2018
07:52:57
Лол https://twitter.com/kot_2010/status/947825586646462465

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

Evgeniy
11.01.2018
11:27:58
Привет.

Vlad
11.01.2018
11:30:54
Привет.
Привет.

Evgeniy
11.01.2018
11:52:26
Pavel
11.01.2018
16:26:41
интересно есть выборка по снг ?
а по снг вообще есть вакансии f#?

Evgeniy
11.01.2018
16:32:00
Надавно искали в Москве программиста на F# в финансы.

Alexey
11.01.2018
17:01:39
Ну и в Касперский)

Pavel
11.01.2018
17:04:25
чет оно с графиком то не сильно коррелирует

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

Привет.

Admin


kir
11.01.2018
17:09:41
Привет.

Pavel
11.01.2018
17:11:10
Меня тоже всегда удивляет, кто же эти счастливцы, и откуда они. :)
с британии в основном думаю. там Сайм фиников плотно окучивал

Pavel
11.01.2018
17:11:48
хм

Artemy
11.01.2018
17:13:07
В топе по UK нет F#.
Ну топ же по оплачиваемости. Так что это не значит, что там вакансий для F# нет

Evgeniy
11.01.2018
17:13:41
Artemy
11.01.2018
17:15:25
А, цифры не те

Evgeniy
11.01.2018
17:15:41
Посмотри на Worldwide, а потом по странам.

Artemy
11.01.2018
17:15:50
Ага, в перечисленных странах нет F#

Evgeniy
11.01.2018
17:15:54
И кложы тоже.

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

Artemy
11.01.2018
17:16:13
Интересно тогда, что же это за чудо-страна такую статистику делает?)

Pavel
11.01.2018
17:17:36
еще интереснее это

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

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

Dmitriy
11.01.2018
17:22:01
Тут еще сильно зависит от количества вакансий

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

Google
Dmitriy
11.01.2018
17:22:23
Да

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

john
11.01.2018
17:23:48
вот он и портит всю статистику

Dmitriy
11.01.2018
17:24:19
+ по перлу, по моим данным средняя ЗП по перлу 150к примерно на территории калифорнии

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

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

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

Roman
11.01.2018
21:47:46
https://indexoutofrange.com/Troubleshooting-compiled-Azure-Functions-in-F/

Pavel
12.01.2018
08:33:27
Всем привет Есть ли нормальный, читабельный пример по составлению AST и парсера на FParsec чего то посложнее чем JSON?
можно просто на Parsec посмотреть. по нему инфы больше. или самому на активных паттернах собрать (Харроп одобряет).

Pavel
12.01.2018
08:39:44
Это который на хаскеле?
ну да. FParsec с него же слизан

Страница 451 из 772