Ссылочки #2 07.09.2015 #

Короче, на полноценные посты у меня не хватает терпения. Поэтому буду постить ссылочки.

It only multiplies three numbers

Пост превосходства функциональщиков над оопэшниками. А вообще, интересно, что в F# есть такая штука как units of measure. В OCaml’е такого нет.

One Diagram That Will Change the Way You Look At the US Economy

Просто и наглядно продемонстрированные объёмы экономик. С удивлением обнаружил, что ВВП РФ меньше, чем ВВП Италии.

RESTful considered harmful.

Наимоднейший раздув последнего времени — надо выкинуть привычный HTTP REST и запилить все как-нибудь по-другому. У меня такие статейки вызвают одну только мысль — «вообще да, но в данный момент нет». Куда девать всё поголовье rails/django/whatever-ориентированных разработчиков. Они ж резко не одуплят.

Formally verifying the complexity of OCaml programs with CFML

Всё чаще виду какие-то нереальные применения Coq в программировании. Конкретно этот пост — абсолютный космос. Там доказывают асимптотическую сложность функции, написанной на OCaml.