Size: a a a

2021 June 16

AA

A64m AL256m qn<co... in Haskell
вот вижуал бейсик дот нет уже сильно
источник

AA

A64m AL256m qn<co... in Haskell
ой на квикбейсике так не пишет кроме школьников никто
источник

LO

Leonid 🦇 Onokhov in Haskell
ну я про этого, да
источник

AA

A64m AL256m qn<co... in Haskell
но вообще наверно у вб.нет и квикбейсика синтаксис более похожий чем у плюсов и жавы, наверное
там просто у одного куча всякой архаики поддерживается а у другого куча расширений функциональных
источник

a

adam in Haskell
эти споры о нужности похожи на споры о религиозных канонах
источник

AF

Alexey Fedotov in Haskell
Почему бы и нет
источник

AF

Alexey Fedotov in Haskell
В обоих случаях речь идёт о произвольных логических системах, разница лишь в том, что в одном случае нет (видимых) практических результатов
источник

ЗП

Зигохистоморфный Пре... in Haskell
источник

JS

Jerzy Syrowiecki in Haskell
cocodensity = density?
источник

ЗП

Зигохистоморфный Пре... in Haskell
не совсем то, что мне надо, я про денсити знаю
источник

JS

Jerzy Syrowiecki in Haskell
выглядит как

type Kleisli r m a = r -> m a
type Unknown r m a = (Kleisli r m ^ 2) a

хз, какие из этого выводы можно сделать
источник

AF

Alexey Fedotov in Haskell
Клейсли в квадрате?
источник

JS

Jerzy Syrowiecki in Haskell
типа того
источник

JS

Jerzy Syrowiecki in Haskell
квадрат в функциональном смысле

type f ^2 = Compose f f
источник

ЗП

Зигохистоморфный Пре... in Haskell
так то и звездами можно, но мой вопрос был не про это
источник

n

ndkhodyunya in Haskell
Привет, может есть какая-нибудь библиотека “многомерных” Either? Что-то такое, чтобы можно было писать type X =  Choice3 Int Bool String
источник

к

кана in Haskell
union, sop-core
источник

n

ndkhodyunya in Haskell
Спасибо!
источник

к

кана in Haskell
fastsum еще вроде бы
источник

ЗП

Зигохистоморфный Пре... in Haskell
haskus
источник