3 kyu

Isomorphism

785 of 920lolisa

Description:

We will walk through the definition of isomorphism and define some common isomorphisms. It is closely related to bijection (see https://en.wikipedia.org/wiki/Bijection).

This kata possibly unlocks: Algebraic Isomorphism, Peano And Church.

Note: this kata is significantly easier in Haskell and PureScript than in any other language. We won't reply at complaints for other languages unless you have completed it in Haskell and/or PureScript.

P.S. The tests are CORRECT. There are some easy-to-make mistakes (see the discussion area). Please figure out how to solve this yourself.

Detailed instructions are written in the comments of the initial solution.

If you are stuck then you can try to look at Bijection for intuition.

Functional Programming
Fundamentals

More By Author:

Check out these other kata created by lolisa

Stats:

CreatedMay 22, 2017
PublishedMay 22, 2017
Warriors Trained4218
Total Skips669
Total Code Submissions22694
Total Times Completed920
Haskell Completions785
Scala Completions53
PureScript Completions12
Rust Completions19
Total Stars184
% of votes with a positive feedback rating87% of 258
Total "Very Satisfied" Votes204
Total "Somewhat Satisfied" Votes41
Total "Not Satisfied" Votes13
Total Rank Assessments7
Average Assessed Rank
3 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
4 kyu
Ad
Contributors
  • lolisa Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • Voile Avatar
  • ice1000 Avatar
  • cplir-c Avatar
  • BabyPowder Avatar
  • asjp Avatar
Ad