haskell - Does the expressiveness of monads come at the expense of code reuse? -

-

when compare binary operations of applicative , monad type class

(<*>) :: applicative f => f (a -> b) -> f -> f b (=<<) :: monad m       => (a -> m b) -> m -> m b

two differences become apparent:

  • ap expects normal, pure function, whereas bind expects monadic action, must return monad of same type
  • with ap sequence of actions determined applicative, whereas bind monadic action can determine control flow

so monads give me additional expressive power. however, since no longer accept normal, pure functions, expressiveness seems come @ expense of code reuse.

my conclusion might naive or false, since have merely little experience haskell , monadic computations. light in dark appreciated!

code reuse advantage if can reuse code want.

ghci> putstrln =<< getline sulfur sulfur ghci>

here, (=<<) picks string result produced in io context getline , feeds putstrln, prints said result.

ghci> :t getline getline :: io string ghci> :t putstrln putstrln :: string -> io () ghci> :t putstrln =<< getline putstrln =<< getline :: io ()

now, in type of fmap/(<$>)...

ghci> :t (<$>) (<$>) :: functor f => (a -> b) -> f -> f b

... possible b io (), , therefore nothing stops using putstrln it. however...

ghci> putstrln <$> getline sulfur ghci>

... nothing printed.

ghci> :t putstrln <$> getline putstrln <$> getline :: io (io ())

executing io (io ()) action won't execute inner io () action. that, need additional power of monad, either replacing (<$>) (=<<) or, equivalently, using join on io (io ()) value:

ghci> :t join join :: monad m => m (m a) -> m ghci> join (putstrln <$> getline) sulfur sulfur ghci>

like chi, have trouble understanding premises of question. seem expect 1 of functor, applicative , monad turn out better others. not case. can more things applicative functor, , more monad. if need additional power, use suitably powerful class. if not, using less powerful class lead simpler, clearer code , broader range of available instances.


Comments

Post a Comment

Popular posts from this blog

jsf - "PropertyNotWritableException: Illegal Syntax for Set Operation" error when setting value in bean -

-
this question has answer here: how send form input values , invoke method in jsf bean 1 answer i error when trying send values jsf page bean. i want set values fields in bean, create airplane instance , add database. error telling me use illegal syntax setter part of bean. why error? didnt find on site helped me problem. here jsf part: <h4>add plane</h4> <c:if test="#{not empty listairplanebb.error}"> <div class="alert alert-danger"> <span class="glyphicon glyphicon-remove"></span> <h:outputtext value="#{listairplanebb.error}" /> </div> </c:if> <h:form> <table class="table"> <thead> ...
Read more

arrays - Algorithm to find ideal starting spot in a circle -

-
so problem have been debating such: your given array of integers representing circle. then, have pick spot in circle start. place start, compare value @ array number of steps took there , if steps less or equal number, include in final set. find place start have elements in set. ex, a=[0, 1, 2] if start @ index=0, then: a[0]=0 < =0 0 included a[1]=1 < =1 1 included a[2]=2 < =2 2 included final set: {0,1,2} if start @ index=1, then: a[1]=1 > 0 1 not included a[2]=2 > 1 2 not included here loop around a[0]=0 > 2 0 included final set: {0} if start @ index=2, then: a[2]=2 > 0 2 not included, here loop around a[0]=0 < = 1 0 included a[1]=1 < = 2 1 included final set: {0,1} so in trivial case, starting position index=0 best position results in final set elements. brute force method of finding obvious, trying find more efficient method. attempts far have been examine trying find max intersect of viable starting ranges calculated each element in arr...
Read more

php - Autoloader issue not returning Class -

-
problem? bootloader (autoloader) not seem working properly, or i'm missing something. here simplified code. the code below returns class "skeleton" not exist. on index.php file. index.php <?php include 'bootloader.php'; use skeleton\html\loginheader; $tool = new skeleton/html/loginheader(); bootloader.php <?php function boot($classname) { $filename = ''; $namespace = ''; // sets include path "src" directory $includepath = dirname(__file__).directory_separator.'src'; if (false !== ($lastnspos = strripos($classname, '\\'))) { $namespace = substr($classname, 0, $lastnspos); $classname = substr($classname, $lastnspos + 1); $filename = str_replace('\\', directory_separator, $namespace) . directory_separator; } $filename .= str_replace('_', directory_separator, $classname) . '.php'...
Read more