1the most principled↩

2The Red Book↩

3Copyleft notice.↩

4Libre↩

5Jest to tłumaczenie angielskiego abstract over, które w języku polskim nie ma dobrego odpowiednika. Zwrot ten oznacza zrobienie czegoś bez brania pod uwagę szczegółów, np. “abstrahować nad mutowalnymi kolekcjami” oznacza używać ich ogólnej abstrakcji (interfejsu) zamiast konkretnych implementacji.↩

6Wielokrotnie w tej książce pojawią się spolszczone wyrażenia angielskie w miejscach w których nie ma dla nich dobrego polskiego odpowiednika. Uznaliśmy że dużo lepiej użyć wyrażenia które być może brzmi dziwnie, ale pozwala w łatwy sposób zrozumieć niesione znaczenie, niż wymyślać nową nazwę, której znaczenia trzeba się domyślać.↩

7Pure Functional Programming↩

8kawałek kodu. Jedno z wielu wyrażeń bez odpowiednika w języku polskim.↩

9Z angielskiego short-circuits - zakończenie przetwarzania bez wykonywania pozostałych instrukcji.↩

10Object Oriented Programming↩

11Be conservative in what you do, be liberal in what you accept from others↩

12Chodzi tutaj o wartości na poziomie typów (type level). Dla przykładu: produktem na poziomie wartości (value level), jest nowa wartość złożona z wielu wartości, np. (1,2,3). Produktem na poziomie typów jest nowy typ złożony z wielu typów (czyli wartości na poziomie typów), np. (Int, String, Int). Może to wydawać się zawiłe, ale nie ma potrzeby się tym przejmować. Ważne jest, aby zrozumieć, że mamy 2 poziomy, na których możemy definiować byty: poziom typów i poziom wartości, i że w tym wypadku mówimy o wartościach na poziomie typów.↩

13Algebraic Data Type↩

14Exhaustivity↩

15A więc String |: Int |: Double rozumiany jest jako String |: (Int |: Double), a nie (String |: Int) |: Double.↩

16Refined Data Types↩

17Property based testing.↩

18Ten potworek to spolszczona wersja słowa typeclass. Tłumaczenie tego terminu jako “klasa typu” jest rozwlekłe i odbiegające dość daleko od wersji angielskiej. Zdecydowaliśmy się więc pozostać przy wersji oryginalnej, dostosowując jedynie pisownie.↩

19Implicit resolution↩

20Appendable Things↩

21Myśliwiec TIE↩

22Mistrz Yoda do Luke’a Skywalkera.↩

23Biblioteki takie jak Monix, cats-effect i Scalaz nieustannie prześcigają się w optymalizacjach mających na celu zwiększenie wydajności, stąd ciężko jest określić kto jest aktualnym liderem.↩

24Liczba argumentów, eng. arity↩