我正在尝试将中的IResult monad解构为几个片段。这是IResult
data IResult t r = Fail t [String] String
| Partial (t -> IResult t r)
| Done t r
这感觉应该是影响、“偏爱”和失败的组合。如果故障仅表示为Either ([String], String),则偏好可能是
data Partiality t a = Now a | Later (t -> Partiality t a)
instance Monad (Par
我试着用html查看视频,但它不起作用。音频播放,但视频保持空白。这段视频是mp4 。如果你下载并查看它,它就能工作(不要质疑,是朋友做的)。我把它上传到youtube上,然后又下载了一次,然后它就开始工作了,也许是用了编解码器呢?如果是的话,我该怎么解决呢?
html
<video width="960" height="620" controls>
<source src=<?=$videofile?> type="video/mp4">
Your browser does