Informazioni sul servizio
TradottoSono uno sviluppatore in Eiffel, lavoro dove la correttezza non è un'aggiunta gradevole ma il cuore del compito. La maggior parte del codice orientato agli oggetti si basa su test e speranza; io mi affido al Design by Contract—programmazione per contratto. Ogni classe dichiara apertamente i suoi impegni: precondizioni che il chiamante deve soddisfare, postcondizioni garantite dal metodo e invarianti di classe veri per tutta la vita dell'oggetto. Un tale contratto è una specifica eseguibile, verificabile a runtime durante lo sviluppo e per sempre un pezzo di documentazione. Quando qualcosa si rompe, il controllo scatta esattamente al confine violato, e l'errore viene catturato alla sua fonte piuttosto che emergere tre livelli dopo come stato corrotto.
La mia ingegneria è costruita attorno a una tipizzazione statica rigorosa, sicurezza dei vuoti e disciplina che il linguaggio impone da solo: eredità attenta con rinominazione e selezione, separazione di comandi e query, accesso uniforme affinché i client non dipendano dall'implementazione dello storage. Progetto cluster di classi piccoli, coesi e provabilmente composabili, mantenendoli onesti tramite contratti man mano che il sistema cresce. Lavoro fluentemente con EiffelStudio e il suo compilatore incrementale, applico SCOOP per la concorrenza senza conflitti di dati e collego Eiffel a C e librerie pronte all'uso quando il progetto lo richiede. Prestazioni e affidabilità sono partner per me: profilo carichi reali piuttosto che indovinare.
Affronto sistemi da zero e recupero eredità fragile che deve diventare affidabile. Posso introdurre contratti in codice sotto-specificato gradualmente, indurire i moduli più rischiosi e lasciare dietro di me un insieme di controlli e test che documentano l'intento per il prossimo ingegnere. Se stai costruendo qualcosa che deve essere corretto—logica finanziaria, software di controllo, strumenti su cui dipendono altri team—porto un approccio "verifica prima" che cattura i difetti prima che lo facciano i tuoi utenti.
— Sviluppo di applicazioni e librerie in Eiffel da zero
— Design by Contract: pre- e postcondizioni, invarianti di classe, varianti di ciclo
— Architettura di classi e cluster sicura per i vuoti e tipizzata rigorosamente
— Indurimento dell'eredità e introduzione graduale dei contratti
— Concorrenza tramite SCOOP e integrazione con C e librerie esterne
— Configurazione di EiffelStudio, build, profiling e suite di test
La mia ingegneria è costruita attorno a una tipizzazione statica rigorosa, sicurezza dei vuoti e disciplina che il linguaggio impone da solo: eredità attenta con rinominazione e selezione, separazione di comandi e query, accesso uniforme affinché i client non dipendano dall'implementazione dello storage. Progetto cluster di classi piccoli, coesi e provabilmente composabili, mantenendoli onesti tramite contratti man mano che il sistema cresce. Lavoro fluentemente con EiffelStudio e il suo compilatore incrementale, applico SCOOP per la concorrenza senza conflitti di dati e collego Eiffel a C e librerie pronte all'uso quando il progetto lo richiede. Prestazioni e affidabilità sono partner per me: profilo carichi reali piuttosto che indovinare.
Affronto sistemi da zero e recupero eredità fragile che deve diventare affidabile. Posso introdurre contratti in codice sotto-specificato gradualmente, indurire i moduli più rischiosi e lasciare dietro di me un insieme di controlli e test che documentano l'intento per il prossimo ingegnere. Se stai costruendo qualcosa che deve essere corretto—logica finanziaria, software di controllo, strumenti su cui dipendono altri team—porto un approccio "verifica prima" che cattura i difetti prima che lo facciano i tuoi utenti.
— Sviluppo di applicazioni e librerie in Eiffel da zero
— Design by Contract: pre- e postcondizioni, invarianti di classe, varianti di ciclo
— Architettura di classi e cluster sicura per i vuoti e tipizzata rigorosamente
— Indurimento dell'eredità e introduzione graduale dei contratti
— Concorrenza tramite SCOOP e integrazione con C e librerie esterne
— Configurazione di EiffelStudio, build, profiling e suite di test
