* * *

Jul. 8th, 2017 03:50 pm
bamalip: (Default)
[personal profile] bamalip
хвалебные песни языку Идрис
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
From:
Anonymous( )Anonymous You may post here only if bamalip has given you access; posting by non-Access List accounts has been disabled.
OpenID (will be screened if not on Access List)
Identity URL: 
User (will be screened if not on Access List)
Account name:
Password:
If you don't have an account you can create one now.
Subject:
HTML doesn't work in the subject.

Message:

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org


 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

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 19 20212223
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2017 05:32 pm
Powered by Dreamwidth Studios