@eX_gd еще совет, не пиши здесь столбиком пожалуйста. Вырази сразу все в одном - двух сообщениях. Если есть что дополнить - просто отредактируй предыдущее сообщение)

Интересно, а есть ли бот, который может так объединять сообщения?

@eX_gd ещё можно настроить телеграм-клиент, чтобы по Ctrl-Enter отправлялось

Я вкурсе
На самом деле я так и пишу.
=)

Есть

Напрасно, других живых компиляторов нет. Есть только haskell-like вроде Mu

Frege для JVM, но оно вроде не живое

они же не могут патчить не свои сообщения.
Он будет делать копию и удалять старое тогда, те писать от своего имени

Достаточно тебе его завести и норм будет)

их несколько было - frege, eta, но они все догоняли implementation-defined haskell из GHC

На Хабре был доклад, что более-менее свежего стандарта ждать не стоит, но в то же время все используют GHC.

Да я как-то и без Хабра это знаю, но всё равно спасибо. 😊

Я к тому, что "это не только лишь все знают", но и некоторые даже авторитетно озвучивают.

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

Что мне теперь, разворачивать инструкции по безусловным прыжкам?

псвевдокод
jump location;

boxed_b = box(b)
boxed_b.method1() // box(b).method()

location:
// упал
boxed_b.method2() // box(b).method2()

Я конечно могу на прыжках делать сброс кеша, но тогда он будет внутри 1 бранча, и каждый раз будет сбрасываться. кеш который работает как не кеш

использует или использовал тут кто-нибудь GNU lightning?

Вот есть оптимизации инлайнинга. А есть обратные оптимизации? Поиск одинаковых веток дерева, и вынесение их в функции.

А что это будет оптимизировать?

А, размер.

Я хочу типа такого сделать, вернее я разверну прыжки в if/loop блоки и операторы заинлайнить в них.

Ну у меня AS3 байткод  в JS, а там прыжки, это

while(true)
switch (point)
case 10: .... point=20, continue

Может оно нормально выглядит, для комилятора, но метод на 100 строк с 10 ифами становится в 2000 инструкции, которые почти нереально дебажить