เจคเฉเจธเฉเจ เจธเจผเจพเจเจฆ เจเจน เจเฉเจฒเฉเจเฉเจฐเจพเจฎ เจธเฉเจฃเจฟเจ เจนเฉเจตเฉเจเจพ
เจธเฉเจฐเฉเจเฉเจฒ เจเฉเจฎ, เจตเฉฑเจกเฉ เจฌเจฒเจพเจเจเฉเจจ เจชเฉเจฐเฉเจเฉเจเจเจพเจ เจจเฉเฉฐ เจตเจฟเจเจธเจค เจเจฐเจจ เจตเจฟเฉฑเจ เจตเจฟเจเจชเจ เจ เจจเฉเจญเจต เจฆเฉ เจจเจพเจฒ, เจเฉฑเจ เจชเจพเจธเฉ เจจเจนเฉเจ เจเฉเฉเจนเฉ เจนเฉ เจธเจเจฆเฉ เจนเฉเฅค เจ เจธเฉเจ เจฎเฉเจเจพเจฌเจฒเฉ เจฒเจ เจชเฉฐเจ เจเจฐเจฎเจเจพเจฐเฉเจเจ เจจเฉเฉฐ เจธเฉเจเจชเจฟเจ, เจ เจคเฉ เจฆเฉ เจนเจซเจผเจคเจฟเจเจ เจฌเจพเจ เจฆ เจเจนเจจเจพเจ เจจเฉ (เจตเจฟเฉฑเจ) เจฎเจพเจฎเฉเจฒเฉ เจฌเฉเจคเจฐเจคเฉเจฌเฉ เจเจชเจจเจพเจฎ เจธเฉเจเจธเฉ เจเจฟเจฐเจเจฟเจ เจฆเฉ เจคเจนเจฟเจค เจเจธ เจตเจฟเฉฑเจ เจชเจนเจฟเจฒเจพ เจธเจฅเจพเจจ เจชเฉเจฐเจพเจชเจค เจเฉเจคเจพเฅค เจเจธ เจฒเฉเจ เจตเจฟเจ เจฎเฉเจ เจเจธ เจฌเจพเจฐเฉ เจเฉฑเจฒ เจเจฐเจพเจเจเจพ เจเจฟ เจเจจเฉเจนเจพเจ เจจเฉ เจเจน เจเจฟเจตเฉเจ เจเฉเจคเจพ. เจ เจธเฉเจ เจเจฎเฉเจฆ เจเจฐเจฆเฉ เจนเจพเจ เจเจฟ เจ เจเจฒเฉ เจฆเจธ เจฎเจฟเฉฐเจเจพเจ เจตเจฟเฉฑเจ เจคเฉเจธเฉเจ เจเฉฑเจเฉ-เจเฉฑเจ เจเฉฑเจ เจฆเจฟเจฒเจเจธเจช เจเจนเจพเจฃเฉ เจชเฉเฉเจนเฉเจเฉ, เจ เจคเฉ เจตเฉฑเจง เจคเฉเจ เจตเฉฑเจง เจคเฉเจนเจพเจจเฉเฉฐ เจเจธ เจตเจฟเฉฑเจ เจเฉเจ เจฒเจพเจญเจฆเจพเจเจ เจฎเจฟเจฒเฉเจเจพ เจเฉ เจคเฉเจธเฉเจ เจเจชเจฃเฉ เจเฉฐเจฎ เจตเจฟเฉฑเจ เจฒเจพเจเฉ เจเจฐ เจธเจเจฆเฉ เจนเฉเฅค
เจชเจฐ เจเจ เจฅเฉเฉเฉ เจเจฟเจนเฉ เจธเฉฐเจฆเจฐเจญ เจจเจพเจฒ เจธเจผเฉเจฐเฉ เจเจฐเฉเจ.
เจฎเฉเจเจพเจฌเจฒเจพ เจ เจคเฉ เจเจธ เจฆเฉเจเจ เจธเจผเจฐเจคเจพเจ
เจเจธ เจฒเจ, เจญเจพเจเฉเจฆเจพเจฐเจพเจ เจฆเฉ เจฎเฉเฉฑเจ เจเฉฐเจฎ เจเฉฑเจ เจเจพเจ เจเฉฑเจ เจคเฉเจ เจตเฉฑเจง เจชเฉเจฐเจธเจคเจพเจตเจฟเจค เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจเจธ เจจเฉเฉฐ เจฒเจพเจเฉ เจเจฐเจจเจพ เจธเฉ, เจจเจพเจฒ เจนเฉ TON เจเจเฉเจธเจฟเจธเจเจฎ เจจเฉเฉฐ เจฌเจฟเจนเจคเจฐ เจฌเจฃเจพเจเจฃ เจฒเจ เจชเฉเจฐเจธเจคเจพเจต เจฌเจฃเจพเจเจฃเจพเฅค เจเจน เจฎเฉเจเจพเจฌเจฒเจพ 24 เจธเจคเฉฐเจฌเจฐ เจคเฉเจ 15 เจ เจเจคเฉเจฌเจฐ เจคเฉฑเจ เจเฉฑเจฒเจฟเจ เจ เจคเฉ เจจเจคเฉเจเจพ 15 เจจเจตเฉฐเจฌเจฐ เจจเฉเฉฐ เจนเฉ เจเจฒเจพเจจเจฟเจ เจเจฟเจเฅค เจเจพเจซเจผเฉ เจฒเฉฐเจฌเฉ เจธเจฎเฉเจ เจคเฉเจ, เจเจธ เจเฉฑเจฒ 'เจคเฉ เจตเจฟเจเจพเจฐ เจเจฐเจฆเฉ เจนเฉเจ เจเจฟ เจเจธ เจธเจฎเฉเจ เจฆเฉเจฐเจพเจจ เจเฉเจฒเฉเจเฉเจฐเจพเจฎ เจเฉเจฒเฉเจเฉเจฐเจพเจฎ เจตเจฟเฉฑเจ VoIP เจเจพเจฒเจพเจ เจฆเฉ เจเฉเจฃเจตเฉฑเจคเจพ เจฆเฉ เจเจพเจเจ เจ เจคเฉ เจฎเฉเจฒเจพเจเจเจฃ เจฒเจ C++ เจตเจฟเฉฑเจ เจเจชเจฒเฉเจเฉเจธเจผเจจเจพเจ เจฆเฉ เจกเจฟเจเจผเจพเจเจจ เจ เจคเฉ เจตเจฟเจเจพเจธ 'เจคเฉ เจชเฉเจฐเจคเฉเจฏเฉเจเจคเจพเจตเจพเจ เจฆเฉ เจจเจคเฉเจเจฟเจเจ เจจเฉเฉฐ เจฐเฉฑเจเจฃ เจ เจคเฉ เจเฉเจธเจผเจฟเจค เจเจฐเจจ เจตเจฟเฉฑเจ เจเจพเจฎเจฏเจพเจฌ เจฐเจฟเจนเจพเฅค
เจ เจธเฉเจ เจชเฉเจฐเจฌเฉฐเจงเจเจพเจ เจฆเฉเจเจฐเจพ เจชเฉเจฐเจธเจคเจพเจตเจฟเจค เจธเฉเจเฉ เจตเจฟเฉฑเจเฉเจ เจฆเฉ เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจ เจเฉเจฃเฉ เจนเจจเฅค เจเจนเจจเจพเจ เจตเจฟเฉฑเจเฉเจ เจเฉฑเจ เจฒเจ, เจ เจธเฉเจ TON เจจเจพเจฒ เจตเฉฐเจกเฉ เจเจ เจเจเจผเจพเจฐเจพเจ เจฆเฉ เจตเจฐเจคเฉเจ เจเฉเจคเฉ, เจ เจคเฉ เจฆเฉเจเฉ เจจเฉเฉฐ เจธเจพเจกเฉ เจเฉฐเจเจจเฉเจ เจฐเจพเจ เจฆเฉเจเจฐเจพ เจเจพเจธ เจคเฉเจฐ 'เจคเฉ TON เจฒเจ เจตเจฟเจเจธเจฟเจค เจเฉเจคเฉ เจเจ เจเฉฑเจ เจจเจตเฉเจ เจญเจพเจธเจผเจพ เจตเจฟเฉฑเจ เจฒเจพเจเฉ เจเฉเจคเจพ เจเจฟเจ เจธเฉ เจ เจคเฉ เจนเฉเจธเจเฉเจฒ เจตเจฟเฉฑเจ เจฌเจฃเจพเจเจ เจเจฟเจ เจธเฉเฅค
เจเฉฑเจ เจเจพเจฐเจเจธเจผเฉเจฒ เจชเฉเจฐเฉเจเจฐเจพเจฎเจฟเฉฐเจ เจญเจพเจธเจผเจพ เจฆเฉ เจเฉเจฃ เจ
เจเจพเจจเจ เจจเจนเฉเจ เจนเฉเฅค เจธเจพเจกเฉ เจตเจฟเฉฑเจ
เจ เจธเฉเจ เจนเจฟเฉฑเจธเจพ เจฒเฉเจฃ เจฆเจพ เจซเฉเจธเจฒเจพ เจเจฟเจเจ เจเฉเจคเจพ?
เจธเฉฐเจเฉเจช เจตเจฟเฉฑเจ, เจเจฟเจเจเจเจฟ เจธเจพเจกเฉ เจฎเฉเจนเจพเจฐเจค เจเฉเจฐ-เจฎเจฟเจเจฐเฉ เจ เจคเฉ เจเฉเฉฐเจเจฒเจฆเจพเจฐ เจชเฉเจฐเฉเจเฉเจเจ เจนเจจ เจเจฟเจจเฉเจนเจพเจ เจฒเจ เจตเจฟเจธเจผเฉเจธเจผ เจนเฉเจจเจฐ เจฆเฉ เจฒเฉเฉ เจนเฉเฉฐเจฆเฉ เจนเฉ เจ เจคเฉ เจ เจเจธเจฐ IT เจญเจพเจเจเจพเจฐเฉ เจฒเจ เจตเจฟเจเจฟเจเจจเจ เจฎเจนเฉฑเจคเจต เจฆเฉ เจนเฉเฉฐเจฆเฉ เจนเจจเฅค เจ เจธเฉเจ เจเจชเจจ-เจธเจฐเฉเจค เจตเจฟเจเจพเจธ เจฆเจพ เจเจผเฉเจฐเจฆเจพเจฐ เจธเจฎเจฐเจฅเจจ เจเจฐเจฆเฉ เจนเจพเจ เจ เจคเฉ เจเจธเจฆเฉ เจชเฉเจฐเจธเจฟเฉฑเจงเฉเจเจฐเจจ เจตเจฟเฉฑเจ เจฐเฉเฉฑเจเฉ เจนเฉเจ เจนเจพเจ, เจ เจคเฉ เจเฉฐเจชเจฟเจเจเจฐ เจตเจฟเจเจฟเจเจจ เจ เจคเฉ เจเจฃเจฟเจค เจฆเฉ เจเฉเจคเจฐ เจตเจฟเฉฑเจ เจชเฉเจฐเจฎเฉเฉฑเจ เจฐเฉเจธเฉ เจฏเฉเจจเฉเจตเจฐเจธเจฟเจเฉเจเจ เจจเจพเจฒ เจตเฉ เจธเจนเจฟเจฏเฉเจ เจเจฐเจฆเฉ เจนเจพเจเฅค
เจฎเฉเจเจพเจฌเจฒเฉ เจฆเฉ เจฆเจฟเจฒเจเจธเจช เจเฉฐเจฎ เจ เจคเฉ เจธเจพเจกเฉ เจชเจฟเจเจฐเฉ เจเฉเจฒเฉเจเฉเจฐเจพเจฎ เจชเฉเจฐเฉเจเฉเจเจ เจตเจฟเฉฑเจ เจธเจผเจฎเฉเจฒเฉเจ เจค เจเจชเจฃเฉ เจเจช เจตเจฟเฉฑเจ เจเฉฑเจ เจธเจผเจพเจจเจฆเจพเจฐ เจชเฉเจฐเฉเจฐเจฃเจพ เจธเฉ, เจชเจฐ เจเจจเจพเจฎ เจซเฉฐเจก เจเฉฑเจ เจตเจพเจงเฉ เจชเฉเจฐเฉเจฐเจฃเจพ เจฌเจฃ เจเจฟเจ. ๐
TON เจฌเจฒเจพเจเจเฉเจจ เจเฉเจ
เจ
เจธเฉเจ เจฌเจฒเจพเจเจเฉเจจ, เจเจฐเจเฉเจซเฉเจธเจผเฉเจ
เจฒ เจเฉฐเจเฉเจฒเฉเจเฉเจเจธ เจ
เจคเฉ เจฎเจธเจผเฉเจจ เจฒเจฐเจจเจฟเฉฐเจ เจตเจฟเฉฑเจ เจจเจตเฉเจ เจตเจฟเจเจพเจธ เจฆเฉ เจจเฉเฉเจฟเจเจ เจจเจฟเจเจฐเจพเจจเฉ เจเจฐเจฆเฉ เจนเจพเจ เจ
เจคเฉ เจเฉเจธเจผเจฟเจธเจผ เจเจฐเจฆเฉ เจนเจพเจ เจเจฟ เจ
เจธเฉเจ เจนเจฐเฉเจ เจเฉเจคเจฐ เจตเจฟเฉฑเจ เจเฉฑเจ เจตเฉ เจฎเจนเฉฑเจคเจตเจชเฉเจฐเจจ เจฐเฉเจฒเฉเจเจผ เจจเฉเฉฐ เจเฉเฉฐเจเจฃ เจจเจพ เจฆเฉเจเจ เจเจฟเจธ เจตเจฟเฉฑเจ เจ
เจธเฉเจ เจเฉฐเจฎ เจเจฐเจฆเฉ เจนเจพเจเฅค เจเจธ เจฒเจ, เจเจฆเฉเจ เจฎเฉเจเจพเจฌเจฒเจพ เจธเจผเฉเจฐเฉ เจนเฉเจเจ, เจธเจพเจกเฉ เจเฉเจฎ เจชเจนเจฟเจฒเจพเจ เจคเฉเจ เจนเฉ เจเจธ เจฆเฉ เจตเจฟเจเจพเจฐเจพเจ เจคเฉเจ เจเจพเจฃเฉ เจธเฉ
เจเจฆเฉเจ เจคเฉฑเจ เจฎเฉเจเจพเจฌเจฒเจพ เจธเจผเฉเจฐเฉ เจนเฉเจเจ, เจเฉเจก เจชเจนเจฟเจฒเจพเจ เจนเฉ เจชเฉเจฐเจเจพเจธเจผเจฟเจค เจนเฉ เจเฉเฉฑเจเจพ เจธเฉ, เจเจธ เจฒเจ เจธเจฎเจพเจ เจฌเจเจพเจเจฃ เจฒเจ, เจ เจธเฉเจ เจฆเฉเจเจฐเจพ เจฒเจฟเจเฉ เจเจ เจเฉฑเจ เจเจพเจเจก เจเจพเจ เจธเฉฐเจเฉเจช เจฆเฉ เจเฉเจ เจเจฐเจจ เจฆเจพ เจซเฉเจธเจฒเจพ เจเฉเจคเจพ. เจเจชเจญเฉเจเจคเจพ. เจฌเจฆเจเจฟเจธเจฎเจคเฉ เจจเจพเจฒ, เจเจธ เจจเฉ เจเฉเจ เจจเจคเฉเจเจพ เจจเจนเฉเจ เจฆเจฟเฉฑเจคเจพ - เจเจฌเฉฐเจเฉ 'เจคเฉ เจชเจฒเฉเจเจซเจพเจฐเจฎ เจจเฉเฉฐ เจ เจธเฉเจเจฌเจฒ เจเจฐเจจ เจฒเจ เจจเจฟเจฐเจฆเฉเจธเจผเจพเจ เจคเฉเจ เจเจฒเจพเจตเจพ, เจธเจพเจจเฉเฉฐ เจเฉเจ เจนเฉเจฐ เจธเจฎเฉฑเจเจฐเฉ เจจเจนเฉเจ เจฎเจฟเจฒเฉเฅค
เจฆเจธเจคเจพเจตเฉเจเจผเจพเจ เจฆเฉ เจเฉเจฆ เจเฉฐเจเฉ เจคเจฐเฉเจนเจพเจ เจเฉเจ เจเฉเจคเฉ เจเจ เจธเฉ, เจชเจฐ เจเฉเจ เจเฉเจคเจฐเจพเจ เจตเจฟเฉฑเจ เจชเฉเฉเจนเจจเจพ เจฎเฉเจธเจผเจเจฒ เจธเฉเฅค เจ เจเจธเจฐ เจธเจพเจจเฉเฉฐ เจเฉเจ เจฌเจฟเฉฐเจฆเฉเจเจ 'เจคเฉ เจตเจพเจชเจธ เจเจพเจฃเจพ เจชเฉเจเจฆเจพ เจธเฉ เจ เจคเฉ เจ เจฎเฉเจฐเจค เจตเจฟเจเจพเจฐเจพเจ เจฆเฉ เจเฉฑเจ-เจชเฉฑเจงเจฐเฉ เจตเจฐเจฃเจจ เจคเฉเจ เจนเฉเจ เจฒเฉ-เจชเฉฑเจงเจฐ เจฆเฉ เจฒเจพเจเฉเจเจฐเจจ เจตเฉเจฐเจตเจฟเจเจ เจตเจฟเฉฑเจ เจฌเจฆเจฒเจฃเจพ เจชเฉเจเจฆเจพ เจธเฉเฅค
เจเจน เจธเฉเจเจพ เจนเฉเจตเฉเจเจพ เจเฉเจเจฐ เจจเจฟเจฐเจงเจพเจฐเจจ เจตเจฟเฉฑเจ เจฒเจพเจเฉ เจเจฐเจจ เจฆเจพ เจตเจฟเจธเจคเฉเจฐเจฟเจค เจตเฉเจฐเจตเจพ เจธเจผเจพเจฎเจฒ เจจเจพ เจนเฉเจตเฉเฅค เจเจธ เจฌเจพเจฐเฉ เจเจพเจฃเจเจพเจฐเฉ เจเจฟ เจเฉฑเจ เจตเจฐเจเฉเจ เจฒ เจฎเจธเจผเฉเจจ เจเจธเจฆเฉ เจธเจเฉเจ เจจเฉเฉฐ เจเจฟเจตเฉเจ เจฆเจฐเจธเจพเจเจเจฆเฉ เจนเฉ, เจเจนเจจเจพเจ เจฆเฉ เจฎเจฆเจฆ เจเจฐเจจ เจฆเฉ เจฌเจเจพเจ TON เจชเจฒเฉเจเจซเจพเจฐเจฎ เจฒเจ เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจ เจฌเจฃเจพเจเจฃ เจตเจพเจฒเฉ เจกเจฟเจตเฉเจฒเจชเจฐเจพเจ เจฆเจพ เจงเจฟเจเจจ เจญเจเจเจพเจเจฃ เจฆเฉ เจเจผเจฟเจเจฆเจพ เจธเฉฐเจญเจพเจตเจจเจพ เจนเฉเฅค
เจจเจฟเจเจธ: เจชเฉเจฐเฉเจเฉเจเจ เจจเฉเฉฐ เจเจเฉฑเจ เจพ เจเจฐเจจเจพ
เจธเฉเจฐเฉเจเฉเจฒ เจตเจฟเจเฉ เจ
เจธเฉเจ เจตเฉฑเจกเฉ เจชเฉเจฐเจธเจผเฉฐเจธเจ เจนเจพเจ
เจเจธ เจฒเจ เจ
เจธเฉเจ เจฌเจฃเจพ เจเฉ เจธเจผเฉเจฐเฉเจเจค เจเฉเจคเฉ
$ cd ~/.config/nixpkgs/overlays && git clone https://github.com/serokell/ton.nix
$ cd /path/to/ton/repo && nix-shell
[nix-shell]$ cmakeConfigurePhase && make
เจจเฉเจ เจเจฐเฉ เจเจฟ เจคเฉเจนเจพเจจเฉเฉฐ เจเฉเจ เจจเจฟเจฐเจญเจฐเจคเจพ เจธเจฅเจพเจชเจค เจเจฐเจจ เจฆเฉ เจฒเฉเฉ เจจเจนเฉเจ เจนเฉเฅค Nix เจเจพเจฆเฉเจ เจขเฉฐเจ เจจเจพเจฒ เจคเฉเจนเจพเจกเฉ เจฒเจ เจธเจญ เจเฉเจ เจเจฐเฉเจเจพ, เจญเจพเจตเฉเจ เจคเฉเจธเฉเจ NixOS, Ubuntu, เจเจพเจ macOS เจฆเฉ เจตเจฐเจคเฉเจ เจเจฐ เจฐเจนเฉ เจนเฉเฅค
TON เจฒเจ เจชเฉเจฐเฉเจเจฐเจพเจฎเจฟเฉฐเจ
TON เจจเฉเฉฑเจเจตเจฐเจ เจตเจฟเฉฑเจ เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจ เจเฉเจก TON เจตเจฐเจเฉเจ เจฒ เจฎเจธเจผเฉเจจ (TVM) 'เจคเฉ เจเฉฑเจฒเจฆเจพ เจนเฉเฅค TVM เจเจผเจฟเจเจฆเจพเจคเจฐ เจนเฉเจฐ เจตเจฐเจเฉเจ เจฒ เจฎเจธเจผเฉเจจเจพเจ เจจเจพเจฒเฉเจ เจตเจงเฉเจฐเฉ เจเฉเฉฐเจเจฒเจฆเจพเจฐ เจนเฉ, เจ เจคเฉ เจเจธ เจตเจฟเฉฑเจ เจฌเจนเฉเจค เจฆเจฟเจฒเจเจธเจช เจเจพเจฐเจเจเฉเจธเจผเจฒเจคเจพ เจนเฉ, เจเจฆเจพเจนเจฐเจจ เจฒเจ, เจเจน เจเจธ เจจเจพเจฒ เจเฉฐเจฎ เจเจฐ เจธเจเจฆเฉ เจนเฉ เจจเจฟเจฐเฉฐเจคเจฐเจคเจพเจตเจพเจ ะธ เจกเจพเจเจพ เจจเจพเจฒ เจฒเจฟเฉฐเจ.
เจเจธ เจคเฉเจ เจเจฒเจพเจตเจพ, TON เจฆเฉ เจฎเฉเฉฐเจกเจฟเจเจ เจจเฉ เจคเจฟเฉฐเจจ เจจเจตเฉเจเจ เจชเฉเจฐเฉเจเจฐเจพเจฎเจฟเฉฐเจ เจญเจพเจธเจผเจพเจตเจพเจ เจฌเจฃเจพเจเจเจ:
เจชเฉฐเจเจพเจน เจเฉฑเจ เจฏเฉเจจเฉเจตเจฐเจธเจฒ เจธเจเฉเจ เจชเฉเจฐเฉเจเจฐเจพเจฎเจฟเฉฐเจ เจญเจพเจธเจผเจพ เจนเฉ เจเฉ เจเจฟ เจธเจฎเจพเจจ เจนเฉ
เจซเจจเจธเฉ เจฆเฉ เจธเจฎเจพเจจ เจนเฉ, เจเฉ เจเจฟ เจเฉฑเจ เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจ เจชเฉเจฐเฉเจเจฐเจพเจฎเจฟเฉฐเจ เจญเจพเจธเจผเจพ เจนเฉ
เจชเฉฐเจเจตเจพเจ เจ
เจธเฉเจเจฌเจฒเจฐ - TVM เจฒเจ เจฌเจพเจเจจเจฐเฉ เจเจเจเจผเฉเจเจฟเจเจเฉเจฌเจฒ เจเฉเจก เจฌเจฃเจพเจเจฃ เจฒเจ เจชเฉฐเจเจตเฉเจ เจฒเจพเจเจฌเฉเจฐเฉเจฐเฉเฅค เจชเฉฐเจเจตเฉเจ เจ
เจธเฉเจเจฌเจฒเจฐ เจเฉเจฒ เจเฉฐเจชเจพเจเจฒเจฐ เจจเจนเฉเจ เจนเฉเฅค เจเจน
เจธเจพเจกเจพ เจฎเฉเจเจพเจฌเจฒเจพ เจเฉฐเจฎ เจเจฐเจฆเจพ เจนเฉ
เจ เฉฐเจค เจตเจฟเฉฑเจ, เจเจน เจธเจพเจกเฉ เจฏเจคเจจเจพเจ เจฆเฉ เจจเจคเฉเจเจฟเจเจ เจจเฉเฉฐ เจฆเฉเจเจฃ เจฆเจพ เจธเจฎเจพเจ เจนเฉ.
เจ เจธเจฟเฉฐเจเฉเจฐเฉเจจเจธ เจญเฉเจเจคเจพเจจ เจเฉเจจเจฒ
เจญเฉเจเจคเจพเจจ เจเฉเจจเจฒ เจเฉฑเจ เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจ เจนเฉ เจเฉ เจฆเฉ เจเจชเจญเฉเจเจคเจพเจตเจพเจ เจจเฉเฉฐ เจฌเจฒเจพเจเจเฉเจจ เจคเฉเจ เจฌเจพเจนเจฐ เจญเฉเจเจคเจพเจจ เจญเฉเจเจฃ เจฆเฉ เจเจเจฟเจ เจฆเจฟเฉฐเจฆเจพ เจนเฉเฅค เจจเจคเฉเจเฉ เจตเจเฉเจ, เจคเฉเจธเฉเจ เจจเจพ เจธเจฟเจฐเจซเจผ เจชเฉเจธเฉ เจฆเฉ เจฌเจเจค เจเจฐเจฆเฉ เจนเฉ (เจเฉเจ เจเจฎเจฟเจธเจผเจจ เจจเจนเฉเจ เจนเฉ), เจธเจเฉเจ เจธเจฎเจพเจ เจตเฉ (เจคเฉเจนเจพเจจเฉเฉฐ เจ เจเจฒเฉ เจฌเจฒเจพเจ เจฆเฉ เจชเฉเจฐเจเจฟเจฐเจฟเจ เจฒเจ เจเจกเฉเจ เจจเจนเฉเจ เจเจฐเจจเฉ เจชเจตเฉเจเฉ)เฅค เจญเฉเจเจคเจพเจจ เจฒเฉเฉเฉเจเจฆเฉ เจ เจคเฉ เจเจฟเฉฐเจจเฉ เจตเจพเจฐ เจฒเฉเฉเฉเจเจฆเฉ เจนเฉ เจธเจเจฆเฉ เจนเจจเฅค เจเจธ เจธเจฅเจฟเจคเฉ เจตเจฟเฉฑเจ, เจชเจพเจฐเจเฉเจเจ เจจเฉเฉฐ เจเฉฑเจ เจฆเฉเจเฉ 'เจคเฉ เจญเจฐเฉเจธเจพ เจเจฐเจจ เจฆเฉ เจเจผเจฐเฉเจฐเจค เจจเจนเฉเจ เจนเฉ, เจเจฟเจเจเจเจฟ เจ เฉฐเจคเจฎ เจธเจฎเจเฉเจคเฉ เจฆเฉ เจจเจฟเจฐเจชเฉฑเจเจคเจพ เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจ เจฆเฉเจเจฐเจพ เจเจพเจฐเฉฐเจเฉ เจฆเจฟเฉฑเจคเฉ เจเจพเจเจฆเฉ เจนเฉ.
เจธเจพเจจเฉเฉฐ เจธเจฎเฉฑเจธเจฟเจ เจฆเจพ เจเฉฑเจ เจเจพเจซเจผเฉ เจธเจงเจพเจฐเจจ เจนเฉฑเจฒ เจฒเฉฑเจญเจฟเจ เจนเฉ. เจฆเฉ เจงเจฟเจฐเจพเจ เจฆเจธเจคเจเจค เจเฉเจคเฉ เจธเฉเจจเฉเจนเจฟเจเจ เจฆเจพ เจเจฆเจพเจจ-เจชเฉเจฐเจฆเจพเจจ เจเจฐ เจธเจเจฆเฉเจเจ เจนเจจ, เจนเจฐเฉเจ เจตเจฟเฉฑเจ เจฆเฉ เจจเฉฐเจฌเจฐ เจนเฉเฉฐเจฆเฉ เจนเจจ - เจนเจฐเฉเจ เจชเจพเจฐเจเฉ เจฆเฉเจเจฐเจพ เจ
เจฆเจพ เจเฉเจคเฉ เจชเฉเจฐเฉ เจฐเจเจฎเฅค เจเจน เจฆเฉ เจจเฉฐเจฌเจฐ เจเจธ เจคเจฐเฉเจนเจพเจ เจเฉฐเจฎ เจเจฐเจฆเฉ เจนเจจ
เจตเจพเจธเจคเจต เจตเจฟเฉฑเจ, เจเจธ เจตเจฟเจเจพเจฐ เจจเฉเฉฐ เจฒเจพเจเฉ เจเจฐเจจ เจฒเจ เจเฉฑเจ เจจเฉฐเจฌเจฐ เจเจพเจซเจผเฉ เจนเฉ, เจชเจฐ เจ เจธเฉเจ เจฆเฉเจตเจพเจ เจจเฉเฉฐ เจเฉฑเจก เจฆเจฟเฉฑเจคเจพ เจเจฟเจเจเจเจฟ เจเจธ เจคเจฐเฉเจนเจพเจ เจ เจธเฉเจ เจเฉฑเจ เจตเจงเฉเจฐเฉ เจธเฉเจตเจฟเจงเจพเจเจจเจ เจเจชเจญเฉเจเจคเจพ เจเฉฐเจเจฐเจซเฉเจธ เจฌเจฃเจพ เจธเจเจฆเฉ เจนเจพเจเฅค เจเจธ เจคเฉเจ เจเจฒเจพเจตเจพ, เจ เจธเฉเจ เจนเจฐเฉเจ เจธเฉฐเจฆเฉเจธเจผ เจตเจฟเฉฑเจ เจญเฉเจเจคเจพเจจ เจฆเฉ เจฐเจเจฎ เจจเฉเฉฐ เจธเจผเจพเจฎเจฒ เจเจฐเจจ เจฆเจพ เจซเฉเจธเจฒเจพ เจเฉเจคเจพ เจนเฉเฅค เจเจธ เจคเฉเจ เจฌเจฟเจจเจพเจ, เจเฉเจเจฐ เจธเฉเจจเฉเจนเจพ เจเจฟเจธเฉ เจเจพเจฐเจจ เจเฉเจเจ เจเจพเจเจฆเจพ เจนเฉ, เจคเจพเจ, เจนเจพเจฒเจพเจเจเจฟ เจธเจพเจฐเฉเจเจ เจฐเจเจฎเจพเจ เจ เจคเฉ เจ เฉฐเจคเจฎ เจเจฃเจจเจพ เจธเจนเฉ เจนเฉเจตเฉเจเฉ, เจเจชเจญเฉเจเจคเจพ เจจเฉเฉฐ เจจเฉเจเจธเจพเจจ เจฆเจพ เจจเฉเจเจฟเจธ เจจเจนเฉเจ เจนเฉ เจธเจเจฆเจพเฅค
เจธเจพเจกเฉ เจตเจฟเจเจพเจฐ เจจเฉเฉฐ เจชเจฐเจเจฃ เจฒเจ, เจ เจธเฉเจ เจ เจเจฟเจนเฉ เจธเจงเจพเจฐเจจ เจ เจคเฉ เจธเฉฐเจเฉเจช เจญเฉเจเจคเจพเจจ เจเฉเจจเจฒ เจชเฉเจฐเฉเจเฉเจเฉเจฒ เจฆเฉ เจตเจฐเจคเฉเจ เจเจฐเจจ เจฆเฉเจเจ เจเจฆเจพเจนเจฐเจจเจพเจ เจฒเฉฑเจญเฉเจเจเฅค เจนเฉเจฐเจพเจจเฉ เจฆเฉ เจเฉฑเจฒ เจนเฉ เจเจฟ เจธเจพเจจเฉเฉฐ เจธเจฟเจฐเจซเจผ เจฆเฉ เจนเฉ เจฎเจฟเจฒเฉ เจนเจจ:
เจตเฉเจฐเจตเจพ เจเฉฑเจ เจธเจฎเจพเจจ เจชเจนเฉเฉฐเจ, เจธเจฟเจฐเจซ เจเฉฑเจ เจฆเจฟเจธเจผเจพเจนเฉเจฃ เจเฉเจจเจฒ เจฆเฉ เจฎเจพเจฎเจฒเฉ เจฒเจเฅคเจเจฟเจเจเฉเจฐเจฟเจ เจฒ , เจเฉ เจธเจพเจกเฉ เจตเจพเจเจ เจนเฉ เจตเจฟเจเจพเจฐ เจฆเจพ เจตเจฐเจฃเจจ เจเจฐเจฆเจพ เจนเฉ, เจชเจฐ เจฌเจนเฉเจค เจธเจพเจฐเฉ เจฎเจนเฉฑเจคเจตเจชเฉเจฐเจจ เจตเฉเจฐเจตเจฟเจเจ เจฆเฉ เจตเจฟเจเจเจฟเจ เจเฉเจคเฉ เจฌเจฟเจจเจพเจ, เจเจฟเจตเฉเจ เจเจฟ เจเจฎ เจธเจผเฉเฉฑเจงเจคเจพ เจ เจคเฉ เจตเจฟเจตเจพเจฆ เจจเจฟเจชเจเจพเจฐเจพ เจชเฉเจฐเจเจฟเจฐเจฟเจเจตเจพเจเฅค
เจเจน เจธเจชเฉฑเจธเจผเจ เจนเฉ เจเจฟเจ เจนเฉ เจเจฟ เจธเจพเจกเฉ เจชเฉเจฐเฉเจเฉเจเฉเจฒ เจฆเจพ เจตเจฟเจธเจคเจพเจฐ เจตเจฟเฉฑเจ เจตเจฐเจฃเจจ เจเจฐเจจเจพ เจ
เจฐเจฅ เจฐเฉฑเจเจฆเจพ เจนเฉ, เจเจธเจฆเฉ เจธเจผเฉเฉฑเจงเจคเจพ เจตเฉฑเจฒ เจตเจฟเจธเจผเฉเจธเจผ เจงเจฟเจเจจ เจฆเจฟเฉฐเจฆเฉ เจนเฉเจเฅค เจเจ เจฆเฉเจนเจฐเจพเจ เจฆเฉ เจฌเจพเจ
เจฆ, เจจเจฟเจฐเจงเจพเจฐเจจ เจคเจฟเจเจฐ เจธเฉ, เจ
เจคเฉ เจนเฉเจฃ เจคเฉเจธเฉเจ เจตเฉ เจเจฐ เจธเจเจฆเฉ เจนเฉเฅค
เจ เจธเฉเจ FunC เจตเจฟเฉฑเจ เจเจเจฐเจพเจฐเจจเจพเจฎเฉ เจจเฉเฉฐ เจฒเจพเจเฉ เจเฉเจคเจพ เจนเฉ, เจ เจคเฉ เจ เจธเฉเจ เจชเฉเจฐเจฌเฉฐเจงเจเจพเจ เจฆเฉเจเจฐเจพ เจธเจฟเจซเจผเจพเจฐเจธเจผ เจเฉเจคเฉ เจ เจจเฉเจธเจพเจฐ, เจชเฉเจฐเฉ เจคเจฐเฉเจนเจพเจ เจซเจฟเจซเจ เจตเจฟเฉฑเจ เจธเจพเจกเฉ เจเจเจฐเจพเจฐเจจเจพเจฎเฉ เจจเจพเจฒ เจเฉฐเจเจฐเฉเจเจ เจเจฐเจจ เจฒเจ เจเจฎเจพเจเจก เจฒเจพเจเจจ เจเจชเจฏเฉเจเจคเจพ เจฒเจฟเจเฉ เจนเฉเฅค เจ เจธเฉเจ เจเจชเจฃเฉ CLI เจฒเจ เจเฉเจ เจนเฉเจฐ เจญเจพเจธเจผเจพ เจเฉเจฃ เจธเจเจฆเฉ เจธเฉ, เจชเจฐ เจ เจธเฉเจ เจเจน เจฆเฉเจเจฃ เจฒเจ Fit เจฆเฉ เจเฉเจธเจผเจฟเจธเจผ เจเจฐเจจ เจตเจฟเฉฑเจ เจฆเจฟเจฒเจเจธเจชเฉ เจฐเฉฑเจเจฆเฉ เจธเฉ เจเจฟ เจเจน เจ เจญเจฟเจเจธ เจตเจฟเฉฑเจ เจเจฟเจตเฉเจ เจชเฉเจฐเจฆเจฐเจธเจผเจจ เจเจฐเจฆเจพ เจนเฉเฅค
เจเจฎเจพเจจเจฆเจพเจฐ เจนเฉเจฃ เจฒเจ, เจซเจฟเจซเจ เจฆเฉ เจจเจพเจฒ เจเฉฐเจฎ เจเจฐเจจ เจคเฉเจ เจฌเจพเจ เจฆ, เจ เจธเฉเจ เจเจธ เจญเจพเจธเจผเจพ เจจเฉเฉฐ เจตเจฟเจเจธเจค เจเฉเจฒเจธ เจ เจคเฉ เจฒเจพเจเจฌเฉเจฐเฉเจฐเฉเจเจ เจจเจพเจฒ เจชเฉเจฐเจธเจฟเฉฑเจง เจ เจคเฉ เจธเจฐเจเจฐเจฎเฉ เจจเจพเจฒ เจตเจฐเจคเฉเจเจ เจเจพเจฃ เจตเจพเจฒเฉเจเจ เจญเจพเจธเจผเจพเจตเจพเจ เจจเฉเฉฐ เจคเจฐเจเฉเจน เจฆเฉเจฃ เจฒเจ เจเฉเจ เจฎเจเจฌเฉเจฐ เจเจฐเจจ เจตเจพเจฒเฉ เจเจพเจฐเจจ เจจเจนเฉเจ เจฆเฉเจเฉเฅค เจธเจเฉเจ-เจ เจงเจพเจฐเจค เจญเจพเจธเจผเจพ เจตเจฟเฉฑเจ เจชเฉเจฐเฉเจเจฐเจพเจฎเจฟเฉฐเจ เจเจพเจซเจผเฉ เจเฉเจเจพ เจนเฉ, เจเจฟเจเจเจเจฟ เจคเฉเจนเจพเจจเฉเฉฐ เจฒเจเจพเจคเจพเจฐ เจเจชเจฃเฉ เจธเจฟเจฐ เจตเจฟเฉฑเจ เจเจน เจฐเฉฑเจเจฃเจพ เจชเฉเจเจฆเจพ เจนเฉ เจเจฟ เจธเจเฉเจ 'เจคเฉ เจเฉ เจนเฉ, เจ เจคเฉ เจเฉฐเจชเจพเจเจฒเจฐ เจเจธ เจตเจฟเฉฑเจ เจฎเจฆเจฆ เจจเจนเฉเจ เจเจฐเจฆเจพเฅค
เจเจธ เจฒเจ, เจธเจพเจกเฉ เจฐเจพเจ เจตเจฟเฉฑเจ, เจซเจฟเจซเจ เจฆเฉ เจนเฉเจเจฆ เจฆเจพ เจเฉฑเจเฉ เจเฉฑเจ เจชเฉเจฐเจฎเจพเจฃเจฟเจเจคเจพ เจซเจฟเจซเจ เจ เจธเฉเจเจฌเจฒเจฐ เจฒเจ เจเฉฑเจ เจนเฉเจธเจ เจญเจพเจธเจผเจพ เจตเจเฉเจ เจเจธเจฆเฉ เจญเฉเจฎเจฟเจเจพ เจนเฉเฅค เจชเจฐ เจเฉ เจเฉเจตเฉเจเจฎ เจ เจธเฉเจเจฌเจฒเจฐ เจจเฉเฉฐ เจเฉเจ เจฎเฉเจเฉเจฆเจพ เจญเจพเจธเจผเจพ เจตเจฟเฉฑเจ เจเจฎเจฌเฉเจก เจเจฐเจจเจพ เจฌเจฟเจนเจคเจฐ เจจเจนเฉเจ เจนเฉเจตเฉเจเจพ, เจจเจพ เจเจฟ เจเจธ เจเจผเจฐเฉเจฐเฉ เจเจฆเฉเจธเจผ เจฒเจ เจเฉฑเจ เจจเจตเฉเจ เจเฉเจ เจเจฐเจจ เจฆเฉ เจฌเจเจพเจ?
TVM Haskell eDSL
เจนเฉเจฃ เจธเจพเจกเฉ เจฆเฉเจเฉ เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจ เจฌเจพเจฐเฉ เจเฉฑเจฒ เจเจฐเจจ เจฆเจพ เจธเจฎเจพเจ เจ เจเจฟเจ เจนเฉเฅค เจ เจธเฉเจ เจเฉฑเจ เจฌเจนเฉ-เจฆเจธเจคเจเจค เจตเจพเจฒเจฟเจ เจตเจฟเจเจธเจฟเจค เจเจฐเจจ เจฆเจพ เจซเฉเจธเจฒเจพ เจเฉเจคเจพ, เจชเจฐ FunC เจตเจฟเฉฑเจ เจเฉฑเจ เจนเฉเจฐ เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจ เจฒเจฟเจเจฃเจพ เจฌเจนเฉเจค เจฌเฉเจฐเจฟเฉฐเจ เจนเฉเจตเฉเจเจพเฅค เจ เจธเฉเจ เจเฉเจ เจธเฉเจเจฆ เจเฉเฉเจจเจพ เจเจพเจนเฉเฉฐเจฆเฉ เจธเฉ, เจ เจคเฉ เจเจน TVM เจฒเจ เจธเจพเจกเฉ เจเจชเจฃเฉ เจ เจธเฉเจเจฌเจฒเฉ เจญเจพเจธเจผเจพ เจธเฉเฅค
เจซเจฟเจซเจ เจ เจธเฉเจเจฌเจฒเจฐ เจตเจพเจเจ, เจธเจพเจกเฉ เจจเจตเฉเจ เจญเจพเจธเจผเจพ เจเจฎเจฌเฉเจก เจเฉเจคเฉ เจเจ เจนเฉ, เจชเจฐ เจ เจธเฉเจ เจซเจฟเจซเจ เจฆเฉ เจฌเจเจพเจ เจนเจพเจธเจเฉเจฒ เจจเฉเฉฐ เจฎเฉเจเจผเจฌเจพเจจ เจตเจเฉเจ เจเฉเจฃเจฟเจ เจนเฉ, เจเจฟเจธ เจจเจพเจฒ เจธเจพเจจเฉเฉฐ เจเจธเจฆเฉ เจเฉฑเจจเจค เจเจฟเจธเจฎ เจฆเฉ เจธเจฟเจธเจเจฎ เจฆเจพ เจชเฉเจฐเจพ เจซเจพเจเจฆเจพ เจเจ เจพเจเจฃ เจฆเฉ เจเจเจฟเจ เจฆเจฟเฉฑเจคเฉ เจเจ เจนเฉเฅค เจธเจฎเจพเจฐเจ เจเฉฐเจเจฐเฉเจเจเจธ เจจเจพเจฒ เจเฉฐเจฎ เจเจฐเจฆเฉ เจธเจฎเฉเจ, เจเจฟเฉฑเจฅเฉ เจเฉฑเจ เจเฉเจเฉ เจเจฟเจนเฉ เจเจฒเจคเฉ เจฆเฉ เจเฉเจฎเจค เจตเฉ เจฌเจนเฉเจค เจเจผเจฟเจเจฆเจพ เจนเฉ เจธเจเจฆเฉ เจนเฉ, เจธเจฅเจฟเจฐ เจเจพเจเจชเจฟเฉฐเจ, เจธเจพเจกเฉ เจฐเจพเจ เจตเจฟเฉฑเจ, เจเฉฑเจ เจตเฉฑเจกเจพ เจซเจพเจเจฆเจพ เจนเฉเฅค
เจเจน เจฆเจฐเจธเจพเจเจฃ เจฒเจ เจเจฟ TVM เจ เจธเฉเจเจฌเจฒเจฐ เจนเฉเจธเจเฉเจฒ เจตเจฟเฉฑเจ เจเจฎเจฌเฉเจก เจตเจฐเจเจพ เจฆเจฟเจเจพเจ เจฆเจฟเฉฐเจฆเจพ เจนเฉ, เจ เจธเฉเจ เจเจธ 'เจคเฉ เจเฉฑเจ เจฎเจฟเจเจฐเฉ เจตเจพเจฒเจฟเจ เจฒเจพเจเฉ เจเฉเจคเจพ เจนเฉเฅค เจเฉฑเจฅเฉ เจงเจฟเจเจจ เจฆเฉเจฃ เจฒเจ เจเฉเจ เจเฉฑเจฒเจพเจ เจนเจจ:
- เจเจธ เจเจเจฐเจพเจฐเจจเจพเจฎเฉ เจตเจฟเฉฑเจ เจเฉฑเจ เจซเฉฐเจเจธเจผเจจ เจธเจผเจพเจฎเจฒ เจนเฉเฉฐเจฆเจพ เจนเฉ, เจชเจฐ เจคเฉเจธเฉเจ เจเจฟเฉฐเจจเฉ เจเจพเจนเฉ เจตเจฐเจค เจธเจเจฆเฉ เจนเฉเฅค เจเจฆเฉเจ เจคเฉเจธเฉเจ เจนเฉเจธเจ เจญเจพเจธเจผเจพ (เจเจฟเจตเฉเจ เจเจฟ เจนเฉเจธเจเฉเจฒ) เจตเจฟเฉฑเจ เจเฉฑเจ เจจเจตเฉเจ เจซเฉฐเจเจธเจผเจจ เจจเฉเฉฐ เจชเจฐเจฟเจญเจพเจธเจผเจฟเจค เจเจฐเจฆเฉ เจนเฉ, เจคเจพเจ เจธเจพเจกเจพ eDSL เจคเฉเจนเจพเจจเฉเฉฐ เจเจน เจเฉเจฃเจจ เจฆเฉ เจเจเจพเจเจผเจค เจฆเจฟเฉฐเจฆเจพ เจนเฉ เจเจฟ เจเฉ เจคเฉเจธเฉเจ เจเจพเจนเฉเฉฐเจฆเฉ เจนเฉ เจเจฟ เจเจน TVM เจตเจฟเฉฑเจ เจเฉฑเจ เจตเฉฑเจเจฐเฉ เจฐเฉเจเฉเจจ เจฌเจฃ เจเจพเจตเฉ เจเจพเจ เจเจพเจฒ เจฆเฉ เจธเจฅเจพเจจ 'เจคเฉ เจธเจฟเจฐเจซเจผ เจเจจเจฒเจพเจเจจ เจนเฉเจตเฉเฅค
- เจนเจพเจธเจเฉเจฒ เจตเจพเจเจ, เจซเฉฐเจเจธเจผเจจเจพเจ เจฆเฉเจเจ เจเจฟเจธเจฎเจพเจ เจนเฉเฉฐเจฆเฉเจเจ เจนเจจ เจเฉ เจเฉฐเจชเจพเจเจฒ เจธเจฎเฉเจ 'เจคเฉ เจเจพเจเจเฉเจเจ เจเจพเจเจฆเฉเจเจ เจนเจจเฅค เจธเจพเจกเฉ eDSL เจตเจฟเฉฑเจ, เจเฉฑเจ เจซเฉฐเจเจธเจผเจจ เจฆเฉ เจเจจเจชเฉเจ เจเจฟเจธเจฎ เจธเจเฉเจ เจฆเฉ เจเจฟเจธเจฎ เจนเฉ เจเจฟเจธเจฆเฉ เจซเฉฐเจเจธเจผเจจ เจเจฎเฉเจฆ เจเจฐเจฆเจพ เจนเฉ, เจ เจคเฉ เจจเจคเฉเจเจพ เจเจฟเจธเจฎ เจธเจเฉเจ เจฆเฉ เจเจฟเจธเจฎ เจนเฉ เจเฉ เจเจพเจฒ เจคเฉเจ เจฌเจพเจ เจฆ เจชเฉเจฆเจพ เจเฉเจคเฉ เจเจพเจตเฉเจเฉเฅค
- เจเฉเจก เจตเจฟเฉฑเจ เจเจจเฉเจเฉเจธเจผเจจ เจนเจจ
stacktype
, เจเจพเจฒ เจชเฉเจเจเฉฐเจ 'เจคเฉ เจธเฉฐเจญเจพเจตเจฟเจค เจธเจเฉเจ เจเจฟเจธเจฎ เจฆเจพ เจตเจฐเจฃเจจ เจเจฐเจจเจพเฅค เจ เจธเจฒ เจตเจพเจฒเจฟเจ เจเจเจฐเจพเจฐเจจเจพเจฎเฉ เจตเจฟเฉฑเจ เจเจน เจธเจฟเจฐเจซเจผ เจเจฟเฉฑเจชเจฃเฉเจเจ เจธเจจ, เจชเจฐ เจธเจพเจกเฉ eDSL เจตเจฟเฉฑเจ เจเจน เจ เจธเจฒ เจตเจฟเฉฑเจ เจเฉเจก เจฆเจพ เจนเจฟเฉฑเจธเจพ เจนเจจ เจ เจคเฉ เจเฉฐเจชเจพเจเจฒ เจธเจฎเฉเจ เจฆเฉ เจเจพเจเจ เจเฉเจคเฉ เจเจพเจเจฆเฉ เจนเฉเฅค เจเจน เจฆเจธเจคเจพเจตเฉเจเจผเจพเจ เจเจพเจ เจธเจเฉเจเจฎเฉเจเจเจพเจ เจตเจเฉเจ เจเฉฐเจฎ เจเจฐ เจธเจเจฆเฉ เจนเจจ เจเฉ เจกเจฟเจตเฉเจฒเจชเจฐ เจจเฉเฉฐ เจธเจฎเฉฑเจธเจฟเจ เจฆเจพ เจชเจคเจพ เจฒเจเจพเจเจฃ เจตเจฟเฉฑเจ เจฎเจฆเจฆ เจเจฐเจฆเฉ เจนเจจ เจเฉเจเจฐ เจเฉเจก เจฌเจฆเจฒเจฆเจพ เจนเฉ เจ เจคเฉ เจธเจเฉเจ เจเจฟเจธเจฎ เจฌเจฆเจฒเจฆเจพ เจนเฉเฅค เจฌเฉเจธเจผเฉฑเจ, เจ เจเจฟเจนเฉเจเจ เจเจจเฉเจเฉเจธเจผเจจเจพเจ เจฐเจจเจเจพเจเจฎ เจชเฉเจฐเจฆเจฐเจธเจผเจจ เจจเฉเฉฐ เจชเฉเจฐเจญเจพเจตเจค เจจเจนเฉเจ เจเจฐเจฆเฉเจเจ, เจเจฟเจเจเจเจฟ เจเจนเจจเจพเจ เจฒเจ เจเฉเจ TVM เจเฉเจก เจจเจนเฉเจ เจฌเจฃเจพเจเจ เจเจฟเจ เจนเฉเฅค - เจเจน เจ เจเฉ เจตเฉ เจฆเฉ เจนเจซเจผเจคเจฟเจเจ เจตเจฟเฉฑเจ เจฒเจฟเจเจฟเจ เจเฉฑเจ เจชเฉเจฐเฉเจเฉเจเจพเจเจช เจนเฉ, เจเจธเจฒเจ เจ เจเฉ เจตเฉ เจชเฉเจฐเฉเจเฉเจเจ 'เจคเฉ เจฌเจนเฉเจค เจธเจพเจฐเจพ เจเฉฐเจฎ เจเจฐเจจเจพ เจฌเจพเจเฉ เจนเฉเฅค เจเจฆเจพเจนเจฐเจจ เจฒเจ, เจนเฉเจ เจพเจ เจฆเจฟเฉฑเจคเฉ เจเฉเจก เจตเจฟเฉฑเจ เจคเฉเจธเฉเจ เจเฉ เจเจฒเจพเจธเจพเจ เจฆเฉเจเจฆเฉ เจนเฉ, เจเจนเจจเจพเจ เจฆเฉเจเจ เจธเจพเจฐเฉเจเจ เจเจฆเจพเจนเจฐเจจเจพเจ เจธเจตเฉเจเจฒเจฟเจค เจคเฉเจฐ 'เจคเฉ เจคเจฟเจเจฐ เจเฉเจคเฉเจเจ เจเจพเจฃเฉเจเจ เจเจพเจนเฉเจฆเฉเจเจ เจนเจจเฅค
เจธเจพเจกเฉ eDSL 'เจคเฉ เจฎเจฒเจเฉเจธเจฟเจ เจตเจพเจฒเจฟเจ เจจเฉเฉฐ เจฒเจพเจเฉ เจเจฐเจจเจพ เจเจธ เจคเจฐเฉเจนเจพเจ เจฆเจฟเจเจพเจ เจฆเจฟเฉฐเจฆเจพ เจนเฉ:
main :: IO ()
main = putText $ pretty $ declProgram procedures methods
where
procedures =
[ ("recv_external", decl recvExternal)
, ("recv_internal", decl recvInternal)
]
methods =
[ ("seqno", declMethod getSeqno)
]
data Storage = Storage
{ sCnt :: Word32
, sPubKey :: PublicKey
}
instance DecodeSlice Storage where
type DecodeSliceFields Storage = [PublicKey, Word32]
decodeFromSliceImpl = do
decodeFromSliceImpl @Word32
decodeFromSliceImpl @PublicKey
instance EncodeBuilder Storage where
encodeToBuilder = do
encodeToBuilder @Word32
encodeToBuilder @PublicKey
data WalletError
= SeqNoMismatch
| SignatureMismatch
deriving (Eq, Ord, Show, Generic)
instance Exception WalletError
instance Enum WalletError where
toEnum 33 = SeqNoMismatch
toEnum 34 = SignatureMismatch
toEnum _ = error "Uknown MultiSigError id"
fromEnum SeqNoMismatch = 33
fromEnum SignatureMismatch = 34
recvInternal :: '[Slice] :-> '[]
recvInternal = drop
recvExternal :: '[Slice] :-> '[]
recvExternal = do
decodeFromSlice @Signature
dup
preloadFromSlice @Word32
stacktype @[Word32, Slice, Signature]
-- cnt cs sign
pushRoot
decodeFromCell @Storage
stacktype @[PublicKey, Word32, Word32, Slice, Signature]
-- pk cnt' cnt cs sign
xcpu @1 @2
stacktype @[Word32, Word32, PublicKey, Word32, Slice, Signature]
-- cnt cnt' pk cnt cs sign
equalInt >> throwIfNot SeqNoMismatch
push @2
sliceHash
stacktype @[Hash Slice, PublicKey, Word32, Slice, Signature]
-- hash pk cnt cs sign
xc2pu @0 @4 @4
stacktype @[PublicKey, Signature, Hash Slice, Word32, Slice, PublicKey]
-- pubk sign hash cnt cs pubk
chkSignU
stacktype @[Bool, Word32, Slice, PublicKey]
-- ? cnt cs pubk
throwIfNot SignatureMismatch
accept
swap
decodeFromSlice @Word32
nip
dup
srefs @Word8
pushInt 0
if IsEq
then ignore
else do
decodeFromSlice @Word8
decodeFromSlice @(Cell MessageObject)
stacktype @[Slice, Cell MessageObject, Word8, Word32, PublicKey]
xchg @2
sendRawMsg
stacktype @[Slice, Word32, PublicKey]
endS
inc
encodeToCell @Storage
popRoot
getSeqno :: '[] :-> '[Word32]
getSeqno = do
pushRoot
cToS
preloadFromSlice @Word32
เจธเจพเจกเฉ eDSL เจ
เจคเฉ เจฌเจนเฉ-เจฆเจธเจคเจเจค เจตเจพเจฒเฉเจ เจเจเจฐเจพเจฐเจจเจพเจฎเฉ เจฆเจพ เจชเฉเจฐเจพ เจธเจฐเฉเจค เจเฉเจก 'เจคเฉ เจชเจพเจเจ เจเจพ เจธเจเจฆเจพ เจนเฉ
เจฎเฉเจเจพเจฌเจฒเฉ เจ เจคเฉ TON เจฌเจพเจฐเฉ เจธเจฟเฉฑเจเฉ
เจเฉเฉฑเจฒ เจฎเจฟเจฒเจพ เจเฉ, เจธเจพเจกเฉ เจเฉฐเจฎ เจตเจฟเฉฑเจ 380 เจเฉฐเจเฉ เจฒเฉฑเจเฉ (เจฆเจธเจคเจพเจตเฉเจเจผเจพเจ, เจฎเฉเจเจฟเฉฐเจเจพเจ เจ เจคเฉ เจ เจธเจฒ เจตเจฟเจเจพเจธ เจจเจพเจฒ เจเจพเจฃเฉ เจเจฐเจตเจพเจเจฃ เจธเจฎเฉเจค)เฅค เจชเฉฐเจ เจกเจฟเจตเฉเจฒเจชเจฐเจพเจ เจจเฉ เจฎเฉเจเจพเจฌเจฒเฉ เจฆเฉ เจชเฉเจฐเฉเจเฉเจเจ เจตเจฟเฉฑเจ เจนเจฟเฉฑเจธเจพ เจฒเจฟเจ: เจธเฉเจเฉเจ, เจเฉเจฎ เจฒเฉเจก, เจฌเจฒเจพเจเจเฉเจจ เจชเจฒเฉเจเจซเจพเจฐเจฎ เจฎเจพเจนเจฐ เจ เจคเฉ เจนเจพเจธเจเฉเจฒ เจธเจพเจซเจเจตเฉเจ เจฐ เจกเจฟเจตเฉเจฒเจชเจฐเฅค
เจธเจพเจจเฉเฉฐ เจฌเจฟเจจเจพเจ เจเจฟเจธเฉ เจฎเฉเจธเจผเจเจฒ เจฆเฉ เจฎเฉเจเจพเจฌเจฒเฉ เจตเจฟเฉฑเจ เจนเจฟเฉฑเจธเจพ เจฒเฉเจฃ เจฒเจ เจธเจฐเฉเจค เจฎเจฟเจฒเฉ เจนเจจ, เจเจฟเจเจเจเจฟ เจเฉฑเจ เจนเฉเจเจพเจฅเจจ เจฆเฉ เจญเจพเจตเจจเจพ, เจจเจเจผเจฆเฉเจเฉ เจเฉเจฎ เจตเจฐเจ, เจ เจคเฉ เจจเจตเฉเจเจ เจคเจเจจเฉเจเจพเจ เจฆเฉ เจชเจนเจฟเจฒเฉเจเจ เจตเจฟเฉฑเจ เจเจชเจฃเฉ เจเจช เจจเฉเฉฐ เจคเฉเจเจผเฉ เจจเจพเจฒ เจฒเฉเจจ เจเจฐเจจ เจฆเฉ เจเจผเจฐเฉเจฐเจค เจนเจฎเฉเจธเจผเจพ เจฆเจฟเจฒเจเจธเจช เจนเฉเฉฐเจฆเฉ เจนเฉเฅค เจธเฉเจฎเจค เจธเจฐเฉเจคเจพเจ เจฆเฉเจเจ เจธเจฅเจฟเจคเฉเจเจ เจตเจฟเฉฑเจ เจตเฉฑเจง เจคเฉเจ เจตเฉฑเจง เจจเจคเฉเจเฉ เจชเฉเจฐเจพเจชเจค เจเจฐเจจ เจฒเจ เจเจ เจจเฉเจเจฆ เจตเจพเจฒเฉเจเจ เจฐเจพเจคเจพเจ เจจเฉเฉฐ เจ เจจเจฎเฉเจฒ เจคเจเจผเจฐเจฌเฉ เจ เจคเฉ เจธเจผเจพเจจเจฆเจพเจฐ เจฏเจพเจฆเจพเจ เจฆเฉเจเจฐเจพ เจฎเฉเจเจตเจเจผเจพ เจฆเจฟเฉฑเจคเจพ เจเจพเจเจฆเจพ เจนเฉเฅค เจเจธ เจคเฉเจ เจเจฒเจพเจตเจพ, เจ เจเจฟเจนเฉ เจเจพเจฐเจเจพเจ 'เจคเฉ เจเฉฐเจฎ เจเจฐเจจเจพ เจนเจฎเฉเจธเจผเจพ เจเฉฐเจชเจจเฉ เจฆเฉเจเจ เจชเฉเจฐเจเจฟเจฐเจฟเจเจตเจพเจ เจฆเจพ เจเฉฑเจ เจเฉฐเจเจพ เจเฉเจธเจ เจนเฉเฉฐเจฆเจพ เจนเฉ, เจเจฟเจเจเจเจฟ เจเฉฐเจเฉ เจคเจฐเฉเจนเจพเจ เจเฉฐเจฎ เจเจฐเจจ เจตเจพเจฒเฉ เจ เฉฐเจฆเจฐเฉเจจเฉ เจชเจฐเจธเจชเจฐ เจชเฉเจฐเจญเจพเจต เจคเฉเจ เจฌเจฟเจจเจพเจ เจธเฉฑเจเจฎเฉเฉฑเจ เจตเจงเฉเจ เจจเจคเฉเจเฉ เจชเฉเจฐเจพเจชเจค เจเจฐเจจเจพ เจฌเจนเฉเจค เจฎเฉเจธเจผเจเจฒ เจนเฉเฉฐเจฆเจพ เจนเฉเฅค
เจเฉฑเจ เจชเจพเจธเฉ เจฌเฉเจฒ: เจ เจธเฉเจ TON เจเฉเจฎ เจฆเฉเจเจฐเจพ เจเฉเจคเฉ เจเจ เจเฉฐเจฎ เจฆเฉ เจฎเจพเจคเจฐเจพ เจคเฉเจ เจชเฉเจฐเจญเจพเจตเจฟเจค เจนเฉเจเฅค เจเจน เจเฉฑเจ เจเฉเฉฐเจเจฒเจฆเจพเจฐ, เจธเฉเฉฐเจฆเจฐ, เจ เจคเฉ เจธเจญ เจคเฉเจ เจฎเจนเฉฑเจคเจตเจชเฉเจฐเจจ, เจเจพเจฐเจ เจชเฉเจฐเจฃเจพเจฒเฉ เจฌเจฃเจพเจเจฃ เจตเจฟเฉฑเจ เจเจพเจฎเจฏเจพเจฌ เจนเฉเจ. TON เจจเฉ เจเจชเจฃเฉ เจเจช เจจเฉเฉฐ เจฌเจนเฉเจค เจธเฉฐเจญเจพเจตเจจเจพเจตเจพเจ เจตเจพเจฒเจพ เจชเจฒเฉเจเจซเจพเจฐเจฎ เจธเจพเจฌเจค เจเฉเจคเจพ เจนเฉเฅค เจนเจพเจฒเจพเจเจเจฟ, เจเจธ เจเจเฉเจธเจฟเจธเจเจฎ เจจเฉเฉฐ เจตเจฟเจเจธเจค เจเจฐเจจ เจฒเจ, เจฌเจฒเจพเจเจเฉเจจ เจชเฉเจฐเฉเจเฉเจเจเจพเจ เจตเจฟเฉฑเจ เจเจธเจฆเฉ เจตเจฐเจคเฉเจ เจฆเฉ เจฐเฉเจช เจตเจฟเฉฑเจ เจ เจคเฉ เจตเจฟเจเจพเจธ เจธเจพเจงเจจเจพเจ เจตเจฟเฉฑเจ เจธเฉเจงเจพเจฐ เจฆเฉ เจฐเฉเจช เจตเจฟเฉฑเจ, เจฌเจนเฉเจค เจเฉเจ เจเจฐเจจ เจฆเฉ เจฒเฉเฉ เจนเฉเฅค เจธเจพเจจเฉเฉฐ เจนเฉเจฃ เจเจธ เจชเฉเจฐเจเจฟเจฐเจฟเจ เจฆเจพ เจนเจฟเฉฑเจธเจพ เจฌเจฃเจจ 'เจคเฉ เจฎเจพเจฃ เจนเฉเฅค
เจเฉเจเจฐ เจเจธ เจฒเฉเจ เจจเฉเฉฐ เจชเฉเฉเจนเจจ เจคเฉเจ เจฌเจพเจ
เจฆ เจตเฉ เจคเฉเจนเจพเจกเฉ เจเฉเจ เจธเจตเจพเจฒ เจนเจจ เจเจพเจ เจคเฉเจนเจพเจกเฉเจเจ เจธเจฎเฉฑเจธเจฟเจเจตเจพเจ เจจเฉเฉฐ เจนเฉฑเจฒ เจเจฐเจจ เจฒเจ TON เจฆเฉ เจตเจฐเจคเฉเจ เจเจฐเจจ เจฌเจพเจฐเฉ เจคเฉเจนเจพเจกเฉ เจเฉเจ เจตเจฟเจเจพเจฐ เจนเจจ,
เจธเจฐเฉเจค: www.habr.com