KR
Раз уж так много обсуждений языков - вот Rust весь построен на unique_ptr из C++, Хаскель - на futures. А какой язык целиком построен на корутинах?
Size: a a a
2020 February 18
RE
YS
Раз уж так много обсуждений языков - вот Rust весь построен на unique_ptr из C++, Хаскель - на futures. А какой язык целиком построен на корутинах?
здесь все утверждения ошибочны
K
Раз уж так много обсуждений языков - вот Rust весь построен на unique_ptr из C++, Хаскель - на futures. А какой язык целиком построен на корутинах?
На каких ещё futures, простите?
M
Раз уж так много обсуждений языков - вот Rust весь построен на unique_ptr из C++, Хаскель - на futures. А какой язык целиком построен на корутинах?
«Язык, который нельзя произностить в слух» постоен на RAII и принципах владениях / заимствования. Хаскель на хвостовых рекурсиях, CPS, STM, функторах, монадах и прочей лямбда вычислительной братии, типизации HM и кучей еще всяких плюшек, вот скоро еще линейные типы завезут
AK
И ещё один заход на идеальный язык программирования: http://users.rcn.com/david-moon/Lunar/index.html 😊
Интересная идея делать весь синтаксис языка на макросах. Правда есть подозрение, что сложность поддержки такого языка в IDE от этого растет экспоненциально
PS
Раз уж так много обсуждений языков - вот Rust весь построен на unique_ptr из C++, Хаскель - на futures. А какой язык целиком построен на корутинах?
Если учесть, что сопрограммы родом из далеких 60-х, то языков наберется подобных несколько. Например, тот же потомок Snobol — Icon.
KR
MaxGraey
«Язык, который нельзя произностить в слух» постоен на RAII и принципах владениях / заимствования. Хаскель на хвостовых рекурсиях, CPS, STM, функторах, монадах и прочей лямбда вычислительной братии, типизации HM и кучей еще всяких плюшек, вот скоро еще линейные типы завезут
Для линейных типов там придётся полностью переписывать Prelude, это проговаривалось. И, скорее всего, выйдет так же, как с Рюкзаком.
K
MaxGraey
«Язык, который нельзя произностить в слух» постоен на RAII и принципах владениях / заимствования. Хаскель на хвостовых рекурсиях, CPS, STM, функторах, монадах и прочей лямбда вычислительной братии, типизации HM и кучей еще всяких плюшек, вот скоро еще линейные типы завезут
Я лично зависимых жду
KR
Kir
На каких ещё futures, простите?
Thunk - это такой урезанный однопоточный future. 😉
K
Thunk - это такой урезанный однопоточный future. 😉
Thunk - это узел графа, который будет переписан на свой результат по исполнению
K
С фьючом у него мало общего
KR
Такое ощущение, что все бегают вокруг нескольких десятков идей, чуть-чуть их видоизменяя и переназывая.
K
Это ленивое значение, а не фьюч.
MM
Ну, в C++, например, стандартная реализация ленивых значений основана на future
AT
Интересная идея делать весь синтаксис языка на макросах. Правда есть подозрение, что сложность поддержки такого языка в IDE от этого растет экспоненциально
Напоминает Elixir, нет? 😊
AK
Напоминает Elixir, нет? 😊
Я с ним не знаком, но вроде бы это динамический язык?
M
Вот что такое Thunk
На JS:
const thunk = fn => (...args) => () => fn(...args)
thunk = lambda name: lambda *args: lambda: name(*args)
На JS:
const thunk = fn => (...args) => () => fn(...args)
YS
MaxGraey
Вот что такое Thunk
На JS:
const thunk = fn => (...args) => () => fn(...args)
thunk = lambda name: lambda *args: lambda: name(*args)
На JS:
const thunk = fn => (...args) => () => fn(...args)
нет, должен быть ещё кэш