That's fine for a library or locally run executable, but I've worked on distributed systems in Haskell and you really need logging in place to track what is going on.
Of course, you will have IO somewhere in a executable where you can handle logging so just separate pure and IO and make sure you have good tests for the pure functions. Also, linting to catch partial functions and dangerous lazy ones (or use an alternative prelude).
Sure you want logging and tracing (in the RPC sense not Debug.Trace.trace).
Most of this can still be done from IO places where the pure functions collect enough error information bubbling up (e.g. content and line/col of parser errors etc.) to not need ad hoc print statements for debugging.
Eh sure. But you can always collect/carry decisions in something like an Either. When using arrows or your own monadic bindings it is even possible to abstract this away from view.
I like how your comment can be interpreted in two completely opposite manners. Either it is depressing that coding by hand is something curious, worthy of blogging about, or you are an AI-maximalist deriding lowly meat powered coding. Based on your post history I'll assume the former interpretation :)
Thank you! Noticed you're interested in similar areas. I've also previously done some work on maths problem generation. Similar to letterpaths, the core lib can then be used to power games/other educational apps. As I'm sure you've found as well, It's surprisingly difficult to generate random maths problems aligned to a curriculum!
Core lib is UK-focussed:
https://github.com/RobinL/maths-game-problem-generator
Thanks for taking the time to look. My biggest focus right now is own Numerikos. I hope I can make a better math learning platform. Math games are fun too. There are some nice ideas in the examples you have shared here.
The US has no compulsory ID. Parents are not even required to register births; medical professionals are, though, and a lot of things become challenging without a birth certificate, so I imagine the vast majority of births are registered. It's only within the past few decades that children were registered with social security at birth, instead of later. My siblings and I were only registered when it became necessary to get a credit on my parents's taxes; my parents were registered when they began to seek employment.
I am building a web application for learning math. I want it to be something between Khan Academy and Math Academy. Here is a demo of fourth grade https://demo.numerikos.com/ Currently the best part about it is one of my kids is using it. I have some more lessons ready, waiting to be released and I am currently working on Trigonometry.
Definitely not in my experience. The most changed are the change logs, files with version numbers and readmes. I don't think anyone is afraid of keeping those up to date.
My take is that there are probably multiple systems out there than can help you achieve mastery, but it depends on your personality, life circumstances, etc. Just like there ten thousand paths up the mountain. It is a good idea to try out a couple and find the one that works for you. Then if you get to the point where you master your target skill and it is your turn to spread the gospel of "the way", it is good to keep in mind why it worked for you.
reply