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)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 1920212223
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 20th, 2017 01:57 am
Powered by Dreamwidth Studios