後輩にプログラミング教えてくれって言われたからHaskellをLensくらいまで教えたあとで「ちなみにこの言語だれも使ってないで」って言った
殴られるかと思ったけど洗脳後だったから関数型じゃない言語が悪いってことになってIdris勉強し始めた