Oℕ
Кодовая база все равно же есть там
не знаю, что такое кодовая база
Size: a a a
2021 February 12
Oℕ
ты когда мороженое покупаешь, платишь картой в терминале тоже есть кодовая база
Oℕ
но ни ты ни продавец этот код не писали же
s
алгебраические эффекты это как раз те, которые могут тривиально композироваться
ну вот возможно ли как-то просто показать как это происходит
и как соотносится алгэффект и монада?
и как соотносится алгэффект и монада?
AG
ну вот возможно ли как-то просто показать как это происходит
и как соотносится алгэффект и монада?
и как соотносится алгэффект и монада?
AG
ну если упрощать каждая монада по отдельности это специализированный эффект
s
это сложновато.. вроде как довольно строго всё описано, надо свободно оперировать фри структурами, законами, фолдами. хотя если посидеть наверное можно разобраться
S
монады
монады ето динамический массив содержащией еллементы любых типов
такое есть во всех быдлокодерских языках
а в лиспах ничего кроме монад нету
вот они на них и молятся, пишут книги, дрочат, сочиняют сказки и легенды
монады ето динамический массив содержащией еллементы любых типов
такое есть во всех быдлокодерских языках
а в лиспах ничего кроме монад нету
вот они на них и молятся, пишут книги, дрочат, сочиняют сказки и легенды
S
There is no such get "монады2"
SK
/set монады2 Я не утверждаю, что монады совершенно бесполезны. В некоторых случаях они хорошо работают (каждый второй вторник), и я использую их, когда они работают. Но когда они являются единственным механизмом для применения вычислений, они серьёзно подрывают выразительность языка программирования.
SK
Кароче, в последнее время хоттейк придумал.
Для обычной промышленной разработки есть смысл вообще делить подходы в разработке на две категории:
Программирование ссылочно-прозрачное и программирование не ссылочно-прозрачное, так как самый большой буст производительности и удобства разработчика именно в первой категории случается по сравнению со второй.
Поэтому насколько бы разработка на ельм, фшарп окамле, а так же беттержява-скале не была "функциональными", она все равно улетит во вторую категорию и кардинально не отличается от разработки на том же сишарпе.
Дискасс
Для обычной промышленной разработки есть смысл вообще делить подходы в разработке на две категории:
Программирование ссылочно-прозрачное и программирование не ссылочно-прозрачное, так как самый большой буст производительности и удобства разработчика именно в первой категории случается по сравнению со второй.
Поэтому насколько бы разработка на ельм, фшарп окамле, а так же беттержява-скале не была "функциональными", она все равно улетит во вторую категорию и кардинально не отличается от разработки на том же сишарпе.
Дискасс
ущерб читаемости, и не в ботлнеке (сам таким иногда страдаю)
Oℕ
ппц антон не хочет давать определения потому что пошёл гулять с собакой, но начал сыпать простынями
w
ппц антон не хочет давать определения потому что пошёл гулять с собакой, но начал сыпать простынями
хахаха, да мне вообще похуй
AG
Кароче, в последнее время хоттейк придумал.
Для обычной промышленной разработки есть смысл вообще делить подходы в разработке на две категории:
Программирование ссылочно-прозрачное и программирование не ссылочно-прозрачное, так как самый большой буст производительности и удобства разработчика именно в первой категории случается по сравнению со второй.
Поэтому насколько бы разработка на ельм, фшарп окамле, а так же беттержява-скале не была "функциональными", она все равно улетит во вторую категорию и кардинально не отличается от разработки на том же сишарпе.
Дискасс
Для обычной промышленной разработки есть смысл вообще делить подходы в разработке на две категории:
Программирование ссылочно-прозрачное и программирование не ссылочно-прозрачное, так как самый большой буст производительности и удобства разработчика именно в первой категории случается по сравнению со второй.
Поэтому насколько бы разработка на ельм, фшарп окамле, а так же беттержява-скале не была "функциональными", она все равно улетит во вторую категорию и кардинально не отличается от разработки на том же сишарпе.
Дискасс
в таких языках можно наоборот чистоту в команатки заворачивать
(
Кароче, в последнее время хоттейк придумал.
Для обычной промышленной разработки есть смысл вообще делить подходы в разработке на две категории:
Программирование ссылочно-прозрачное и программирование не ссылочно-прозрачное, так как самый большой буст производительности и удобства разработчика именно в первой категории случается по сравнению со второй.
Поэтому насколько бы разработка на ельм, фшарп окамле, а так же беттержява-скале не была "функциональными", она все равно улетит во вторую категорию и кардинально не отличается от разработки на том же сишарпе.
Дискасс
Для обычной промышленной разработки есть смысл вообще делить подходы в разработке на две категории:
Программирование ссылочно-прозрачное и программирование не ссылочно-прозрачное, так как самый большой буст производительности и удобства разработчика именно в первой категории случается по сравнению со второй.
Поэтому насколько бы разработка на ельм, фшарп окамле, а так же беттержява-скале не была "функциональными", она все равно улетит во вторую категорию и кардинально не отличается от разработки на том же сишарпе.
Дискасс
дык эльм ссылочно прозрачный
AG
в таких языках можно наоборот чистоту в команатки заворачивать