12. (6pt) For the following fragment of Java code, decide if the code is well-typed, if it is well-defined, and if it will compile/run (i.e is this Type-safe?). Briefly Explain and support your answers. Assume doSomethingWithY is defined and makes a decision based on the value of y. public static void main(String[]args) { double x 4.3; = int y = x+1; doSomethingWithY(y); 13. (7pt) For the following fragment of Scheme code, decide if the code is well-typed, if it is well-defined, and if it will compile/run (i.e is this Type-safe?). Briefly Explain and support your answers. (cdaddr (A B (())) 14. (6pt) For the following fragment of Python code, decide if the code is well-typed, if it is well-defined, and if it will compile/run. Briefly Explain and support your answers. def f(val): print (val) f (5) f("Hello")