Okay, I'm declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don't have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours.
I'm still open for all kinds of feedback, but until I get some, I think I'm going to switch to a PureScript project for a bit. I need to update to spago 1.x and figure out how to publish packages in that ecosystem. I need left Kan extensions to do the nseted (non-uniform) folds I was working on.
Plus, I feel like working with Halogen might make me more comfortable with React, or at least make me more interested in polishing those skills for a potential employer.
Worked through the first round of issues for #idris type-aligned, but I came up with a couple more today: https://gitlab.com/bss03/type-aligned/-/issues
As usual, any feedback is appreciated.
Ugh. I just SUCKED in a online 80 minute coding assessment for a new job.
I tried to do part of it in Haskell, which was a bad idea because they really wanted you to use an *array* algorithm, so the *list* solution I put forth just did not scale. (I needed a bit of a sliding window; the list approach was recalculating way too much.)
The other two parts were in React and Spring Boot and while I have used those, it's been a few years. The React problems was particularly difficult; I only got the smallest bit done. The Spring Boot I think I almost had, but I was missing something basic, so the tests weren't finding my perfectly good service.
The "employer" nodes said use whatever resources you want just don't copy in code. But, the proctor tried to lock their tab to fullscreen all the time, which made looking things up harder than it should have been. And, with frameworks that large, I think there are few developers that don't look things up (or consult an "AI") every damn day. Or maybe I just suck.
I doubt I'll hear any more from that employer. Anyone hiring for #Idris work? ;)
Love how #Idris REPL greets you
Constructors are red / Types are blue / Your code always works / Because Idris loves you
If anyone want to help out an #Idris project with some relatively small tasks, I finally took the time to organize my thoughts into some relatively stand-alone issues for my current library project: https://gitlab.com/bss03/type-aligned/-/issues
Might be a good chance to practice reading and writing Idris if it's something you want to learn.
Also, I welcome any feedback from bike-shedding to foundation redesign. I might not apply it, but I will not consider it personal criticism.
Taking a quick look at #idris 2 - a language designed for type-driven development.
Boyd Stephen Smith Jr.
Fraser Tweedale
arialdo
Paul Gallagher