Reverse-Arrows on Scholionhttps://scholion.thluiz.com/tags/reverse-arrows/Recent content in Reverse-Arrows on ScholionHugo -- gohugo.iopt-BR© 2026Thu, 12 Nov 2026 12:04:02 +0000Type inference and narrowing with reverse arrowshttps://scholion.thluiz.com/notes/type-inference-and-narrowing-with-reverse-arrows/Thu, 12 Nov 2026 12:03:46 +0000https://scholion.thluiz.com/notes/type-inference-and-narrowing-with-reverse-arrows/Elixir infers and narrows types by refining dynamic values and propagating constraints through function arrows in reverse, which improves bug finding and will support more precise signatures in v1.21.