Diary 2024-11-24
Hm. I was just kind of fried today, so if I'm going to have anything to talk about, I'm going to figure it out and write it up right now.
Nothing coming to mind for tonight, so I'm just going to try to get my thoughts in order about stuff I can work on in the future. I recently read a blog post about modular implicits that mentioned a few things about them that I hadn't realized; like that the reason they haven't achieved much penetration in the past decade is that the precise details of a "good" implementation haven't been nailed down yet. The post also mentioned a paper on a system called COCHIS that could address some implementation issues.
So, what I need to figure out for Impliciula is whether it's possible to put the following ideas together:
- COCHIS semantics
- Within an ML module framework
- Possibly with some kind of "default" setup that is subject to similar constraints as the trait system in Rust.
Something like, you either have to own the signature or every public type in a module to make it a default implicit? No idea right now whether that works and even makes sense.
Anyway, I really should stop staring at this screen.
Good night.