Случилась дискуссия с d_zh, которого кто-то где-то назвал адекватным.
Вот тут.
В результате я написал комментарий, который натолкнул меня на весьма интересную мысль, о том как можно поддразнивать не использующих Хаскель. Приведу тут, чтобы далеко ходить не пришлось:
d_zh>На Java написано софта на сотни миллиардов долларов.
Приведу в пример то микроядро.
http://ertos.nicta.com.au/research/sel4/
http://www4.in.tum.de/~kleing/papers/login09.pdf
Formal verification is thought of as high-effort, expensive, and needing a large team of highly qualified experts. Our project shows that things are by far not as bad, especially compared to other high-assurance methods. After the industry rule of thumb of $10k/loc, Common Criteria EAL6 certification of seL4 would have cost about $87 Million.
If we overestimate our effort with 30 person years and if we overestimate our fully loaded salary with $200k/year per person, we get $6M spent. Even if you take into account that CC takes more than just providing evidence that the design and code works, our proof provides higher assurance than what EAL7 officially requires (EAL7 requires only formal design proofs, no formal implementation proofs). And it does that for an order of magnitude less money.
В то время, как ПО на Java требует для своей разработки миллиарды долларов, ПО на Хаскеле позволяет экономить жалкие миллионы.
Это, кстати, отличная тема для дразнилок. "Если вы не используете Хаскель, вы транжирите деньги своего работодателя."
По-моему, получилось хорошо.
Передергивание, конечно, но хорошо.
PS
Это b00ter назвал его адекватным.
В результате я написал комментарий, который натолкнул меня на весьма интересную мысль, о том как можно поддразнивать не использующих Хаскель. Приведу тут, чтобы далеко ходить не пришлось:
d_zh>На Java написано софта на сотни миллиардов долларов.
Приведу в пример то микроядро.
http://ertos.nicta.com.au/research/sel4/
http://www4.in.tum.de/~kleing/papers/login09.pdf
Formal verification is thought of as high-effort, expensive, and needing a large team of highly qualified experts. Our project shows that things are by far not as bad, especially compared to other high-assurance methods. After the industry rule of thumb of $10k/loc, Common Criteria EAL6 certification of seL4 would have cost about $87 Million.
If we overestimate our effort with 30 person years and if we overestimate our fully loaded salary with $200k/year per person, we get $6M spent. Even if you take into account that CC takes more than just providing evidence that the design and code works, our proof provides higher assurance than what EAL7 officially requires (EAL7 requires only formal design proofs, no formal implementation proofs). And it does that for an order of magnitude less money.
В то время, как ПО на Java требует для своей разработки миллиарды долларов, ПО на Хаскеле позволяет экономить жалкие миллионы.
Это, кстати, отличная тема для дразнилок. "Если вы не используете Хаскель, вы транжирите деньги своего работодателя."
По-моему, получилось хорошо.
Передергивание, конечно, но хорошо.
PS
Это b00ter назвал его адекватным.