AG
Мёртвые ребята
а есть живые аналоги?
Size: a a a
2020 November 28
RR
а есть живые аналоги?
Не знаю, я ФРП не очень интересуюсь
ЕО
Не очень похоже на FRP
ЗП
Так там и не про фрп
ЗП
А про линзо-призмовый подход
AG
о дак а есть что нибудь поживее вышеперечисленных?
AG
с коммитами в 2020м :)
AG
о спасибо
ЕО
А paper есть?
ЗП
По выше ссылке?
ЕО
Я там только код вижу :(
ЗП
Я знаю, но вроде по Коналовским каким-то работам
ЗП
Но я не уверен
2020 December 01
AT
А в С поддерживает? Первый, вроде, умел. Там народ даже на контроллеры что-то писал 😨
На контроллеры? А можно ссылку? Мне казалось там производительности генерируемого C и для ПК не хватало.
ЕО
На контроллеры? А можно ссылку? Мне казалось там производительности генерируемого C и для ПК не хватало.
А что там может быть непроизводительным, кроме гц?
AT
Ну даже, если учесть, что в Idris больше полезной compile-time информации для оптимизаций, чем у Haskell, вряд ли и 10% от возможного реализовано. Помимо GC, наверняка какая-то информация о типах в рантайме живёт.
p
GitHub - stepcut/idris-blink: A simple Idris program to blink the LED on an Arduino
https://github.com/stepcut/idris-blink
https://github.com/stepcut/idris-blink
p
Ну даже, если учесть, что в Idris больше полезной compile-time информации для оптимизаций, чем у Haskell, вряд ли и 10% от возможного реализовано. Помимо GC, наверняка какая-то информация о типах в рантайме живёт.
Что-то я еще находил, но сходу не получается нагуглить. Конечно, ничего серьезного. Диодиком подрыгали, уже хорошо.