Fengyun Liu thoughts on programming, language and logic