プログラミングできない元請けがプログラム設計書をレビューするという矛盾 - yvsu pron. yas その「プログラム設計書」が何を指してるのかわからないから土壇場で混乱する - @katzchang.contexts 下のリンクより: *1:「ほとんどプログラムと対応するようなロジックが記述されているようなもの」と言われても、俺としては「よくわからない、見せてほしい」と聞きたいところです。 ひがさんの趣旨と合っているかはわかりませんが、たとえば私が開発中*1のプログラミング言語Diksamのコンパイラには、以下のような関数があります。関数の引数の型チェックのための関数です。 http://kmaebashi.com/programmer/devlang/diksam_src_0_2/S/11.html#68 dkc_compare_parameter(ParameterList *p