[PsichiX]

Dyrektywa strict przełącza kompilator w tryb restrykcji funkcyjnych, czyli odpadają wszelkie opcje użycia efektów ubocznych.
To chyba wszystko, co dotyczyło walidacji programu - od jutra zaczynam pisać translację jaegera na assembler :3

#jaeger #programowanie #intuicio

[yeestorm]

@PsichiX: dasz rade ( ͡° ͜ʖ ͡°)

[PsichiX]

@yeestorm: wiem, w końcu to ja ten assembler pisałem ( ͡° ͜ʖ ͡°)

[KrzaQ2]

@PsichiX: dlaczego strict a nie pure?

[PsichiX]

@KrzaQ2: no nie wiem - strict jest jednoznacznie kojarzony z restrykcjami, czyli bardzo rygorystycznymi zasadami, ot :p

[KrzaQ2]

@PsichiX: ale na to co opisałeś w przykładzie mówi się pure function

[KrzaQ2]

@PsichiX: ale się czepiam :P

[PsichiX]

@KrzaQ2: nie do końca w tym przypadku - teoretycznie side effects nadal pozostaną dostępne (niejawnie) gdy będziemy używać funkcji z poza programu, tj. wołając natywny moduł, nad którego egzekucją nei mamy wpływu :p

[Almagest]

@PsichiX: Strict chyba dość jednoznacznie kojarzy się z tym:
https://en.wikipedia.org/wiki/Evaluation_strategy#Strict_evaluation
https://ghc.haskell.org/trac/ghc/wiki/StrictPragma
Ale to tylko nazwa. Powodzenia.