Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Oct 08 11:13

    davidchambers on master

    Added Zion Merge pull request #316 from on… (compare)

  • Oct 08 11:13
    davidchambers closed #316
  • Oct 08 11:12
    davidchambers commented #316
  • Oct 08 05:36
    oncicaradupopovici opened #316
  • Jul 17 15:02
    masaeedu closed #290
  • Jul 17 14:57
    masaeedu closed #287
  • Jun 12 08:27
    Avaq commented #315
  • May 07 15:29
    davidchambers synchronize #315
  • May 07 15:29

    davidchambers on fully-qualified-type-representatives

    ‘Array a’ always satisfies the … (compare)

  • Apr 28 18:09
    davidchambers commented #315
  • Apr 09 08:26
    davidchambers commented #315
  • Apr 09 06:55
    Avaq commented #315
  • Apr 08 21:01
    davidchambers synchronize #315
  • Apr 08 21:01

    davidchambers on fully-qualified-type-representatives

    add possible logo (compare)

  • Apr 08 15:35
    Avaq commented #315
  • Apr 08 15:32
    Avaq commented #315
  • Apr 08 14:53
    davidchambers opened #315
  • Apr 08 14:37

    davidchambers on fully-qualified-type-representatives

    proposal: fully-qualified type … (compare)

  • Mar 07 22:09
    xgbuils commented #303
  • Mar 07 22:08
    xgbuils commented #303
Álvaro Touzón
@kasselTrankos
thanks
David Chambers
@davidchambers
@kasselTrankos, does require ('util') work in React Native?
Álvaro Touzón
@kasselTrankos
not, doesnt work, i changed the sanctuary and now im using ramada-fanytasy
Denis Stoyanov
@xgrommx
which abandoned
Álvaro Touzón
@kasselTrankos
@xgrommx ramda-fantasy is abandoned?
but works with react-native, and sanctuary giveme probles with the require('utils'); is unable to load
Denis Stoyanov
@xgrommx
David Chambers
@davidchambers
@kasselTrankos, it would be helpful if you would open an issue when you encounter a problem.
Álvaro Touzón
@kasselTrankos
@davidchambers , great idea, im not familirity with the flow
thanks
David Chambers
@davidchambers
Other people may encounter the same problem. ;)
marcmartino
@marcmartino
any suggestions for an observables library? most seems like it's not actively being developed otherwise i would use that
scratch that most/core looks current
Fabien Bourgeois
@Yakulu
Indeed most/core is where new development is done
Asad Saeeduddin
@masaeedu
@marcmartino i was playing around with some ideas recently and found that the ListT monad transformer is pretty nice for simultaneously representing regular lists and observables
Jason Shin
@JasonShin
hey guys, can I get some advice on my fp library project? I'm implementing fantasy land spec in Rust
because I'm learning fp and Rust at the same time, I think I'm implementing things messy right now haha...
In here, fp-ts guy is using the names such as URI, _A, _R, _S to denote upto HKT layer 4
is this naming convention something standard in HKT emulation?
Also why does he have HKT vs Kind interfaces?
matrixbot
@matrixbot
sujee0_0 is this is a dead room?
David Chambers
@davidchambers
People are here, @matrixbot. ;)
Aldwin Vlasblom
@Avaq
:wave:
matrixbot
@matrixbot
sujee0_0 hahaha
sujee0_0 cool nice to see you guys
matrixbot
@matrixbot
sujee0_0 :wave:
Diego Ceresuela
@dicearr
:hand:
matrixbot
@matrixbot
sujee0_0 :hand:
Gerald
@jk121960
Hi everyone!, I wonder if someone knows the technical name for the function that is used with a filter, map, reduce, etc, some say call back but that seems more of an Asynchronous sort of thing like multi threading. What would be the FP name for that function, thanks in advance, :)
Aldwin Vlasblom
@Avaq
Good question 🤔. I only know the name for the kind of functions that take such a function. I'm talking about map, filter, etc. themselves. They are called "higher order functions".
The function being passed down is sometimes called a "continuation", but I think that's just another word for callback.
In the case of filter, some, any, etc. the function is referred to as "the predicate", as it returns a Boolean. But is is then to be inferred from context that this particular predicate is going to serve a higher order function. The word "predicate" in itself doesn't imply anything of that sort.
Gerald
@jk121960
Ok, thanks, just trying to learn more about the philosophical/theoretical end of FP and it helps to nail down terminology, thanks again
David Chambers
@davidchambers
I’d use the term “transformation function” for map’s first argument, Gerald.
Ian Hofmann-Hicks
@evilsoft
I would personally stay away from thinking of that function as performing some sort of transformation as that may not be true for all Functors
And could lead to confusion when trying to come to terms with what a Functor is
But that is just me
I tend to call it the source function
Functors map morphisims between categories, as opposed to mapping values
Ian Hofmann-Hicks
@evilsoft
But the name map can be a bit misleading
Travis LaDuke
@laduke
Is a set difference operation {1, 2, 3} \ {2, 3, 4} -> {1} part of one of the algebraic structures?
hrm, or I guess it'd be having equals for the type, then you can do all the set operations?
Asad Saeeduddin
@masaeedu
the powerset of any set (i.e. the set of its subsets) forms a group under set difference
although for that to be true the result of your example needs to be {1, 4}, i don't follow why it's just {1}
if having it produce {1, 4} works for you, then using set difference as append, the empty set as the identity, and id as the invert operation (each set is its own inverse under symmetric difference), you get a group
Asad Saeeduddin
@masaeedu
apparently this also distributes with respect to set intersection, so you have a full field
Gerald
@jk121960
Thanks everyone for your help!, that gives me some perspective
Travis LaDuke
@laduke
very interesting, @masaeedu.
I was pasting from wiki. Here's the whole sentence: Set difference of U and A, denoted U \ A, is the set of all members of U that are not members of A. The set difference {1, 2, 3} \ {2, 3, 4} is {1} , while, conversely, the set difference {2, 3, 4} \ {1, 2, 3} is {4}