VM
С большим интересом почитал бы формальную спецификацию на HTTP. Можете поделиться ссылкой на статью?
Может быть, это - https://tools.ietf.org/html/rfc2616?
Size: a a a
2020 July 16
A
Я имею что-то чему можно предъявить программу и получить ответ удовлетворяет ли она спецификации в идеале. Ну или по крайне мере историю сообщений.
Oℕ
а что и зачем на нем писать? особенно, если он сырой.
Мне просто интересно, откуда такие странные суждения.
Oℕ
Толсто
Замерял же
Oℕ
Идрис 2, как вы, вероятно слышали сейчас в chez scheme компилится как в промежуточное представление.
Так что на некоторых задачах выходит и быстрее кложуры
Так что на некоторых задачах выходит и быстрее кложуры
A
Идрис 2, как вы, вероятно слышали сейчас в chez scheme компилится как в промежуточное представление.
Так что на некоторых задачах выходит и быстрее кложуры
Так что на некоторых задачах выходит и быстрее кложуры
Я кстати не могу понять - это новый бэк или целиком новый язык?
Oℕ
Я кстати не могу понять - это новый бэк или целиком новый язык?
Идрис 2 - целиком новый язык
Oℕ
Полностью переписанный, ну и в данный момент бустраппится
Oℕ
Но он сделан так, чтобы всё, что компилилось на идрис 1, компилилось на идрис 2
Oℕ
Но это, конечно, не совсем так вышло
A
Но это, конечно, не совсем так вышло
Вот в этом вся суть того что называют "академичеким программированием". Так похоронили скалу, похоронили Elm, прикапывают хаскель. Сравните с Торвальдсом который матом поясняет что нельзя ломать юзерспейс и кложуру которая тянет весь API с первого релиза.
Oℕ
Вот в этом вся суть того что называют "академичеким программированием". Так похоронили скалу, похоронили Elm, прикапывают хаскель. Сравните с Торвальдсом который матом поясняет что нельзя ломать юзерспейс и кложуру которая тянет весь API с первого релиза.
Какая-то странная реплика.
Oℕ
Вы в наш канал метите специально?
Oℕ
Скала медленно, но растёт, Елм тоже не похоронен
Oℕ
Хаскель вообще сейчас переживает такой взрыв интереса, что в принципе уже практически вышел в разряд популярных языков
A
Понятия не имею что за ваш канал. Рад за всех. Хотя за TS и Kotlin как-то проще получается радоваться.
Oℕ
Ну радуйтесь, за что вам удобнее, радоваться вообще полезно
A
Если канал с мемчиками, а не вот этим всем то зовите :)
Oℕ
Если канал с мемчиками, а не вот этим всем то зовите :)
С мемчиками, да
Oℕ
Но если в терминах кложуры, первый идрис это скорее как jfli и FOIL