3 kyu

Isomorphism

12 of 926lolisa

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 Trained4230
Total Skips671
Total Code Submissions22775
Total Times Completed926
Haskell Completions789
Scala Completions53
PureScript Completions12
Rust Completions21
Total Stars186
% of votes with a positive feedback rating87% of 261
Total "Very Satisfied" Votes206
Total "Somewhat Satisfied" Votes42
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