Re: [Pharo-users] MetaLinks for Dynamic Contracts

2020-05-18 Thread Marcus Denker
> On 3 May 2020, at 23:18, Evan Donahue wrote: > > Hello, > > I am returning to some work in Pharo after about ~2.5 years and reminding > myself of what I was working on before I got sidetracked. It appears > > I had mostly finished for release a dynamic contracts library for run time > t

Re: [Pharo-users] MetaLinks for Dynamic Contracts

2020-05-04 Thread Ben Coman
On Mon, 4 May 2020 at 05:19, Evan Donahue wrote: > Hello, > > I am returning to some work in Pharo after about ~2.5 years and reminding > myself of what I was working on before I got sidetracked. It appears > > I had mostly finished for release a dynamic contracts library for run time > type chec

Re: [Pharo-users] MetaLinks for Dynamic Contracts

2020-05-04 Thread Sven Van Caekenberghe
He Evan, Can't answer your questions, but the contracts concepts sounds interesting ! Sven > On 3 May 2020, at 23:18, Evan Donahue wrote: > > Hello, > > I am returning to some work in Pharo after about ~2.5 years and reminding > myself of what I was working on before I got sidetracked. It ap

[Pharo-users] MetaLinks for Dynamic Contracts

2020-05-03 Thread Evan Donahue
Hello, I am returning to some work in Pharo after about ~2.5 years and reminding myself of what I was working on before I got sidetracked. It appears I had mostly finished for release a dynamic contracts library for run time type checking based on Racket's contract library.[1] However, it relied