It looked like there was a way to call code from IRQ but nobody has put any work into it as far as I know.
Also - on ESP8266, digitalPulse is a bit of a hack - it's synchronous, whereas the 'proper' one is async. Actually getting that working properly for ESP8266 could end up being a nightmare - as I guess you want to use this for IR.
You may:
be able to use SPI to emulate the bit pattern
be able to specify a massive Float32Array of bit times to digitalPulse, which includes all 38kHz pulses.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
It looked like there was a way to call code from IRQ but nobody has put any work into it as far as I know.
Also - on ESP8266, digitalPulse is a bit of a hack - it's synchronous, whereas the 'proper' one is async. Actually getting that working properly for ESP8266 could end up being a nightmare - as I guess you want to use this for IR.
You may: