I guess they might intrigued that dependent type would be the future of programming languages with rich IDE support. If you try Idris, although mostly people a

I guess they might intrigued that dependent type would be the future of programming languages with rich IDE support. If you try Idris, although mostly people are just using it with text editor with simple plug-ins, the auto-completion is incredible: you can auto complete a whole paragraph of code based on the signature rather than just a method, and then you can just do some minor changes.