types

6Ciepło

2Odpowiedz

D Automatyczna Błędy (64 bit problem?)

Trochę tła: Jestem na Mac OSX Lion (64 bit, oczywiście) i jestem dawno programista Java zainteresowanych nauką D. Podniosłem kopia Język programowania D i jestem zdezorientowany w kilku kwestiach. Po

types casting d type-inference 2012-03-16

---

10Ciepło

1Odpowiedz

Dlaczego nie powoduje to błędu typu?

Spodziewam się, że spowoduje to błąd typu od (String, String) w przypadku else nie jest to Pair. case class Pair(x: String, y: String) val value = Console.readLine.toBoolean val Pair(x, y) =

scala types 2012-03-16

---

5Ciepło

1Odpowiedz

Zmiękczanie z „elastycznych typów” w F #

niewielką część kodu, aby podkreślić problem: open System.IO let do_smth i (stm : #System.IO.Stream) = // val do_smth : 'a -> #Stream -> unit (*....*) () type SomeOps = SomeOps with

types f# currying 2012-03-16

---

13Ciepło

1Odpowiedz

Jak zadeklarować alias typu w konstruktorze scala?

Jeśli mam klasę, że trwa krotki w jego konstruktora wśród innych wartości, takich jak: class Foo(a: Int, b: String, c: (Int, String)) Jak używać abstrakcyjny typ dać krotki bardziej opisową nazwę w

class scala types case abstract 2012-03-21

---

10Ciepło

1Odpowiedz

Rodzaj Podpis

Przechodzę przez książki wiki Haskell GADTS https://en.wikibooks.org/wiki/Haskell/GADT przewodnik. Śledziłem całkiem dobrze, dopóki nie został dodany podpis Kind, który uogólnia ograniczony typ konstr

haskell types 2012-03-25

---

20Ciepło

2Odpowiedz

Jak wpisać rzut w F #?

muszę wyliczyć przez członków kolekcji i utworzyć tablicę z danej nieruchomości członków: let ops: int array = [| for x in app.Operations -> let op= x : IAzOperation op.Operation

types f# casting 2012-03-27

---

5Ciepło

2Odpowiedz

Określanie typu funkcji w Programowaniu funkcjonalnym

Następujące równania są napisane w składni Miranda, ale ze względu na podobieństwa między Mirandą i Haskellem oczekuję, że programiści Haskell powinni to zrozumieć! Jeśli zdefiniować następujące funkc

types definition 2012-03-30

---

7Ciepło

3Odpowiedz

scala typ krotka skład

Biorąc pod uwagę rodzaj Tuple type T = (String, Int, String) Czy jest jakiś sposób mogę uzyskać typu T1, gdzie T1 będzie type T1 = (MyClass, String, Int, String) chciałbym być w stanie zadeklarowa

scala types 2012-03-30

---

10Ciepło

1Odpowiedz

Parametry typu samoreferencyjnego kompilujące się w ramach JDK6, ale nie 7?

Poniższy kod kompiluje używając JDK6 (próbowałem 1.6.0_24) class XY<A extends XY<A, B>, B extends XY<B, A>> { } Ale kompilacji pod JDK7 (np 1.7.0), otrzymuję ten błąd: XY.java:1: error: type argumen

java generics types 2012-04-02

---

7Ciepło

2Odpowiedz

Przezroczyste wdrażanie określonej formy dynamicznego pisania

Podstawową ideą jest to, że mam szereg funkcji, które działają na każdym typie z konkretnej klasy, ale w czasie wykonywania program powinien odczytać plik konfiguracyjny i wyodrębnić element jednego t

haskell dynamic types 2012-04-02

---