Smalltalk in a .NET World

Smalltalk in a .NET World How to write a Smalltalk compiler without writing a VM John Brant [email_address]

#Smalltalk ,[object Object],[object Object],[object Object],[object Object]

Building Smalltalk ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

What’s .NET Anyway? ,[object Object],[object Object],[object Object]

Why .NET? (business reasons) ,[object Object],[object Object],[object Object]

Why .NET? (personal reasons) ,[object Object],[object Object],[object Object],[object Object]

Smalltalk vs. .NET ? become:, change classes Non-resumable exceptions Resumable Exceptions Delegates Blocks Primitive integer types Tagged integers Strong, static typing Strong, dynamic typing .NET Smalltalk

Smalltalk vs. .NET II Structs & Enums ? Add classes/methods (can’t remove or recompile) Add/remove classes & methods Static, virtual, & non-virtual methods All methods are virtual .NET Smalltalk

Dynamic Typing ,[object Object],[object Object],[object Object],printString ^self doesNotUnderstand: (Message selector: #printString arguments: #()) printString | stream | stream := WriteStream with: String new. self printOn: stream. ^stream contents Root Object Proxy

null vs. nil ,[object Object],[object Object],[object Object],method: aBoolean | temp one | aBoolean ifTrue: [temp := 5]. one := 1. ^temp + one temp := nil.

SmallIntegers ,[object Object],[object Object],[object Object],VW Tagged #Smalltalk 2r00001011 2r00000010

Blocks ,[object Object],[object Object],method ^#(1) collect: [:each | each + 1] method ^#(1) collect: (Method-Block new) MonadicBlock subclass: Method-Block instanceVariableNames: ‘’ … value: each ^each + 1

Block Variables ,[object Object],[object Object],[object Object],method: arg | block temp | block := [temp + arg]. temp := 5. ^block value arg 5 method arg block temp block arg temp temp value

Block Returns ,[object Object],[object Object],[object Object],method1 self method2: [^1] method2: aBlock #(2) do: [:each | aBlock value. ^each] method2 method1 do: method2[ ] method1[ ]

Primitives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Primitive Example identityHash ^Compiler primitive: [:codeGenerator | codeGenerator call: (System.Object getMethod: 'GetHashCode'); constructNewObject: codeGenerator smalltalk smallIntegerClass initializedConstructor] evaluate: self

Optimized Messages ,[object Object],[object Object],[object Object]

Macros ,[object Object],[object Object],[object Object],[object Object]

Connecting with .NET ,[object Object],[object Object],| algorithm stream | algorithm := HashAlgorithm create: ‘MD5’. stream := FileStream read: ‘rb.im’. [algorithm computeHash: stream] ensure: [stream close]

Connecting Smalltalk to .NET ,[object Object],[object Object],[object Object],[object Object],[object Object]

Method arguments ,[object Object],[object Object],[object Object],[object Object],[object Object]

Console Example System.Console write: anObject (anObject isKindOf: SmallInteger) ifTrue: [System.Console write: anObject integer] ifFalse: [(anObject isKindOf: Character) ifTrue: [System.Console write: anObject character] ifFalse: [(anObject isKindOf: String) ifTrue: [System.Console write: anObject string] ifFalse: [System.Console write: anObject]]]

Connecting .NET to Smalltalk ,[object Object],[object Object],[object Object],[object Object],[object Object]

#Smalltalk Development (Version 1) ,[object Object],[object Object],[object Object],[object Object]

#Smalltalk Development (Version 2) ,[object Object],[object Object],[object Object],[object Object],[object Object]

#Smalltalk Development (Version 3) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Benchmarks 28.65 70.59 856.50 49.36 36.65 sorting strings 21.14 216.11 48.63 13.25 20.19 forming sets 18.27 179.71 128.79 27.09 98.44 generating strings * 181.13 140.38 43.15 42.22 generating primes 7.20 115.22 87.21 33.55 15.77 generating fractonaccis 2.17 42.67 61.88 30.91 6.80 evaluate blocks 8.07 161.35 37.65 16.12 28.96 perform selectors 14.11 74.77 74.77 37.35 29.91 copy objects 7.16 90.91 30.30 90.82 20.20 create objects 36.28 108.84 54.42 54.37 19.10 access strings 11.45 39.08 2266.67 75.48 64.76 add floats 14.07 576.97 576.97 2.62 36.06 add integers Squeak VW VA #Smalltalk Dolphin

Future work ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Contact Information ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Smalltalk in a .NET World

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Andere mochten auch

Andere mochten auch (7)

Ähnlich wie Smalltalk in a .NET World

Ähnlich wie Smalltalk in a .NET World (20)

Mehr von ESUG

Mehr von ESUG (20)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

Smalltalk in a .NET World