metaclass (metaclass) wrote,
metaclass
metaclass

"Обалдеешь ты среди гробов" или зависимые типы и метапрограммирование

(эпиграфом к посту служит цитата из ильфа и петрова, упомянутая plumqqz при обсуждении системы типов F#)

Так вот, по мотивам того обсуждения - как соотносятся метапрограммирование и зависимые типы? Мне что-то с ходу мерещится что зависимые типы можно имитировать, имея развитые средства метапрограммирования. Скорее всего, это будет адский закат солнца вручную (во всяком случае, у меня кодогенератор C# из модели БД выглядит именно так) но тем не менее, это должно быть возможно.
Tags: dependent types, fp, metaprogramming
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 17 comments