?

Log in

No account? Create an account

Метапрограммирование в Агде и немного философии - Excelsior

Aug. 27th, 2013

09:49 am - Метапрограммирование в Агде и немного философии

Previous Entry Share Next Entry

Comments:

From:ex_juan_gan
Date:August 28th, 2013 05:43 pm (UTC)
(Link)
Хм, что плохо? Что непонятно как формализовать? Не знаю; у меня более мелкие вещи вызывают уже раздражение - похожие чем-то - до хрена чего не получается просто из-за type erasure в jvm.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:August 28th, 2013 05:44 pm (UTC)
(Link)
Erasure и в Хаскелле есть, например.
(Reply) (Parent) (Thread)
From:ex_juan_gan
Date:August 28th, 2013 09:01 pm (UTC)
(Link)
Хм. Я и не знал (и не ощущал).
(Reply) (Parent) (Thread)
From:Valentin Budaev
Date:August 29th, 2013 02:26 am (UTC)
(Link)
Ну в хаскеле и нельзя же что-то типа case x: List[Int] =>? Потому и не заметно.
(Reply) (Parent) (Thread)