phpを型に厳密な言語に変更したいんですけどどなたかやってる人いませんか？

こんなの