-
Clean и Array Slice
Непонятно, почему в Clean, где есть изменяемые массивы, построенные на unique types, нет такой вещи, как ARRAY_SLICE в терминах SML или std::slice в терминах Rust. Конечно, при этом придётся немного разрушить uniqueness, но зато ряд алгоритмов из семейства "разделяй и властвуй" станет намного проще. Собственно, ниже определение ArraySlice и две ( Read more... ) -
(Untitled)
Не только лишь все знают, что в Ocaml'е параметры функций ( Read more... ) -
Ocaml типы
В Ocaml'е, как известно, конструкторы значений не являются функциями ( Read more... ) -
(Untitled)
Волею судеб я сейчас изучаю язык Ocaml, вернее убираю пробелы.
Ocaml - древний язык, если учитывать его родословную, поэтому
в нём можно легко найти множество костылей, некрасивостей,
и откровенно слабых мест.
Они, видимо, появились из-за перехода от ML к более лаконичному
и удобному синтаксису, который делали зрелые промышленные практики ( Read more... ) -
Честный quicksort на чистом ленивом языке
Не только лишь все знают, что обычный Хаскельный пример quicksort'а несколько жульнический. Тем не менее, можно сделать реальный in-place quicksort на изменяемых массивах. Ниже - программа на Clean:
module quicksort
import StdEnv
import StdClass
swap :: !*(a e) !Int !Int-> *(a e) | Array a e
swap arr i j
| i == j = arr
| i <> j = arr ( Read more... ) -
Отличный сборник учебников для школы времён СССР.
Достаточно хорошо структурированный список школьных учебников времён СССР - http://fremus.narod.ru/schoolbk.htmlRead more... ) -
Учебники по арифметике для начальной школы.
Покопавшись в том, что сейчас можно скачать отсканированного из школьных учебников, нашёл курс арифметики авторов Пчелко А.С., Поляк Г.Б. В поисковике можно найти все четыре тома курса по одному для каждого из 4-х классов начальной школы. Называются они однотипно "Арифметика для № класса ( Read more... ) -
(Untitled)
Начну, как обычно начинают, с формата djvu. Это формат изображений, специально разработанный для сохранения отсканированного текста и штрихованных рисунков с очень хорошей степенью сжатия. По сравнению с pdf, в котором рисунки кодируются в jpeg'е этот формат даёт очень качественные и маленькие по объёму изображения ( Read more... )