Hacker Read

igravious · 2018-05-08 22:02:10+00:00

Awesome, I love messing with Ruby and semantic web stuff. Thanks for posting this. Could you explain more? How do you implement the strongly-typed feature? How does it interoperate with the Ruby-RDF library? https://github.com/ruby-rdf

igravious | karma 3901 | avg karma 1.49 · | 2018-05-08 22:56:25+00:00

Thanks for the in-depth explanation. Sounds really great. I'll add it to my Ruby RDF toolkit.

What do you think of Spira https://github.com/ruby-rdf/spira , does it complement what you are doing in any way?

reply

dogweather | karma 955 | avg karma 2.85 · | 2018-05-08 18:55:10+00:00

I've been developing a strongly-typed Ruby library for generating JSON-LD that might be interesting or useful: https://github.com/public-law/schema-dot-org

alexwilliamsca | karma 14 | avg karma 0.7 · | 2018-10-19 07:44:13

A few years ago I wrote a Ruby example if anyone wants to try it: https://github.com/aw/ruby-decision-table

atmosx | karma 6099 | avg karma 1.75 · | 2022-11-29 05:04:48

Ruby 3 supports type signatures: https://github.com/ruby/rbs

andrewzah | karma 3095 | avg karma 3.36 · | 2022-04-25 16:26:35

There essentially already is a statically typed ruby: Crystal.

https://en.wikipedia.org/wiki/Crystal_(programming_language)

reply

rads | karma 643 | avg karma 4.4 · | 2010-02-20 13:02:58

I came across a library for persistent data structures in Ruby yesterday: http://github.com/harukizaemon/hamster

bascule | karma 4104 | avg karma 6.48 · | 2011-10-10 18:18:24+00:00

I just started working on a similar library for Ruby:

https://github.com/tarcieri/http

reply

RX14 | karma 937 | avg karma 3.5 · | 2016-06-06 10:03:01+00:00

It's not exactly what you want, but if you want a statically typed ruby-like you should check out crystal (http://crystal-lang.org/)

atmosx | karma 6099 | avg karma 1.75 · | 2015-06-06 02:25:23

Actually, that's already happening[1]. Also note that there is a library for "ruby contracts[2]" (which I didn't try yet, but I'm very eager to do so) which could give the same result as a statically typed language.

[1] https://www.omniref.com/blog/blog/2014/11/17/matz-at-rubycon...

[2] http://egonschiele.github.io/contracts.ruby/.

reply

prezjordan | karma 3527 | avg karma 3.05 · | 2012-08-31 10:38:00

I played with this [1] when I first started programming in Ruby. The results were super interesting (but now I regret not using the Wikipedia API...)

[1] https://gist.github.com/1654064

reply

xiongchiamiov | karma 205 | avg karma 0.8 · | 2010-11-15 21:51:57+00:00

If you like this a bit more formalized, take a look at Semantic Versioning ( http://semver.org/ ).

That's one of my primary issues with Ruby.

reply

geraldbauer | karma 415 | avg karma 1.43 · | 2019-04-19 07:48:14+00:00

FYI: For an alternative ruby (subset) with type annotations today see sruby, that is, secure ruby - https://github.com/s6ruby

WA9ACE | karma 410 | avg karma 5.0 · | 2021-04-21 02:24:38+00:00

Funny enough I started something like that as a ruby library and stopped when I got to the query language shim because I just ran out of time and motivation. https://github.com/wa9ace/squongo

aaronmacy | karma 55 | avg karma 6.11 · | 2019-01-10 21:17:21+00:00

I've not personally tried it, but I remember thinking rdl sounded promising after seeing this talk (looks like there's a video online): https://www.thestrangeloop.com/2017/type-checking-ruby.html

ljm | karma 9009 | avg karma 4.39 · | 2021-12-25 14:14:31

Sorbet[0] is probably the closest to what you're looking for. It's not something I would recommend to someone who wants to get started with Ruby, since it would be limiting to learn it as if it was a statically typed language.

[0] https://sorbet.org/

reply

aewens | karma 45 | avg karma 1.15 · | 2016-04-09 04:31:22+00:00

I rolled my own version of this plus a few more features a few months ago in Ruby. https://github.com/aewens/gitgot

silentbicycle | karma 11689 | avg karma 3.17 · | 2009-06-01 12:00:32

Got it. FWIW, I don't particularly care for Ruby; for that style of programming I usually use Lua, whose syntax and semantics are quite simple.

The existence of LuaJIT (http://luajit.org/luajit.html) supports your argument, I think.

reply

jtms | karma 932 | avg karma 1.73 · | 2019-01-10 15:19:15+00:00

Check out Crystal - Its statically typed, compiled, and a near one to one implementation of Ruby. https://crystal-lang.org

infraruby | karma 94 | avg karma 1.29 · | 2015-04-09 04:46:43+00:00

> I would definitely find what curryhoward described as useful

You can get a statically-typed Ruby here: http://infraruby.com/live

It follows Java's type system (including generics with bounded wildcards) but it doesn't support Ruby reflection.

reply