V(
чат есть
Size: a a a
2020 October 12
SA
дай
V(
Invite link:
https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ
Idris1 online REPL: tio.run/#idris
Please stay on the topic (dependent types, automated theorem proving, verification and related themes) and refrain from using stickers/memes.
https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ
Idris1 online REPL: tio.run/#idris
Please stay on the topic (dependent types, automated theorem proving, verification and related themes) and refrain from using stickers/memes.
D
Я думал что идрис это мем для тех кто устал смеяться с хаскеля в проде
SA
SA
я лично устал
SA
а идрис отличный язык
SA
для тех 1.5% задач для которых он отличный
SA
ну всм
SA
он будет когда нибудь для них отличным языком
SA
короче
SA
склиф
MK
интересно, пытался ли хоть кто-нибудь в РФ серьезно писать на дилане
А что на нём в целом интересного написано?
V(
моя йолка этого года. будет. или нет.
YK
А что на нём в целом интересного написано?
навскидку не скажу, в каком-то малоизвестном энтерпрайзном софте его использовали
YK
а так изначально это должен быть язык первого кпк эппл
YK
но не сложилось
MK
Ну сам язык хорошо выглядит
2020 October 13
SA
Знали кстати что имеется такая функция string-to-octets
SA
Делает то самое че вы ожидали