Jul. 8th, 2017

* * *

Jul. 8th, 2017 03:50 pm
bamalip: (Default)
хвалебные песни языку Идрис
https://news.ycombinator.com/item?id=14551330

UPD
http://docs.idris-lang.org/en/latest/faq/faq.html#will-there-be-support-for-unicode-characters-for-operators
неприязнь Брейди к юникоду выглядит либо личной идиосинкразией, либо даже ложной гордостью англосакса тем фактом, что в мире все якобы пользуются только латинским алфавитом. до определенной версии у них даже тип String не поддерживал юникод, что для 2000-х довольно странно. а уж эти отговорки по ссылке выглядят совершенно притянутыми за уши: якобы броузеры до сих пор плохо поддерживают юникод, лол. это при том, что даже инженерская Java с самого начала поддерживала юникод как в данных, так и в идентификаторах.
но пользователи все равно находят способы обойти авторские ограничения:
https://github.com/Heather/idris-unicode/blob/master/Control/Unicode.idr

Profile

bamalip: (Default)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23242526272829
3031     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 22nd, 2017 06:39 pm
Powered by Dreamwidth Studios