Size: a a a

2020 July 22

NI

Nick Ivanych in Haskell
Jerzy Syrowiecki
компилятор С++ переигрывает ваш С
Я недавно узнал, что у C++ богатая семантика!
источник

in Haskell
Скажите, а вам часто приходится писать свой TH для генерации FromJSON, когда стандартный deriveFromJSON из aeson не подходит?

Мне всего лишь нужно, чтобы для Maybe использовался .:?, а не .:
источник

MK

Maxim Koltsov in Haskell
omitNothingFields в options?
источник

JS

Jerzy Syrowiecki in Haskell
Nick Ivanych
Я недавно узнал, что у C++ богатая семантика!
чувствую, что где-то здесь есть ирония
источник

χλ

χоρоший ☽☽☽ λисuчко... in Haskell
Nick Ivanych
Я недавно узнал, что у C++ богатая семантика!
Что подразумевается под "богатой семантикой"?
источник

NI

Nick Ivanych in Haskell
Jerzy Syrowiecki
чувствую, что где-то здесь есть ирония
Да, я тоже что-то подозреваю ;-)
Но тот товарищ говорил совершенно серьёзно...
Сравнивал с идрисом.
Оказывается, на C++ можно всё то же самое, только работать будет быстрее.
источник

NI

Nick Ivanych in Haskell
χоρоший ☽☽☽ λисuчко
Что подразумевается под "богатой семантикой"?
Айй, там такая мешанина в голове у товарища.
В том числе, и возможность иметь быстрый код для него - часть богатой семантики.
источник

YS

Yan Shkurinskiy in Haskell
Ровно те же аргументы в сторону си я и слышал
источник

JS

Jerzy Syrowiecki in Haskell
Nick Ivanych
Да, я тоже что-то подозреваю ;-)
Но тот товарищ говорил совершенно серьёзно...
Сравнивал с идрисом.
Оказывается, на C++ можно всё то же самое, только работать будет быстрее.
на всех тьюринговых языках можно одно и то же
источник

in Haskell
Maxim Koltsov
omitNothingFields в options?
я это изучал, вот что написано:

> Note that this /does not/ affect parsing
источник

YS

Yan Shkurinskiy in Haskell
Можно в си ровно то же самое, что и  в вашех хаскеле делать
источник

YS

Yan Shkurinskiy in Haskell
Только быстро будет
источник

in Haskell
я код смотрел, для парсинга там везде .:
источник

YS

Yan Shkurinskiy in Haskell
А всю вашу типобезопасность заменю макросами, которые я написал и которые точно корректно работают
источник

NI

Nick Ivanych in Haskell
Jerzy Syrowiecki
на всех тьюринговых языках можно одно и то же
Ну да. А плюсовые шаблоны Тьюринг-полные, значит ... ;-)
источник

JS

Jerzy Syrowiecki in Haskell
я код смотрел, для парсинга там везде .:
может, руками инстанс написать?
источник

χλ

χоρоший ☽☽☽ λисuчко... in Haskell
Nick Ivanych
Айй, там такая мешанина в голове у товарища.
В том числе, и возможность иметь быстрый код для него - часть богатой семантики.
Ну а чаще всего что под этим подразумевается? Не в первые слышу словосочетание, но не могу понять значение.
источник

in Haskell
Jerzy Syrowiecki
может, руками инстанс написать?
да у меня и написано руками сейчас, но рекордов много, так что я хочу весь этот бойлерплейт как-нибудь убрать
источник

in Haskell
своё вроде написать несложно, но я TH никогда не писал
источник

NI

Nick Ivanych in Haskell
χоρоший ☽☽☽ λисuчко
Ну а чаще всего что под этим подразумевается? Не в первые слышу словосочетание, но не могу понять значение.
Не знаю точно. Если формально, то это очень выразительная формальная система. Вероятно, что очень развесистая, при том.
Но товарищ точно говорил не про это.
источник