Dmitry
А стек только в .stack-work всё кэширует?
Alexander
ещё в ~/.stack
Alexander
там глобальное все
Aleksei (astynax)
То, что непосредственно к проекту относится - в .stack-work
Aleksei (astynax)
В ~/.stack лежат кэши пакетов, компилятор, всякое прочее не привязанное к проекту
Dmitry
Так, ну вот сейчас другая проблема. В cabal-файл в library/exposed-modules есть Ontology.Math.NumRelations. Хорошо. Но когда я запускаю hdevtools, он говорит, мол, нету такого:
<no location info>: warning:
These modules are needed for compilation but not listed in your .cabal file's other-modules: Ontology.Math.NumRelations
Dmitry
Судя по выводу --debug, он локальный .cabal-файл подхватывает.
Dmitry
А, он не видит эти модули в other-modules, а они в exposed-modules перечислены.
Dmitry
Эххх. Ну тогда вопрос, как их ещё и в other-modules перенести?
Aleksei (astynax)
Таргет то нужный?
Aleksei (astynax)
Модули из other-modules в library не видны в executable/test
Dmitry
Ладно, буду жить с warning'ами, вроде hdevtools и с ними норм работает.
Alexander
первое апреля это похоже единственный день в интернете, когда осознание его [интернета] приходит в норму
Alexander
и включается критическое мышление (возможно)
Alexander
и когда дурацкие высказывания не смотрятся столь странно
Dmitry
Достигается фиксированная точка
Dmitry
(видимо, ещё одно дурацкое высказывание)
Alexander
в csclub на следующей неделе про BSP, в 2k18
Alexander
ну вот, приехал на час раньше
Ю ли я? 🤔
Решил-таки поробовать прикрутить лямбдабота к телеграму. Застрял на том, как его назвать, лол. Все норм имена уже кем-то заняты, причём не используются :(
Vladimir
epsilonbot?
Timur
Ю ли я? 🤔
REPL в чате, чтобы удобно всякие штуки показывать
Alexander
поиск по функциям, евалуатор простой, поинтфри/поинтфул
Ю ли я? 🤔
+hoogle, djinn и т. д.
Vladimir
Вот, даёшь халявные теоремы из джинна!
Ю ли я? 🤔
klapabot
qnibot
spjbot
Dmitry
ghci
Dmitry
?
Alexander
bot на конце должен быть
Alexander
соглашение в телеграм
Dmitry
ghcibot, ёлы-палы
Alexander
\о/
Ю ли я? 🤔
Sorry, this username is already taken. Please try something different.
Alexander
replbot
Dmitry
ghci-bot ;)
Ю ли я? 🤔
Сквоттеры!
Alexander
ghci111bot
Alexander
ну вот я пришел а все закрыто
Vladimir
Как они монитизировать-то собираются? Сквоттеры эти.
Dmitry
rughcibot
Alexander
runhaskellbot
Dmitry
Во! точно
Vladimir
rushaskellbot
Kirill
hrubot
Alexander
lamdabotbot
Alexander
а там не ascii символы можно?
Ю ли я? 🤔
hruhrubot
Alexander
может лямбду лямбдой сделать?
Aragaer
румбда
Ю ли я? 🤔
> Usernames are 5-32 characters long and are case insensitive, but may only include Latin characters, numbers, and underscores.
Ю ли я? 🤔
Взял runhsbot пока, там посмотрим
Ю ли я? 🤔
Не факт, что я его осилю доделать :(
Vladimir
Ещё и 32 сверху. Так вообще вариантов мало.
Alexander
а ещё бот умел делать /slap
Alexander
тоже важная фича irc ботов
Vladimir
Ну хоть не викторина, и то хорошо.
Alexander
мафия!
Dmitry
Что делает /slap ?
Alexander
бот говорит тем стукнул того , кого указали
IC
Rigidus
Мультиметоды в CLOS
Rigidus
Мне бы понравилось, если бы все функции могли принимать условно любой тип и внутри по кейсам определять свое поведение в зависимости от WHNF типа - но без того чтобы городить этот универсум-тип-сумму руками явно. И думаю (надеюсь) Dynamic здесь будет ближе к желаемому. Хотя я мало его пробовал - поэтому и хотел посмотреть как это делают умельцы.
Ю ли я? 🤔
Хочешь @haskybot отдам?
Пока нет, спасибо. Надо сперва хоть какую-то имплементацию набросать
Ю ли я? 🤔
@qnikst реквестирую канонических статей про fusion/deforestation
Kirill
Дак тезис Данкана же
Alexander
@qnikst реквестирую канонических статей про fusion/deforestation
https://dblp.uni-trier.de/pers/hd/c/Coutts:Duncan тут например
Alexander
и Short cut to deforestation
Ю ли я? 🤔
Спасибо!
Aliester
Про статик vs динамик я не очень понял.
Обычно когда говорят о динамической типизации, то имеют в виду, что в языке есть только словари, списки, элементарные типы и функции. То есть это слегка расширенный (функциями) aeson Value
Тут я, наверное, немного понимаю, потому что пишу прод на питоне.
обычно, когда говорят о динамической типизации, как ни странно, говорят о динамической типизации. Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменнаясвязывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках программы одна и та же переменная может принимать значения разных типов.
IC
Пока нет, спасибо. Надо сперва хоть какую-то имплементацию набросать
У меня была чья-то адаптация, с ликёром и всем таким, но я её где-то потерял...
IC
*докером
Aliester
а щас вы описали ским или кложу
Евгений
обычно, когда говорят о динамической типизации, как ни странно, говорят о динамической типизации. Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменнаясвязывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках программы одна и та же переменная может принимать значения разных типов.
Это просто оксюморон, тип это область значений, который может принимать переменная
Евгений
а щас вы описали ским или кложу
Js, python, ruby и любой другой динамический язык. Приведи контрпример
Евгений
В скиме нету словарей, вот и всё отличие
Aliester
＞Обычно когда говорят о динамической типизации, то имеют в виду, что в языке есть только словари, списки, элементарные типы и функции. То есть это слегка расширенный (функциями) aeson Value
То есть классов, модулей, интерфейсов нету в данных языках?(кроме жееса, там даже класы это сахар над словарем)
Евгений
Ну класс в питоне и луа это именно словарь. Но не дикт, а нормальный такой map
Aliester
а в руби все обьект и даже классы. что, язык теперь не динамически типизированный?