News for hackers. Stuff that matters.

A comment on Bosque Programming Language. Parent comment

Re:Bosque Programming Language by mrkmarron on Wednesday April 17, 2019 @05:14PM (#19686537)
There were some discussions for a more general system -- e.g. Int[Seconds] would be a typed int indicating the contents represented seconds.

We needed to think more about all of these usecases and how things worked so we decided to start with just strings as the most useful. It is great to see you had the same idea though and would definitely like to revisit this in the future.

[ Parent | on HN ]
Re:Bosque Programming Language by mcintyre1994 on Thursday April 18, 2019 @04:54AM (#19689681)
To be fair Strings would solve a problem I have right now with Scala pre-Dotty, our object IDs are all strings and the compiler does nothing to stop you using a user ID in a method that expects a contact ID, etc.

For your Int[Seconds] example, I haven't used them at all but could it work something like the F# measures concept? That seems sort-of similar but more general from scanning the docs.

[ Parent | on HN ]