Size: a a a

2021 February 23

МП

Миша Проказин... in F# Chat
А почему вы говорите что на SQL Provider забили? Я смотрю, вроде на гитхабе что-то коммитят
источник

МП

Миша Проказин... in F# Chat
Потихоньку
источник

AH

Ayrat Hudaygulov in F# Chat
Миша Проказин
А почему вы говорите что на SQL Provider забили? Я смотрю, вроде на гитхабе что-то коммитят
Не, на саму фичу ТП в F# забили
источник

МП

Миша Проказин... in F# Chat
???
источник

AH

Ayrat Hudaygulov in F# Chat
Она топчик, это реально новый шаг в метапрограммировании
источник

AH

Ayrat Hudaygulov in F# Chat
единственное она ниибически сложная и уровень кастомизации зависит от самого ТП, для тебя это черный ящик всегда
источник

МП

Миша Проказин... in F# Chat
Ayrat Hudaygulov
единственное она ниибически сложная и уровень кастомизации зависит от самого ТП, для тебя это черный ящик всегда
Сложная для разрабов компилятора?
источник

AH

Ayrat Hudaygulov in F# Chat
Миша Проказин
Сложная для разрабов компилятора?
для разработчика ТП в первую очередь. Оно требует константных данных на этапе компиляции для работы - реальной БД, примера екселя и пр
источник

VZ

Vlad Zaa in F# Chat
Господа, планирую на следующую неделю очередной Compiler talk, хотим обсуждать typechecker и srtp/witness passing. Будет интересно такое послушать?
источник

VZ

Vlad Zaa in F# Chat
Среди списка тем на будущие сешны: Type inference, mutually recursive definitions (namespace rec), Pattern match compilation, Quotations, Imports (for .NET assembiles) + mangling, IL Reading/Writing, FSI implementation details, Compiler testing.
источник

RM

Roman Melnikov in F# Chat
Vlad Zaa
Господа, планирую на следующую неделю очередной Compiler talk, хотим обсуждать typechecker и srtp/witness passing. Будет интересно такое послушать?
Конечно!
источник

AH

Ayrat Hudaygulov in F# Chat
А скиньте канал с предыдущими сешнами, я чот линку потерял (надо подписаться)
источник

IC

Ilya L Che in F# Chat
Ayrat Hudaygulov
А скиньте канал с предыдущими сешнами, я чот линку потерял (надо подписаться)
источник

VS

Vasily Shapenko in F# Chat
Vlad Zaa
Господа, планирую на следующую неделю очередной Compiler talk, хотим обсуждать typechecker и srtp/witness passing. Будет интересно такое послушать?
Про withness passing с удовольствием
источник
2021 February 24

Lr

Larymar r.sorokin in F# Chat
Доброе утро, я посяните за синтаксис
зачем для лямбд писать fun, всегда слышал, что f# имеет более богатую систему вывода типов, а тут какое-то лишнее слово
источник

Dv

Dr. Friedrich von Ne... in F# Chat
Larymar r.sorokin
Доброе утро, я посяните за синтаксис
зачем для лямбд писать fun, всегда слышал, что f# имеет более богатую систему вывода типов, а тут какое-то лишнее слово
Ну дядь, одно дело — система (вывода) типов, и совсем другое — синтаксис языка :)
источник

Dv

Dr. Friedrich von Ne... in F# Chat
fun — это тяжкое наследие OCaml.
источник

Lr

Larymar r.sorokin in F# Chat
Dr. Friedrich von Never
Ну дядь, одно дело — система (вывода) типов, и совсем другое — синтаксис языка :)
не понятно
если я написал -> значит это лямбда
логично жеж
источник

Dv

Dr. Friedrich von Ne... in F# Chat
Которое, кстати, в данном конкретном случае, возможно (?) когда-нибудь поправят, введя специальный синтаксис для доступа к мемберам. И можно будет переписать твоё выражение как-то так:
let res = Array.filter _.Contains
источник

Dv

Dr. Friedrich von Ne... in F# Chat
Хотя у тебя там чот не дописано
источник