Программирование для начинающих

Немного об уроках

Представляем вашему вниманию уроки по языку программирования Tcl. В текстовом виде мы давно рассматриваем данный язык, а сейчас - наконец начали видеоуроки. Надеемся вам понравится!

Agda — чистый функциональный язык программирования с зависимыми типами, то есть типами, которые могут быть индексированы значениями другого типа. Теоретической основой Agda служит интуиционистская теория типов Мартин-Лёфа (англ.), которая расширена набором конструкций, полезных для практического программирования.

Rust — мультипарадигмальный компилируемый язык программирования общего назначения, разрабатываемый Mozilla Research, поддерживающий функциональное программирование, модель акторов, процедурное программирование, объектно-ориентированное программирование.

В долгожданной версии дистибутива на базе ядра GNU/Linux - Ubuntu, в дополнении к традиционным deb-пакетам появится поддержка пакетов snap. Это позволит поставлять для Ubuntu новые выпуски программ, не заботясь об обеспечении привязки к поставляемым в дистрибутиве библиотекам. Snap-пакеты будут распространять через штатный каталог Ubuntu Store.