Про всякие генерации кода.

[thesz]

Илея использования Хаскеля, как лучший C (VHDL, Javascript, и тд), чем сам C (VHDL, Javascript, и тп) состоит в использовании системы типов Хаскеля, синтаксиса Хаскеля и частично семантики Хаскеля. Вообще, это получается такая строго типизированная макросистема, возможно, оптимизирующая

Comments

[dmzlj]

Хм. Фактически, макроязык, генерирующий Си, оперирующий примитивом "оперативная память" и административная воля, принуждающая писать сишный только на нём. Надо подумать. Не очень ясно, что остается от Хаскелла в этом случае. И вот еще что.

Код, содержащий большой объем TH компилируется ОЧЕНЬ медленно и ест ОЧЕНЬ много памяти при компиляции. А firmware бывает очень взрослого объема.

Вообще, интересно бы написать на этом языке для начала базовые примитивы -- stack, ring_buffer, queue, list, tail call + tail recursion, lambda + lambda conversion и так далее. Это возможно? Вот например, замыкания + размыкание незамкнутых замыканий.

[ext_956459]

то, что сказал ТС, я понял очень поверхностно, поэтому расскажу как я это понимаю

предположу, что от хаскеля останется самое ценное -- система типов; остальное -- ленивость и персистентные структуры данных доступны и в с/с++, так что особой ценности не представляют, скорее наоборот -- обуза

[ext_956459]

возможность с помощью системы типы тайпчекнуть ленивость в том случае, когда она и правда нужна я отношу к системе типов, а не к ленивости

[ext_956459]

> размыкание незамкнутых замыканий

а что это такое?

[thesz]

От Хаскеля останется синтаксис, система типов, как минимум. Ещё REPL, если мы будем делать интерпретатор всего этого.

Скорее не TH, а вычисления на типах.

Попробуем что-нибудь написать. Далее посмотрим.

[ext_956459]

да, точно, про REPL я постоянно забываю