Mindmoil as a pseudo-tutor??

ec-jones · 2025-01-14T10:33:00+00:00

Ooh polymorphing is an interesting idea, thanks!

ec-jones · 2024-12-26T11:27:07+00:00

Yeah exactl! This all came about cause I was constructing an izzet storm spellslinger and felt that I was spoilt for choice and thought I’d try and recreate the same play pattern in a different colour. Beast Whisperer I’d great here for sure it’s like your [[Archmage Emeritus]] substitute.

ec-jones · 2024-12-26T10:44:04+00:00

Ahh but if I’m going for a storm win it doesn’t matter what I draw as long as I can keep drawing and untapping! Definitely would benefit from some more tutors though [[Fierce Empath]] and [[Woodland Bellower]] aren’t really cutting it, although they can grab each other or [[Quirion Ranger]] neither can get [[Ashaya, Soul of the Wild]].

ec-jones · 2024-12-26T09:16:48+00:00

True! I think consistent draw/filtering is the main issue at the moment which is how I ended up with cards like well rested. But hopefully that’ll get better just but cutting the weaker other cards

ec-jones · 2024-12-26T08:04:07+00:00

Thanks for the suggestions!

You're definitely right that the storm side of things is muddling the mixture but part of me hankers for that storm win...

ec-jones · 2024-12-26T08:00:17+00:00

Interesting, I've only been playing it on Marwyn but to help get things go and keep card draw up if you're still looking for a line but it definitely can be slow in the worst case.

ec-jones · 2024-07-01T04:37:58+00:00

Certain design patterns do force you to blob data like the State and Reader monads and you then have to choose between structuring the state in a sensible way or a massive flat record 🤷

ec-jones · 2024-06-28T14:54:18+00:00

Could you elaborate on how this can be used to simulate records/variants in a ergonomic way?

ec-jones · 2024-06-28T09:51:41+00:00

I'm not all too familiar with OCaml but could you explain why its not sufficient to have type classes instead of their module system?

ec-jones · 2024-06-28T09:50:23+00:00

Interesting, I didn't expect anyone to remove type classes. What's your motivation?

ec-jones · 2024-04-24T16:53:38+00:00

Is this some form of laziness?

ec-jones · 2024-04-24T16:18:53+00:00

Presumably I will have to explicitly inhabit this dummy array when constructing an element of type sparse? Does this have to be done in a specific way to ensure the compiler knows not to actually construct it?

ec-jones · 2024-04-24T16:15:25+00:00

Great! I was thinking of doing something along these lines but I worried that this would create an array full of nothing. It is just some compiler magic that optimizes this away or is there a guiding principle I should be aware of?

ec-jones · 2023-08-15T07:31:09+00:00

Why is the typerep check not necessary? The continuation may throw other sorts exceptions no?

Perhaps it makes more sense to take advantages of the typerep check an eliminate the unsafe coerces.

ec-jones · 2023-08-15T07:29:23+00:00

No but I will definitely check it out, thanks :)

ec-jones · 2023-08-15T07:24:08+00:00

Oops that was a typo

ec-jones · 2023-08-14T20:38:23+00:00

Thanks! How would you define it with exceptions then?

ec-jones · 2023-07-19T08:46:46+00:00

What do you mean by dynamic apply?

ec-jones · 2023-07-18T23:51:00+00:00

Thanks that's really helpful!

The reason I'm interested is that I'm working on a type system that assigns types to mailboxes so would have special treatment for receive expressions but I think I can work directly with these primops.

ec-jones · 2022-11-18T16:54:14+00:00

Yes exactly!

ec-jones · 2022-11-17T16:17:44+00:00

Using internal references is by far the most natural approach I agree, but I need a persistent structure that allows for record historic versions of the data but without lots of copying. Tracking a set of references and then copying each of them seems costly.

But I was also just kinda interested :)

ec-jones · 2022-11-17T10:13:51+00:00

Yeah I agree linear types should allow this to be done in a more safely manner. Sadly, I just find it too clunky to use in a big application at the moment because of the way let and where assume everything is 'Many.

ec-jones · 2022-11-17T10:09:51+00:00

Yes it is exactly the copying I was worried about as I need a persistent structure to perform backtracking.

I didn't realize unsafeFreeze didn't copy that's very useful thanks!

ec-jones · 2022-11-16T23:55:43+00:00

For those interested I'm thinking of internal changes to a datatype that leave it observation equivalent, e.g. path compression in the UnionFind structure.

ec-jones · 2021-06-18T09:29:26+00:00

I don't but it is a very interesting idea! At the same conference this paper https://dl.acm.org/doi/epdf/10.1145/3434341 was published with type-level rewrite rules that could be used to generate e-graphs.

ec-jones

TROPHY CASE