Size: a a a

Programming Offtop

2020 October 29

I

Ilmir in Programming Offtop
(
вот это твоё сообщение это ты, абсолютно прав в том, что нужно аккуратно подбирать слова, и неправ в том, что двухсторонний интероп важен
Это тебе не важен, а многим другим пользователям, в частности, тем, кто пишет Идею, он важнее остальных фич. И они платят мне зарплату и я  вообще не имею права их игнорировать.
источник

(

( in Programming Offtop
Ilmir
Это тебе не важен, а многим другим пользователям, в частности, тем, кто пишет Идею, он важнее остальных фич. И они платят мне зарплату и я  вообще не имею права их игнорировать.
ага, вот ты и дошёл до сваливания на людей, которые платят тебе зарплату
источник

I

Ilmir in Programming Offtop
(
То есть, он важен, но, например, на уровне как идрис интеропится с жиесом
О да, я видел, как Идрис на ДжиВыЭм интеропится в ДжиВыЭм. Это называется "преврати свой stongly-typed language в stringly-typed".
источник

I

Ilmir in Programming Offtop
(
ага, вот ты и дошёл до сваливания на людей, которые платят тебе зарплату
источник

(

( in Programming Offtop
Что вы там, уже поняли, как структурную типизацию интеропить?
источник

I

Ilmir in Programming Offtop
(
Что вы там, уже поняли, как структурную типизацию интеропить?
https://t.me/pofftop/247154
"Например, непонятно вообще, как делать структурную типизацию."
источник

(

( in Programming Offtop
Ilmir
О да, я видел, как Идрис на ДжиВыЭм интеропится в ДжиВыЭм. Это называется "преврати свой stongly-typed language в stringly-typed".
идрис на ДжиВыЭм это пет-проект челика, который не обновлялся с 19-ого года
источник

(

( in Programming Offtop
А люди, которые платят тебе зарплату, хотят, чтобы вы интеропились со структурной типизацией
когда прогресс будет?
источник

(

( in Programming Offtop
Кстати, знаешь, что бы помогло её сделать?
источник

I

Ilmir in Programming Offtop
(
Кстати, знаешь, что бы помогло её сделать?
Неужели монады?
источник

(

( in Programming Offtop
Тьюринг-полная система типов
Или хотя бы система типов, которая подчиняется симпли-тайпед лямбда калькулусу
источник

I

Ilmir in Programming Offtop
(
Тьюринг-полная система типов
Или хотя бы система типов, которая подчиняется симпли-тайпед лямбда калькулусу
Эх, разочаровываешь ты меня. Я уж думал монады.
источник

(

( in Programming Offtop
Ilmir
Эх, разочаровываешь ты меня. Я уж думал монады.
Монады для другого
источник

(

( in Programming Offtop
Но великий язык не велик без монад
источник

I

Ilmir in Programming Offtop
(
А люди, которые платят тебе зарплату, хотят, чтобы вы интеропились со структурной типизацией
когда прогресс будет?
Приходи с чемоданом денег после 1.5. Обсудим.
источник

(

( in Programming Offtop
Ilmir
Приходи с чемоданом денег после 1.5. Обсудим.
Так я не понял, люди, которые платят тебе зарплату, хотят чтобы вы интеропились с тс-ом или нет?
источник

VP

Vladimir Petrakovich in Programming Offtop
(
Но великий язык не велик без монад
Но ведь в C нет монад
источник

I

Ilmir in Programming Offtop
(
Но великий язык не велик без монад
В котлине есть монады. Например, List :trollface:
источник

(

( in Programming Offtop
Vladimir Petrakovich
Но ведь в C нет монад
Это не имеет значения, в идрисе нет рантайм-рефлексии и всё дешугарится/оптимизируется в компайл-тайме
источник

(

( in Programming Offtop
Ilmir
В котлине есть монады. Например, List :trollface:
Смешно
источник