Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 13:46
    aristotelesbr2014 starred dry-rb/dry-types
  • Apr 16 15:38
    nguyenphuceh starred dry-rb/dry-monads
  • Apr 16 07:07

    solnic on master

    Cast identifier to String durin… Merge pull request #169 from ad… (compare)

  • Apr 16 07:07
    solnic closed #169
  • Apr 16 00:21
    adam12 review_requested #169
  • Apr 16 00:21
    adam12 opened #169
  • Apr 15 08:14
    chriscz commented #421
  • Apr 15 07:59
    flash-gordon commented #421
  • Apr 15 07:50
    moonlight8978 forked
    moonlight8978/dry-types
  • Apr 15 07:39
    solnic closed #421
  • Apr 15 07:39
    solnic commented #421
  • Apr 15 06:48
    flash-gordon unlabeled #421
  • Apr 15 06:48
    flash-gordon unlabeled #421
  • Apr 15 06:47
    flash-gordon commented #421
  • Apr 14 12:48
    chriscz labeled #421
  • Apr 14 12:48
    chriscz labeled #421
  • Apr 14 12:48
    chriscz opened #421
  • Apr 14 08:16
    solnic commented #164
  • Apr 13 23:25
    timriley milestoned #168
  • Apr 13 23:25
    timriley labeled #168
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
https://github.com/dryrb/dry-data#optional-type :tada: :boom:
@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?
yes u do: https://github.com/dryrb/dry-data/blob/master/dry-data.gemspec#L30
love unneeded questions xD
Piotr Solnica
@solnic
@tak1n yeah, I like kleisli
Benjamin Klotz
@tak1n
awesome :D
Piotr Solnica
@solnic
hey so maybe (no pun intended) we should switch to namespaced names?
Andy Holland
@AMHOL
+1
Piotr Solnica
@solnic
”strict.string” ”maybe.string” ”form_input.maybe.string”
Andy Holland
@AMHOL
here