Я просто человек разращённый хакеллем. Там можно нафигачить, а потом переделать как надо

Но питон - это дополнительный фактор. Ученые обычно и на джаве умудряются написать так, что лучше бы не писали. Подозреваю, что все дело в том, что просто они не общаются с программистами.

ну это же везде можно, если есть тесты 🤔 (инженерный подход)

а тесты везде нужны, если не пишешь на пруферах

На хаскелле можно даже без/с минимумом тестов.

А вот и хаскель-пропаганда подъехала

Ну прототипы и на котлин без тестов отлично пишутся.

Ну как бы ему можно. Он реально на нем пишет

Да можно, только доверия ей, как и любой другой около 0, если разбираешся в вопросе

Нет это канал здравого смысла

@angmarr вот ты свой язык делаешь, а мог на плюсах писать

Вот, в том и смысл. Что система типов в С++ мета-система. У тебя в идрисе(как и в любом обычном языке) есть система типов в рамках которой ты существует. Там есть какой-то тайпчекер. В рамках ограничения которого ты существуешь и пишешь свою логику.

С++ же язык следующего порядка, о чём я уже говорил ранее. И его система типов так же. Т.е. ты не пишешь логику в рамках крестового тайпчекера - ты пишешь свой тайпчекер

да да, с утра захожу в зависимые типы, а там это

все с него поролфили и забанили,
мне сложно комментировать в сишке не шарю

Я тоже не шарю, но человек вещает религию, в плохом смысле, там можно подчеркнуть что-то для себя, но автор тут не причем

Черный экран 😄😂

@angmarr твой бот ?

там котик в кружке, возможно видос не сразу прогрузился