These are chat archives for fthomas/refined

17th
Feb 2018
Ex Nihilo Nihil Fit
@philderome_twitter
Feb 17 17:59
As my first experience with Refined, I decided to modify a 8 Queens solution using Refined ClosedInterval for range[1,8] to play around. I chose [1,8] over [0,7] to see whether boundary conditions or off by 1 error would be natural (and it works well with either range). I am wondering whether it's an artificial or legitimate use case for Refined, though it certainly was amusing: https://gist.github.com/phderome/b43c56c4ac8e5ce2feecef6d97ea3803 It does make more explicit where you get out Refined's safety and thus highlight in code where the runtime dangers are (unsafeApply via my user method castToRowOrColumn)
Ex Nihilo Nihil Fit
@philderome_twitter
Feb 17 19:00
^^ minor edit (bug fixes) just made on the gist.