@funfunfine АНТОХА

А там полиморфные они?

да

бля

поймал

Никто: монады
Гранин: фри

Ну тогда воткни такую же

да чё-то простейший код для халогена не компилиться, не могу понять уже с примером час сравниваю, сигнатуры идентичные

https://gist.github.com/safronu/5126f63ffc218f348772304555e1fcd8

Error found:
in module RegistrationForm
at src/RegistrationForm.purs:17:5 - 20:6 (line 17, column 5 - line 20, column 6)

 Could not match type
     
   ()
     
 with type
                                           
   ( initState :: forall i.                
                    i                      
                    -> { enabled :: Boolean
                       }                  
   | t8                                    
   )                                      
                                           

while trying to match type ()
 with type ( initState :: forall i.                
                            i                      
                            -> { enabled :: Boolean
                               }                  
           | t8                                    
           )                                      
while checking that expression { initState: initState            
                              , render: render                  
                              , eval: (apply mkEval) defaultEval
                              }                                
 has type { eval :: forall a. HalogenQ t6 t5 t0 a -> HalogenM t1 t5 t3 t7 t4 a
          , initialState :: t0 -> t1                                          
          , render :: t1 -> t2 (ComponentSlot t2 t3 t4 t5) t5                
          }                                                                  
in value declaration component

where t4 is an unknown type
     t7 is an unknown type
     t0 is an unknown type
     t3 is an unknown type
     t5 is an unknown type
     t6 is an unknown type
     t1 is an unknown type
     t2 is an unknown type
     t8 is an unknown type

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.

Кто понял тот понял, но тот кто не понял - не понял.

утверждение:
использование иммутабельных структур и ленивого IO - это фп, потому что это де-факто соблюдение referential transparency

Я опять обосрался? Или это так?

а что такое ленивое IO

эм ну
котовое IO, моникс таск, зио, моно/флакс(?)

привожу примеры, потому что не могу формализовать

вообще определние фп это такая штука

не ясная

Главное не сорваться в выяснение определения фп