頭部正規形 - mrsekut-p

頭部正規形

head normal form, HNF

これがわからんmrsekut.icon

$ \lambda x_1\cdots x_n.xM_1\cdots M_m

$ n\ge0,m\ge0

これまで頭部簡約できそうにみえるのだけど

http://foldoc.org/head+normal+form

https://xtech.nikkei.com/it/article/COLUMN/20070305/263828/?ST=develop&P=2

https://stackoverflow.com/questions/6872898/what-is-weak-head-normal-form/6889335#6889335

haskellではHNFは関係ないらしい