Replies (19)

  • @qnikst, вот я не понимаю, что значит singleton в х-е. А рефлекшен — в смысле интроспекция или ещё каком-то?
  • @alar, singleton — значение у которого есть взимооднозначное соответствие с типом, reflection (+reification)- выдача уникального типа для рантайм значения
  • @qnikst, reflection звучит лучше чем reification но ведь не поймёт никто
  • @alar, Про это и /0, что есть список терминов (более старый между прочим, чем общепринятые) значения которых отличаются от общепринятых
  • @qnikst, как-то не верится, что большинству хаскелистов удалось на столько успешно избежать мэйнстрима, чтобы не понимать, что означают эти термины.
  • @anton0xf, хацкелисты это меньшинство, не знаю как другие а я использую эти термины в их нормальном а не меинстрим значении, и уверен что если выбирать слушателей из программистов вцелом то большинство не поймет
  • @qnikst, ну. singleton — это очень известный ООП паттерн. на reflection мне гугл первой же ссылкой выдаёт статью на wiki. а про generic пишут, что это в ML придумали.
  • @anton0xf, все термины в меинстриме более популярные, ссылки на Вики не сильно интересные нужны статьи например в статье 75 года это называется параметрический полиморфизм, как в хацкеле и других языках; как generic это стали называть в 200х годах когда до этого добрался меинстрим. Про синглетон гуглить?
  • @qnikst, опять же хацкелист обычно знает популярные значения этих терминов, наоборот — нет; пост об этом
  • @qnikst, а. так вот именно это я и не понял из /0)
  • @qnikst, не. гуглить не обязательно. и так понятно, что некоторые термины имеют больше одного значения, а понятия — больше одного названия.
    "параметрический полиморфизм" слышал. годный и понятный термин. длинный только.
  • @anton0xf, data generic programming то что в гхц generic это откуда-то из лиспов из всех терминов я только с синглетонами не уверен что та же терминология что и в хаскел более старая
  • @qnikst, да даже когда class говорит, его неправильно понимают. Тем более сейчас станет более-менее ходовым abstract class (хотя, о чем я, модули в хаскеле никто не будет использовать). Ну и functor еще (особенно applicative functor для эмелиста, но это не большинство случаев, мягко говоря)
  • @qnikst, Нет, это гораздо более старый термин, который появился где-то между 77 и 83 в аде, потом использовался в модуле-3 в 86 и дальше. Он не сильно новее параметрического полиморфизма.
  • @klapaucius, о, пасиба за инфу
  • @qnikst, надо как-нить попробовать составить текст из этих терминов, чтобы выносить людям мозг
  • @qnikst, В книжку главой вставь
  • @alar, Вступлением
  • @qnikst, похоже книжку таки писать..