Size: a a a

2020 April 11

M

MrSmith in // CIPHERNET
Gymmasssorla
На языки с полноценной поддержкой как ФП, так и ООП
Ну на с++ тоесть?
источник

G

Gymmasssorla in // CIPHERNET
Ты когда программируешь на Rust, хочешь ахуенно гибкий и так далее дизайн сделать
источник

G

Gymmasssorla in // CIPHERNET
И не можешь
источник

M

MrSmith in // CIPHERNET
Потому как в жс ты нормальное ооп не получишь
источник

G

Gymmasssorla in // CIPHERNET
MrSmith
Ну на с++ тоесть?
ФП там вроде убогое
источник

G

Gymmasssorla in // CIPHERNET
ООП тоже с косяками
источник

M

MrSmith in // CIPHERNET
Gymmasssorla
И не можешь
Потому что плата за безопасность
источник

G

Gymmasssorla in // CIPHERNET
MrSmith
Потому что плата за безопасность
Нет
источник

G

Gymmasssorla in // CIPHERNET
ФП про безопасность включительно
источник

G

Gymmasssorla in // CIPHERNET
Больше статических гарантий и так далее
источник

M

MrSmith in // CIPHERNET
Ну а что ты предлагаещь то?
источник

M

MrSmith in // CIPHERNET
Все фп раста упирается в зависимые типы и кайнды
источник

M

MrSmith in // CIPHERNET
А чел что пилил это съебал
источник

M

MrSmith in // CIPHERNET
Я предлагал тебе занятся темой с патчем компиля я бы помог но копаться в теории фп совсем не мое
источник

G

Gymmasssorla in // CIPHERNET
Зависимых типов не будет, с этим уже смириться пора
источник

M

MrSmith in // CIPHERNET
Кто сказал то?
источник

G

Gymmasssorla in // CIPHERNET
Возможно, будет Frama-C, только на Rust
источник

G

Gymmasssorla in // CIPHERNET
Тоже неплохо
источник

p

polunin.ai in // CIPHERNET
что меня бесит в строении компилятора это точ, что мне нужно таскать местоположение токена до тех пор пока я не проверю все АСТ
источник

G

Gymmasssorla in // CIPHERNET
Но я о другом
источник