Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
when i first started doing idris, i found it annoying that e.g. i couldn't define a constructor with the same name as the type, a very common idiom in haskell.
now i have been confused by enough haskell code to understand that even without dependent types there is a point to being precise.