This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.
Last Wednesday, on Twitter, @TechnoEmpress posted a purposefully horrible solution to the following problem: given two types a and b , how does one test that type a is contained in type b ? Can we write a function contains such that: contains @ Int @ ( Either ( Maybe [ IO Int ]) String ) => True contains @ [ IO Int ] @ ( Either ( Maybe [ IO Int ]) String ) => True contains @ ( Maybe Int ) @ (…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.