Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > it.comp.www.php > #21284

Re: code coverage

Show all headers | View raw

Il 22/11/2016 03:20, fmassei@gmail.com ha scritto:
> On Saturday, November 19, 2016 at 3:45:23 PM UTC-5, alex wrote:
>> E cmq se *qualcuno* parlava di integrare alcune funzioni nel
>> compilatore, forse un motivo c'è.
>>
>
> Ho letto la risposta solo adesso (o l'avevo letta ma ero troppo ubriaco per
> rispondere, e poi mi son scordato :) ).
>
> Questa funzionalità, ovvero quella di sapere quali righe hanno girato e quali
> no, mica è uno scherzo: è tecnicamente il classico paletto in quel posto, sia
> dal punto di vista teorico che pratico.
>
> Cominciamo a dire che non è possibile farlo a compile time, tantomeno con un

Ohiii qui si parla di compile-time, quindi è ovvio che lo reputo un 
discorso fin troppo scontato :)))

> check statico. Non è possibile per un motivo *matematico*. Il problema di
> sapere se una riga è stata eseguita o no è riducibile al problema della
> terminazione (che come tutti sappiamo è stato dimostrato indecidibile da
> Turing - se non sapete come sia riconducibile dateci un'occhiata, è veramente
> carino).
>
> Quindi è fattibile sono a runtime. Per un linguaggio tendenzialmente interpretato
> come PHP questo significa prevedere due o più modalità di corsa, una in cui
> precompilatore e ottimizzazioni sono attive, una in cui non lo sono (insieme
> ovviamente a JIT e simili).
>
> A meno di non voler complicare un architettura già abbastanza complessa,
> anch'io sposterei la logica in componenti esterni (tipo appunto xdebug).

vabè per il momento vedrò di fare a meno di questa code-coverage

Back to it.comp.www.php | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-17 10:12 +0100
  Re: code coverage Alessandro Pellizzari <shuriken@amiran.it> - 2016-11-17 10:25 +0000
    Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-17 12:42 +0100
      Re: code coverage fmassei@gmail.com - 2016-11-17 03:51 -0800
        Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-17 15:01 +0100
          Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-17 15:25 +0100
            Re: code coverage Leonardo Serni <lserni@gmail.com> - 2016-11-17 18:25 +0100
              Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-17 20:21 +0100
                Re: code coverage fmassei@gmail.com - 2016-11-17 11:39 -0800
                Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-18 09:21 +0100
            Re: code coverage Alessandro Pellizzari <shuriken@amiran.it> - 2016-11-18 08:13 +0000
              Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-18 17:54 +0100
                Re: code coverage fmassei@gmail.com - 2016-11-18 09:04 -0800
                Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-18 21:05 +0100
                Re: code coverage fmassei@gmail.com - 2016-11-18 12:53 -0800
                Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-19 11:17 +0100
                Re: code coverage fmassei@gmail.com - 2016-11-19 11:11 -0800
                Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-19 21:45 +0100
                Re: code coverage fmassei@gmail.com - 2016-11-21 18:20 -0800
                Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-23 14:58 +0100
      Re: code coverage "ciccio" <21669invalid@mynewsgate.net> - 2016-11-17 16:54 +0000
        Re: code coverage alex <1j9448a02@lnx159sneakemail.com.invalid> - 2016-11-17 20:24 +0100

csiph-web