bgl gwyng @bgl@hackers.pub
Quiet public

@tirr티르 저도 서브타이핑 기반인 TS에 상대적으로 쉽게 도입할 기능이 https://github.com/microsoft/TypeScript/issues/13219 이렇게 오랫동안 진행안되는게 불만입니다. 막상 TS 이펙트 라이브러리들은 |로 흉내내서 잘 쓰고 있더라고요. Haskell처럼 대수적 이펙트는 구현할수있지만 서브타이핑 기반은 아닌 언어에선, 서브타이핑 흉내낸다고 타입레벨 차력쇼하고 있는데 맞는 방향인지 모르겠습니다.

The typescript type system is helpful in most cases, but it can’t be utilized when handling exceptions. For example: function fn(num: number): void { if (num === 0) { throw "error: can't deal with ...

Suggestion: `throws` clause and typed catch clause · Issue #13219 · microsoft/TypeScript

The typescript type system is helpful in most cases, but it can’t be utilized when handling exceptions. For example: function fn(num: number): void { if (num === 0) { throw "error: can't deal with ...

github.com · GitHub

0
0

If you have a fediverse account, you can quote this note from your own instance. Search https://hackers.pub/ap/notes/0195b6d1-2180-731c-a870-79275485901f on your instance and quote it. (Note that quoting is not supported in Mastodon.)