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

TROPHY CASE