arrow-kt / Category-Theory-for-Programmers.kt

Kotlin sample code for Bartosz Milewski's CT for Programmers
105 stars 18 forks source link

Fix: section 1.7 #58

Open rachelcarmena opened 5 years ago

rachelcarmena commented 5 years ago

:warning:

This is a draft PR Please, I have some doubts and I need your help to finish it.

:checkered_flag:

This PR is the final review for #9. All the checks for 1.7 are OK with this PR.

:memo:

All the changes in this PR will be avoided with the use of the files in drafts directory for the next contributions:

:sos:

I need your help with these points.

src/main/ank/1.7-functors-Part1.md

As far as I know, Kotlin doesn't differentiate function declaration and function definition.

In general, all the snippets have been extracted without separating declaration and definition.

However, there are a special case in this file 1.7-functors-Part1.md from line 28. There are 2 snippets with declarations and another one with the definition.

They are related with the explanation about functions curried by default in Haskell.

So the book includes two different and equivalent ways of declaration for the same function and, then, the definition.

What's pending?

src/main/ank/1.7-functors-Part3.md

Pending translations for these 2 missing snippets in Haskell: