Can one create Sized Types in Scala?

Posted by Jens Schauder on Stack Overflow See other posts from Stack Overflow or by Jens Schauder
Published on 2010-04-09T17:42:32Z Indexed on 2010/04/09 18:03 UTC
Read the original article Hit count: 305

Filed under:

scala

|

typesystem

Is it possible to create types like e.g. String(20) in scala?

The aim would be to have compiler checks for things like:

a: String(20) 
b: String(30)
a = b; // throws a compiler exception when no implicit conversion is available
b= a; // works just fine

Note: It doesn't need to be/named String

© Stack Overflow or respective owner

Related posts about scala

ensime scala errors (class scala.Array not found, object scala not found)

as seen on Stack Overflow - Search for 'Stack Overflow'
I've installed ensime according to the README.md file, however, I get errors in the inferior-ensime-server buffer with the following: INFO: Fatal Error: scala.tools.nsc.MissingRequirementError: object scala not found. scala.tools.nsc.MissingRequirementError: object scala not found. at scala… >>> More
infinite loop shutting down ensime

as seen on Stack Overflow - Search for 'Stack Overflow'
When I run M-X ensime-disconnect I get the following forever: string matching regex `\"((?:[^\"\\]|\\.)*)\"' expected but `^@' found and I see this exception when I use C-c C-c Uncaught exception in com.ensime.server.SocketHandler@769aba32 java.net.SocketException: Broken pipe at java… >>> More
How to resolve java.nio.charset.UnmappableCharacterException in Scala 2.8.0?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm using Scala 2.8.0 and trying to read pipe delimited file like in code snipped below: object Main { def main(args: Array[String]) :Unit = { if (args.length > 0) { val lines = scala.io.Source.fromPath("QUICK!LRU-2009-11-15.psv") for (line <-lines) print(line) } … >>> More
Common idiom in Java to Scala, traverse/Iterate Java list into Scala list

as seen on Stack Overflow - Search for 'Stack Overflow'
I am processing a XML document and iterating through nodes. I want to iterate through the nodes and build a new List of some type. How would I do this with Scala: Here is my XML traverse code: def findClassRef(xmlNode: Elem) = { xmlNode\"classDef" foreach { (entry) => val name… >>> More
Question on Scala Closure (From "Programming in Scala")

as seen on Stack Overflow - Search for 'Stack Overflow'
I don't understand why authors said that Code Listing 9.1 from "Programming in Scala" use closure. In chapter 9, they show how to refactor code into more less duplicated form, from this original code: object FileMatcher { private def filesHere = (new java.io.File(".")).listFiles def filesEnding(query:… >>> More

Related posts about typesystem

Trouble compiling MonoDevelop 4 on Ubuntu 12.04

as seen on Ask Ubuntu - Search for 'Ask Ubuntu'
I'm trying to compile the latest version of MonoDevelop (4.0.9) on my Ubuntu 12.04 and I'm facing errors I can not overcome. Here are my machine's configurations: OS: Ubuntu 12.04 64-bit Mono: version 3.0.12 And here are the commands that I ran to download MonoDevelop: $ git clone git://github… >>> More
Accessing type members outside the class in Scala

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I am trying to understand type members in Scala. I wrote a simple example that tries to explain my question. First, I created two classes for types: class BaseclassForTypes class OwnType extends BaseclassForTypes Then, I defined an abstract type member in trait and then defined the type member… >>> More
F# return type coercion

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, In F# I have a function that returns System.Linq.Expression instances: and System.Object with member this.ToExpression() = match this with | :? System.Int32 -> Expression.Constant(this) :> Expression | :? System.Boolean -> Expression.Constant(this) :> Expression … >>> More
Can one create Sized Types in Scala?

as seen on Stack Overflow - Search for 'Stack Overflow'
Is it possible to create types like e.g. String(20) in scala? The aim would be to have compiler checks for things like: a: String(20) b: String(30) a = b; // throws a compiler exception when no implicit conversion is available b= a; // works just fine Note: It doesn't need to be/named String >>> More
MVC Portable Areas not working with Typed views

as seen on Stack Overflow - Search for 'Stack Overflow'
When using MvcContrib Portable Areas I can't get the strongly typed views to work. I get the error message 'Could not load typeSystem.Web.Mvc.ViewPage<blah> I've tried with built in types to check if it's an error with my type. >>> More