Sandy Maguire
Sandy Maguire
we already know types, might as well be able to add them!
Right now typechecking is done by printing out the AST, and then parsing it, and then typechecking _that_. But why not just typecheck the ast we have?
Writing do blocks breaks typechecking, because `addAnnotationsForPretty` adds preceding spaces in ways that are hard to work around in general. https://github.com/alanz/ghc-exactprint/issues/80
I was using this as an example for my book Algebra Driven Design. The result is too technical to make for a good example, but here it is in its...
I've been fighting with it for like an hour and haven't made any progress. The distinction between System and Query is non-obvious, and there's NO DAMN DATA to use inside...
it would be cool to default set a value when things are created, which you can use to determine if something is still alive maybe also a "mandatory" one that...
```haskell for_ (missileGround ++ mapMaybe sequence missileTargeted) $ \(ent, p) -> do s
not entirely sure how to fix this except maybe a "clear all" kind of do-hickey