Size: a a a

2020 May 01

G

Gymmasssorla in // CIPHERNET
источник

G

Gymmasssorla in // CIPHERNET
источник

G

Gymmasssorla in // CIPHERNET
эта концепция браузера будущего. неидеальное в нём то что он сырой и не для обычных пользователей
источник

G

Gymmasssorla in // CIPHERNET
про концепцию идеальной иде я рассказывал
источник

G

Gymmasssorla in // CIPHERNET
идеальный универсальный язык потуги есть, это Rust, F*. повторюсь, это всего лишь потуги, как и браузер next
источник

G

Gymmasssorla in // CIPHERNET
т.е. без кровоизлияний в пукан использовать это всегда нельзя
источник

G

Gymmasssorla in // CIPHERNET
а язык си все так восхваляют, мол самый крутой ниишихо нинада больше
источник

G

Gymmasssorla in // CIPHERNET
о переусложнённой спеке и UB вот на ровном месте они конечно молчат, про недостаток абстракций тоже молчат
источник

G

Gymmasssorla in // CIPHERNET
алло
источник

G

Gymmasssorla in // CIPHERNET
2020 год, 21 век, 2020 год
источник

G

Gymmasssorla in // CIPHERNET
в проде уже используются концепции линейных типов (раст), а некоторые восхваляют си
источник

G

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

G

Gymmasssorla in // CIPHERNET
причем линейные типы даже не единственный защитник от инвалидации ссылок
источник

G

Gymmasssorla in // CIPHERNET
короче не нужно опускаться в философские категории мол жизнь конечна прогресс бесконечен
источник

H

Herz in // CIPHERNET
источник

G

Gymmasssorla in // CIPHERNET
чет не очень
источник

G

Gymmasssorla in // CIPHERNET
<самопиар>
источник

G

Gymmasssorla in // CIPHERNET
Telegram
Внутри Хирролота
В моём понимании идеальный язык:

1) Универсальный - должен быть приспособлен под низкоуровневое программирование и высокоуровневое одновременно. Такой язык уже есть - это Rust, но скорее полуфабрикат, т.к. писать высокоуровневое ПО всё же на нём больнее, чем на языках, приспособленных к этому.

2) Расширяемый - должен обладать хорошим метапрограммированием и системой типов, дать возможность разработчикам расширять язык под свои задачи. Для этого нужен математический подход к разработке языка, а не инженерный. Разница в том, что при втором подходе в язык вшивают N возможностей, каждая из которых решает конкретную задачу, а при втором подходе добавляется одна возможность, решающая более общий класс задач.

3) Разработчики нессыкуны - развитию языка не должно мешать тяжёлое бремя обратной совместимости. Уже есть много решений этому - те же инструменты, которые автоматически на новую несовместимую версию переводят код, или концепция выпусков в Rust, которые раз в три года ломают обратную совместимость.

4) Безопасный…
источник

G

Gymmasssorla in // CIPHERNET
</самопиар>
источник

H

Herz in // CIPHERNET
Эх...
источник