09:23 <sharkdp> The type-inference PR (https://github.com/sharkdp/numbat/pull/443) is SLOWLY turning into something useable. It's currently in a state that works and correctly parses/type-checks/runs most of the Numbat code that we have. There are three major open challenges (error handling, strucs, datetimes) that are explained in the PR description. But it can already do some fun things :-)

11:51 <potash> very nice

20:57 <sharkdp> I have deployed the current version here: https://numbat.dev/type-inference/

20:58 <sharkdp> Some things to try:

20:58 <sharkdp> https://numbat.dev/type-inference/?q=fn+f%28x%2C+y%29+%3D+x%5E2+%2B+y%5E3%E2%8F%8E

21:00 <sharkdp> https://numbat.dev/type-inference/?q=fn+is_even%28x%29+%3D+mod%28x%2C+2%29+%3D%3D+0%E2%8F%8Esum%28filter%28is_even%2C+range%280%2C+10%29%29%29%E2%8F%8E

21:05 <sharkdp> https://numbat.dev/type-inference/?q=fn+delta%28x%29+%3D+1e-10+unit_of%28x%29%E2%8F%8Efn+diff%28f%2C+x%29+%3D+%28f%28x+%2B+delta%28x%29%29+-+f%28x%29%29+%2F+delta%28x%29%E2%8F%8Efn+dist%28t%3A+Time%29+-%3E+Length+%3D+0.5+g0+t%5E2%E2%8F%8Efn+velocity%28t%29+%3D+diff%28dist%2C+t%29%E2%8F%8E

23:51 <achin> i updated the bot with your latest PR

23:51 <achin> !nb fn f(x, y) = x^2 + y^3

23:51 <Charbot9000> fn f<A: Dim>(x: A³, y: A²) -> A^6 = x² + y³