For maximum impact, you'll need to choose your programming language carefully. I would suggest Elm with a sprinkling of Coq, though I think using either K or M

For maximum impact, you'll need to choose your programming language carefully. I would suggest Elm with a sprinkling of Coq, though I think using either K or MUMPS would earn you a lot of kudos in some quarters.