Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 10:56
    solnic commented #32
  • 10:30
    solnic commented #32
  • Dec 05 09:29

    solnic on master

    Clear exception message when an… Add gem names to plugins Merge pull request #128 from sk… (compare)

  • Dec 05 09:29
    solnic closed #128
  • Dec 05 09:29
    solnic closed #127
  • Dec 04 18:49
    micahphone starred dry-rb/dry-monads
  • Dec 04 17:43
    icy-arctic-fox starred dry-rb/dry-types
  • Dec 02 12:37
    pedrofurtado starred dry-rb/dry-view
  • Dec 02 11:59
    lenon starred dry-rb/dry-monads
  • Dec 01 11:06

    flash-gordon on declare-finalized

    (compare)

  • Dec 01 11:06

    flash-gordon on master

    Set initial value for ivar Merge pull request #131 from dr… (compare)

  • Dec 01 11:06
    flash-gordon closed #131
  • Dec 01 11:05
    flash-gordon opened #131
  • Dec 01 11:03

    flash-gordon on declare-finalized

    Set initial value for ivar (compare)

  • Nov 30 16:50
    paul commented #32
  • Nov 30 16:50
    paul synchronize #32
  • Nov 30 16:44
    paul synchronize #32
  • Nov 30 16:02
    paul synchronize #32
  • Nov 30 16:01
    paul commented #32
Piotr Solnica
@solnic
@kwando haha ok ;)
Andy Holland
@AMHOL
Yeah, would be nice to get the container sorted, raises a few issues though, like auto-registration :laughing:
Piotr Solnica
@solnic
switching to a local container will require a different DSL so it needs some work
I’ll try to do that on Friday
Hannes Nevalainen
@kwando
it is really amazing what value types / objects can do for your code clarity =)
Hunter Madison
@hmadison
Dependent types also do a lot of work
If you never looked at them, its a cool concept
Hannes Nevalainen
@kwando
never looked at dependent types, do you know some short ruby code that would illustrate it?
Piotr Solnica
@solnic
@hmadison I haven’t thought about dependent types actually
@kwando no, sorry, nothing from the top of my head (also googling yields no concrete results)
Hunter Madison
@hmadison
No i dont
Hannes Nevalainen
@kwando
aw =/
Piotr Solnica
@solnic
@AMHOL @kwando ^
I also ported the thing to use dry-container so now we can simply register types under symbol keys
Luca Guidi
@jodosha
OMG it returns None :heart:
Piotr Solnica
@solnic
@jodosha hah yeah…I really really wanted that
I wonder if it makes sense to register optional types for all built-in primitives so that you get it OOTB hmmm
also optional_string vs maybe_string? I kinda like “maybe” more :)
@AMHOL I’m thinking about a predicate micro-system that we could share between dry-data and dry-validators, feels like this could be a generic functionality
Andy Holland
@AMHOL
@solnic v.nice :smile:
Piotr Solnica
@solnic
@AMHOL I’m sorry I didn’t pursue our “distributed TDD” idea…but I’m happy to do that next time with something that’s less urgent for me, sounds good?
another thing is separation between simple type-check and coercible-type-check, not sure how those things should be called in container :/
Andy Holland
@AMHOL
@solnic you did a much better job than I would have anyway
Piotr Solnica
@solnic
@AMHOL nah :) but thanks ;)
Peter Saxton
@CrowdHailer
I would vote for maybe_string options get used all over the place.
All looking good now I am reading through learn you a haskell
Piotr Solnica
@solnic
@CrowdHailer yeah I think I will rename it
Andy Holland
@AMHOL
@solnic AMHOL/roda-flow@c882a51 cleaned up roda-flow :)
Piotr Solnica
@solnic
Thoughts on coercible vs noncoercible type identifiers?
atm we use kernel coercions for all primitives but quite often you want to skip that
`
"coercible.string" maybe but I dunno
Andy Holland
@AMHOL
Don't forget about namespace in container for that :)
How about strict.string ?
Could use maybe/always but would probably be a bit weird
Piotr Solnica
@solnic
Then you can have things like "form_input.date"
Andy Holland
@AMHOL
:clap:
Piotr Solnica
@solnic
Hmm I like that yeah, so strict is just typecheck and coercible will first coerce then typecheck
Notice that type check can be anything not just class verification
Andy Holland
@AMHOL
Cool, so could just be a respond_to?
Piotr Solnica
@solnic
@AMHOL any constraint you want but I would prefer strict type check in most cases
Benjamin Klotz
@tak1n
optional_string haters gonna hate, but I love it :D
Piotr Solnica
@solnic
I am optional_string haters hater ;)
Benjamin Klotz
@tak1n
hehe :P
u are using kleisli under the hood right?
love unneeded questions xD
Piotr Solnica
@solnic
@tak1n yeah, I like kleisli
Benjamin Klotz
@tak1n
awesome :D