AD
Буду потом понтоваться, что сам посоветовал разработчику этого охуенного языка воткнуть в него завтипы 🌚
А мог взять все в свои руки и самостоятельно написать язык (с) Чуваки из БМ
Size: a a a
2020 June 10
AN
Буду потом понтоваться, что сам посоветовал разработчику этого охуенного языка воткнуть в него завтипы 🌚
Если бы все это было легко воткнуть, давно бы уже воткнули...
AM
А мог взять все в свои руки и самостоятельно написать язык (с) Чуваки из БМ
Я хотел, но слишком тупой для этого
AM
Так-то я всё ещё мечтаю написать чёт функциональненькое, что в Kotlin IR транслироваться умеет
AK
Буду потом понтоваться, что сам посоветовал разработчику этого охуенного языка воткнуть в него завтипы 🌚
а это не будет чем-то вроде неподъёмной ноши? типа он давно бы уже бета версию запилил, а до сих пор поддержку зав типов пилит, как в чятиках насоветовали
AM
а это не будет чем-то вроде неподъёмной ноши? типа он давно бы уже бета версию запилил, а до сих пор поддержку зав типов пилит, как в чятиках насоветовали
Так он сам пришёл спросить, как выразить в типах то, что ну явно завтипы требует
AM
Я просто это вслух озвучил)
AM
Ёбаный слоумод, админы, выключайте 🌚🌚🌚
AM
(не выключайте, я шучу)
AD
Ёбаный слоумод, админы, выключайте 🌚🌚🌚
а чому ты больше не админ? 😱
AM
Так вышло
AK
кстати, нет же вроде ни одного языка общего назначения на зав.типах? только всякие там идрис и агда, первый не взлетел, у второго ниша очень узкая
AM
кстати, нет же вроде ни одного языка общего назначения на зав.типах? только всякие там идрис и агда, первый не взлетел, у второго ниша очень узкая
В хуцкель везут, он походу первый будет)
AN
кстати, нет же вроде ни одного языка общего назначения на зав.типах? только всякие там идрис и агда, первый не взлетел, у второго ниша очень узкая
Нету, потому что компиляция будет длиться вечно и будет конфликт с кучей всего.
VP
а если через проксю заходить? тогда технически покупающего нельзя идентифицировать как однозначно российское лицо на территории рф
Как ты платить будешь, анонимно?
Если с карты, то видимо с карты российского банка.
Если через палку - то там тоже уже всё схвачено.
Если с карты, то видимо с карты российского банка.
Если через палку - то там тоже уже всё схвачено.
RU
Я сегодня для себя наконец-то открыл этот чудесный мир лямбда-исчисления на уровне системы типов
Вау круто, напиши статью
(
кстати, нет же вроде ни одного языка общего назначения на зав.типах? только всякие там идрис и агда, первый не взлетел, у второго ниша очень узкая
вот сча идрис2 подвезут, вот он точно взлетит
(
Нету, потому что компиляция будет длиться вечно и будет конфликт с кучей всего.
идрис так-то язык общего назначения, напомню, там есть система эффектов
AN
идрис так-то язык общего назначения, напомню, там есть система эффектов
Не смеши
(
можно прочитать файлик, сходить в сеточку