I symphatise with this view to an extent. It is often ok especially for beginners to not write the types. Why? Because they have enough trouble to learn to live without loops, statements and mutable state.
Hence many beginner failures as seen on StackOverflow go like this: 1. Writes a (wrong) type 2. Writes function that actually does what is needed, but doesn't match the type. 3. Struggles and Confusion. With tools like the REPL or Eclipse plugin that give you feedback about the types of your functions, chances are that you can get away with just writing the function. -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
