Jaewon Seo

Better encoding for HKTs

40

## 🚀 Feature request ### Current Behavior Currently, we're using declaration merging and type level defunctionalization to simulate HKTs. They did their job well, but there was fundamental problem. They're...

- Step 1: Building Block 정의 - [x] Abstract Machine 정의 - [x] Runtime Environment 정의 - [x] Values & Types 정의 - Step 2: 함수 구현 - Step 3:...

하반기 로드맵

2

- [ ] 어휘 분석기 / 구문 분석기 추상화 계층 리팩토링 (#7) - [ ] 평가기 제작 - [ ] 추상 기계 기본 타입들 구현 - [ ] 언어 기본...

어휘/구분 분석기 리팩토링

2

- [ ] parser combinator 화 - [ ] 반복되는 토큰 관련 코드 제거 방법 모색(매크로?)

Number of operator changes behavior of it's input stream.

6

Here is simple example with `take` operator. ```js import xs from 'xstream'; const a = xs.of(1, 2, 3); const b = a.take(1); b.addListener({ next: x => console.log('b', x) }); a.addListener({...

### how to reproduce the error ``` apply = f:(a -> b). x: a. f x. inc = x:I32. x + 1#I32. main = apply inc 2#I32. ``` this may...

lambda2wasm has some primitive operators such as `+` and `-`. these are handled specially in type checker and code generator, but I hope them not to be, to reduce complexity...

Current type checker has (at least) three big problems. - Insufficient type error message (lack of information of code line where type check fails, constraints of unification variable do not...

Definition of `interpret` is given as following in [the 'Simple effect handlers' section](https://hasura.github.io/eff/Control-Effect.html#g:4): ``` interpret f = handle (liftH . f) ``` However, this must not have type checked since...

Compatibility with es module implementations

3

As hyogwa intended to be used with bundlers, hyogwa works well with them. However, I've reported and saw some problems of using hyogwa directly in the node/browser environment after compiling...