@fsharp_flood - страница 2729

Vladislav

https://github.com/fsprojects/FSharpPlus/blob/3e5be186d2fece1fa3282bc7490f7f1ff97632c3/src/FSharpPlus/Control/Foldable.fs#L149

удоли

Ayrat

осталось найти вызов!

Ayrat

или тест

Ayrat

короче, ларчик просто открывался

Ayrat

к сожалению, так нельзя

Ayrat

потому что

Ayrat

это компилируется module Program type Test = { A: int } static member staticFn (_,_,_) = () let inline foo (x: ^a) = (^a: (static member staticFn: _ -> _ -> _ -> _) 1,2,3) let inline bar (x: ^a) = (^a: (static member staticFn: _*_*_-> _) 1,2,3) let x = foo { A = 1 } let y = bar { A = 1 } @fvnever отдавай пиво

Ayrat

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

Ayrat

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

Stas

это компилируется module Program type Test = { A: int } static member staticFn (_,_,_) = () let inline foo (x: ^a) = (^a: (static member staticFn: _ -> _ -> _ -> _) 1,2,3) let inline bar (x: ^a) = (^a: (static member staticFn: _*_*_-> _) 1,2,3) let x = foo { A = 1 } let y = bar { A = 1 } @fvnever отдавай пиво

_*_*_-> бляяя

Stas

сколько нужно пить, что бы это понять?

Ayrat

сколько нужно пить, что бы это понять?

понимаю.

Stas

крч, фшарп язык смайликов

Nikolay

это компилируется module Program type Test = { A: int } static member staticFn (_,_,_) = () let inline foo (x: ^a) = (^a: (static member staticFn: _ -> _ -> _ -> _) 1,2,3) let inline bar (x: ^a) = (^a: (static member staticFn: _*_*_-> _) 1,2,3) let x = foo { A = 1 } let y = bar { A = 1 } @fvnever отдавай пиво

Какие-то жопки

Nikolay

Всё равно функция staticFn определена кортежем жеж

Stas

я думаю, если начать писать *_* смайлики так, то есть шанс, что в фшарп это чет значит)

Nikolay

(_,_,_) Жопка же

Denis

только если _*_

Vladimir

_*_*_-> бляяя

в сишарпе же то же самое, только запятые

Ayrat

(_*_) вот жопка со смыслом!

Nikolay

Всё равно функция staticFn определена кортежем жеж

@omgszer незачет

Ayrat

@omgszer незачет

что опять???

Nikolay

что опять???

Ну кортеж жеж

Nikolay

А я хотел без кортежей...

Ayrat

ТЫ ЧИТАЛ ЧТО Я НАПИСАЛ

Ayrat

НАВЕРНОЕ НЕТ

Ayrat

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

Nikolay

Ну вот незачёт

Nikolay

Чтобы пиво заслужить - иди компилятор поправь

Ayrat

я бы код поправил, карированные мемберы это пахнет говнокодом!!1

Nikolay

я бы код поправил, карированные мемберы это пахнет говнокодом!!1

🌚

Nikolay

я бы код поправил, карированные мемберы это пахнет говнокодом!!1

Пиво хошь? Иди править компилятор!

Ayrat

Пиво хошь? Иди править компилятор!

я форневеру отдал!!!

Ayrat

(но у меня ешё есть хехе)

Nikolay

В Мск давай

Nikolay

Пиво пить

Nikolay

@Liminiens тебе расскажет как фшарп компилятор собрать

Vladislav

боюсь тут слишком дохуя охуительных историй

Ayrat

В Мск давай

оч сложно. я хотел детей бабкам на лето отдать - хуй там был

Ayrat

пришлось самому ебаться всё лето, а я на такое не подписывался

Nikolay

боюсь тут слишком дохуя охуительных историй

Айрат

Nikolay

пришлось самому ебаться всё лето, а я на такое не подписывался

Пивом спасался?

Ayrat

Пивом спасался?

Перешёл на уиски!

Vasily

Уиски прямо топ

Vasily

Я недавно пробовал ирландский

Vasily

Оч хороший

Romɑn

Айрат

Бля, обнаружил, что я подписан на епифанцева в инсте.

Romɑn

Vladyslav

мужики в форме (с)

Romɑn

мужики в форме (с)

Vladyslav

обзоры Badcomedian не смотрят тут?

Stas

обзоры Badcomedian не смотрят тут?

смотрят, я понял о чем :)

Igor

А они опять стали стали веселые? Или все еще "все ху_ня и распил".

Vladyslav

в смысле стали?

Stas

А они опять стали стали веселые? Или все еще "все ху_ня и распил".

видел его в латексе?

Vladyslav

они и не должны быть веселые, он же "Плохой комедиант"

Igor

в смысле стали?

Последний его нормальный обзор был года 3 назад на "невский начало" А потом все скатилось в политоту и "русское кино - говно".

Vladyslav

Последний его нормальный обзор был года 3 назад на "невский начало" А потом все скатилось в политоту и "русское кино - говно".

cкоро будет новый фильм от Курицина

Vladyslav

и обзор, наверное

Igor

Вот это обзор 5 летней давности был веселый "Женские НЕУДЕРЖИМЫЕ: Миссия Казахстан"

Mikhαil

Последний его нормальный обзор был года 3 назад на "невский начало" А потом все скатилось в политоту и "русское кино - говно".

Ну это твоё мнение

Mikhαil

А не истина в последней инстанции

Igor

Спасибо что уточнил

Mikhαil

Спасибо что уточнил

Обращайся

Igor

Промотал, типичны бэд: фонд кино - лживая обзоры - первый канал - по секретным документам Это не обзор, а очередная политическая агитка, еще полная уныния и грусти. Я хз зачем тратить 1.5 часа жизни - что бы испортить себе настроение. То что русское кино говно и так все знают.