quelgar
Follow
🇦🇺
- Melbourne, Australia
-
00:36
(UTC +10:00) - @quelgar@fosstodon.org
- @quelgar
Block or Report
Block or report quelgar
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
Is Javascript's array map function b...
Is Javascript's array map function basically a comonadic cobind (=>> in Haskell)? Have a look as the jsmap function below. 1-- Inspired by http://nedbatchelder.com/blog/201301/stupid_languages.html
2-- which describes how the Javascript array.map function seems weird
3-- and also http://blog.sigfpe.com/2008/03/comonadic-arrays.html
4-- which describes the comonad for arrays
5 -
A sink to frame a ZIO stream by deli...
A sink to frame a ZIO stream by delimited boundaries. (eg lines of text) 12import scalaz.zio.console._
3import scalaz.zio.stream._
4import scalaz.zio.{Chunk, ZIO}
5 -
Every Argument for Static Typing App...
Every Argument for Static Typing Applies to Typed Errors 1# Every Argument for Static Typing Applies to Typed Errors
23Think of all the arguments you've heard as to why static typing is desirable — every single one of those arguments applies equally well to using types to represent error conditions.
45An odd thing I’ve observed about the Scala community is how many of its members believe that a) a language with a sophisticated static type system is very valuable; and b) that using types for error handling is basically a waste of time. If static types are useful—and if you like Scala, presumably you think they are—then using them to represent error conditions is also useful.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.