Denis
так что lesser evil
Leonid 🦇
вьюхи и хранимки же. все сложности переносятся поближе к данным.
Kirill
и поглубже динамический сикель запихивается
Kirill
в смысле динамической типизации
Vladislav
> вьюхи и хранимки же
Ага, всё приложение в хранимке написать
Ignat
Ну к постгресу можно вроде плагины писать, чтобы поддерживались произвольные языки для хранимок
Ignat
По-моему, и для хачкеля что-то такое есть
Cheese
> вьюхи и хранимки же
Ага, всё приложение в хранимке написать
отпадает необходимость хранить приложение в гите! выгода!
Leonid 🦇
хранимки только для data integrity же
Alexander
class RestrictTime xs where
restrict :: TimeUnit -> Maybe (Unit xs)
Alexander
тогда это с type application испольщуется как:
foo (restrict @ ['Day,'Week] -> Just x) = ..
?
Alexander
или я опять туплю
Alexander
тупой ghc теперь компиляет годами :/
Cheese
после собачки пробел не нужен
parket
Alexander
не, мне конкретно тот кусок интересен был
NC
наделают новых кодогенераторов и отбрехиваются от оптимизации
Alexander
там неясно, чего так тупить
NC
мб специализаций генерил
A64m
ghc всегда что-то делал
NC
но теперь делает больше, чем делал до
NC
судя по скорости
A64m
это-то да
Kirill
ну с фиксом https://ghc.haskell.org/trac/ghc/ticket/14338 возможно хоть чуток умерит свой был
Kirill
иногда
Alexander
а картинку оставим
Alexander
тот чат, картинку убрал кто-то другой
Alexander
возможно автор сообщения
Alexander
там такая картинка, что у неё всегда есть контекст, если есть сообщения вокруг
Leonid 🦇
> FWIW, GHC will have a dependency on text soon, so I don't think a dependency on text is terrible.
Leonid 🦇
Семён Марлов пишет такое
Donat
А кто-нибудь использовал protolude?
кана
да (в виде universum)
Donat
о, не знал, что universum на ней основан
Зигохистоморфный
https://github.com/harpocrates/inline-rust
Зигохистоморфный
как макбрайд юзает idiom brackets в хаскелл? я у него видел на докладе
A64m
он написал препроцессор she для этого
A64m
https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/
Зигохистоморфный
уже нашел
Зигохистоморфный
то есть я его могу у себя включить?
Alexander
блин они там так же по дурацки парсер сдели как в inline-c
Alexander
нет
Aliester
Haskell классный язык потому что глупых программистов на нем не бывает. Его настолько сложно компилировать, что если программа скомпилировалась, то работать-то она уж точно будет.
http://tonsky.livejournal.com/281876.html
Dmitry
#anime а кто летал в Киев на конфу из РФ —- поделитесь (приватом) как прошло? Знаю, что кое-кого завернули
Дмитрий
>Его настолько сложно компилировать, что если программа скомпилировалась, то работать-то она уж точно будет
Лол.
Дмитрий
А всё что легко компилировать задолбёшся отлаживать, если конечно не писать тесты в режиме разработки через тестирование :(
Meowbe/BSD-2-Clause
kosc
+1 насчёт эрланга, до сих пор ору.
Taras 🦀
Про эрланг доставило
про ноду доставило)
вот продолжение — https://tproger.ru/translations/im-harvesting-credit-card-numbers-and-passwords-from-your-site-heres-how/
Meowbe/BSD-2-Clause
Meowbe/BSD-2-Clause
Оригинал вбрасывали
Meowbe/BSD-2-Clause
Уже
Meowbe/BSD-2-Clause
емнип
Taras 🦀
* почесал нос и согласился с тем что слоупок *
Meowbe/BSD-2-Clause
А может это было в другом чате
Nikita
Мне интересно мнение людей про Go
Nikita
Просто мне нравится этот язык но xочу Haskell выучить
Aliester
уходи из этого чата
Aliester
"Не место для гоферов
Nikita
Просто Go как по мне очень продуктивный язык
Nikita
И type system там как по мне интересная
A64m
слишком толсто
Nikita
Мне нравится что у Go фокус на simplicity
Евгений
Simplicity это как в брейнфаке?
A64m
ну, любой типизированный языка лучше любого нетипизированного
Nikita
Можно abstract этот код
Nikita
И пиши меньше
Nikita
В библиотеку к примеру
Евгений
ну, любой типизированный языка лучше любого нетипизированного
А если в типизированном языке нету замыканий?