Tesla Zhang‮ comments

Results 829 comments of


                                            Tesla Zhang‮

trafficstars

Type check definitions without pattern matching

I need update hs plugin icon, too bad dude ![cabal 2x](https://user-images.githubusercontent.com/16398479/49163202-89a77900-f2fa-11e8-8f7f-f2bebaa8dc6f.png) ![hs](https://user-images.githubusercontent.com/16398479/49163203-89a77900-f2fa-11e8-8084-fb60773c60c6.png) ![hs 2x](https://user-images.githubusercontent.com/16398479/49163204-89a77900-f2fa-11e8-8495-288360535f66.png) ![cabal](https://user-images.githubusercontent.com/16398479/49163205-8a400f80-f2fa-11e8-9ae8-d50b9a7b1e93.png)

Type check definitions without pattern matching

I think I should use Luo's UTT typing rules directly.

Serialization/Deserialization of source files

No, this should definitely be worked on, no way icebox

Serialization/Deserialization of source files

Incremental typecheck files: http://hackage.haskell.org/package/directory-1.3.3.1/docs/System-Directory.html#v%3agetModificationTime

Good (re-)first issue

Well, I feel like I'm spending too much time on Monad Transformers and mutable states (typechecking is a stateful process, isn't it). It's spending me too much unexpected time to...

Core language definition

Some notes: https://github.com/ollef/Bidirectional

your type checker seems too young

> I can solve the problem you ask in QQ recently about value restrictions. You mean refinement type? That'll be the greatest high! > May I take part in this...

your type checker seems too young

![](https://wiki.komica.org/images/0/0a/Img7606.png)

Pair projection in surface language

![image](https://user-images.githubusercontent.com/16398479/60122112-62524680-9739-11e9-90f1-61072bf5749f.png) Dis design luks gud

Re-think about constructor and projection's telescope

I'd say adding them as explicit parameters to constructors and projectors will be the best choice (